default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKlaus von Gleissenthall
Person information
- affiliation: Vrije Universiteit Amsterdam, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2016
[b1]Klaus von Gleissenthall:
Cardinalities in Software Verification. Technical University Munich, Germany, 2016
Journal Articles
- 2025
- [j7]Dongliang Fang
, Anni Peng, Le Guan, Erik van der Kouwe, Klaus von Gleissenthall, Wenwen Wang, Yuqing Zhang, Limin Sun:
InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring. IEEE Trans. Dependable Secur. Comput. 22(1): 343-358 (2025) - 2024
- [j6]Robin Webbers, Klaus von Gleissenthall, Ranjit Jhala:
Refinement Type Refutations. Proc. ACM Program. Lang. 8(OOPSLA2): 962-987 (2024) - 2023
- [j5]Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan:
Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. 7(OOPSLA1): 757-788 (2023) - [j4]Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall:
Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations. Proc. ACM Program. Lang. 7(PLDI): 907-927 (2023) - 2021
- [j3]Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan:
Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - 2019
- [j2]Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala:
Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. 3(POPL): 59:1-59:30 (2019) - 2017
- [j1]Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala:
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1(OOPSLA): 110:1-110:27 (2017)
Conference and Workshop Papers
- 2025
- [c13]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CCS 2025: 111-125 - [c12]Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, Herbert Bos:
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. USENIX Security Symposium 2025: 2539-2556 - 2023
- [c11]Elia Geretto, Julius Hohnerlein, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall:
Triereme: Speeding up hybrid fuzzing through efficient query scheduling. ACSAC 2023: 56-70 - [c10]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS 2023: 2128-2142 - [c9]Fraser Brown, Klaus von Gleissenthall:
PLAS: The 18th Workshop on Programming Languages and Analysis for Security. CCS 2023: 3659 - 2021
- [c8]Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Solver-Aided Constant-Time Hardware Verification. CCS 2021: 429-444 - 2020
- [c7]Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe:
Constant-time foundations for the new spectre era. PLDI 2020: 913-926 - 2019
- [c6]Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium 2019: 1411-1428 - 2016
- [c5]Klaus von Gleissenthall, Nikolaj S. Bjørner, Andrey Rybalchenko:
Cardinalities and universal quantifiers for verifying parameterized systems. PLDI 2016: 599-613 - 2015
- [c4]Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko:
Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) 2015: 178-194 - 2014
- [c3]Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Béguelin:
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). VPT@CAV 2014: 2 - 2013
- [c2]Klaus von Gleissenthall, Andrey Rybalchenko:
An Epistemic Perspective on Consistency of Concurrent Computations. CONCUR 2013: 212-226 - 2011
- [c1]Dominik Jain, Klaus von Gleissenthall, Michael Beetz:
Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. KI 2011: 144-156
Data and Artifacts
- 2025
- [d3]Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, Herbert Bos:
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. Version 1. Zenodo, 2025 [all versions]
- [d2]Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, Herbert Bos:
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. Version 2. Zenodo, 2025 [all versions] - [d1]Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, Herbert Bos:
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. Version 3. Zenodo, 2025 [all versions]
Informal and Other Publications
- 2025
- [i7]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CoRR abs/2509.06509 (2025) - 2023
- [i6]Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri:
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR abs/2305.06979 (2023) - 2021
- [i5]Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala:
Solver-Aided Constant-Time Circuit Verification. CoRR abs/2104.00461 (2021) - 2020
- [i4]Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Automatically Eliminating Speculative Leaks With Blade. CoRR abs/2005.00294 (2020) - 2019
- [i3]Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe:
Towards Constant-Time Foundations for the New Spectre Era. CoRR abs/1910.01755 (2019) - [i2]Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Iodine: Verifying Constant-Time Execution of Hardware. CoRR abs/1910.03111 (2019) - 2013
- [i1]Klaus von Gleissenthall, Andrey Rybalchenko:
An Epistemic Perspective on Consistency of Concurrent Computations. CoRR abs/1305.2295 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-26 08:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
