Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. - Dominik Jain; Klaus von Gleissenthall; Michael Beetz (KI, 2011)

An Epistemic Perspective on Consistency of Concurrent Computations. - Klaus von Gleissenthall; Andrey Rybalchenko (CONCUR, 2013)

Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). - Klaus von Gleissenthall; Andrey Rybalchenko; Santiago Zanella-Béguelin (VPT@CAV, 2014)

Symbolic Polytopes for Quantitative Interpolation and Verification. - Klaus von Gleissenthall; Boris Köpf; Andrey Rybalchenko (CAV (1), 2015)

Cardinalities and universal quantifiers for verifying parameterized systems. - Klaus von Gleissenthall; Nikolaj S. Bjørner; Andrey Rybalchenko (PLDI, 2016)

Cardinalities in Software Verification. - Klaus von Gleissenthall (2016)

Verifying distributed programs via canonical sequentialization. - Alexander Bakst; Klaus von Gleissenthall; Rami Gökhan Kici; Ranjit Jhala (Proc. ACM Program. Lang., 2017)

IODINE: Verifying Constant-Time Execution of Hardware. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (USENIX Security Symposium, 2019)

Towards Constant-Time Foundations for the New Spectre Era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe (CoRR, 2019)

Pretend synchrony: synchronous verification of asynchronous distributed programs. - Klaus von Gleissenthall; Rami Gökhan Kici; Alexander Bakst; Deian Stefan; Ranjit Jhala (Proc. ACM Program. Lang., 2019)

Constant-time foundations for the new spectre era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M. Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe (PLDI, 2020)

Automatically Eliminating Speculative Leaks With Blade. - Marco Vassena; Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CoRR, 2020)

Solver-Aided Constant-Time Hardware Verification. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CCS, 2021)

Solver-Aided Constant-Time Circuit Verification. - Rami Gökhan Kici; Klaus von Gleissenthall; Deian Stefan; Ranjit Jhala (CoRR, 2021)

Automatically eliminating speculative leaks from cryptographic code with blade. - Marco Vassena; Craig Disselkoen; Klaus von Gleissenthall; Sunjay Cauligi; Rami Gökhan Kici; Ranjit Jhala; Dean M. Tullsen; Deian Stefan (Proc. ACM Program. Lang., 2021)

Triereme: Speeding up hybrid fuzzing through efficient query scheduling. - Elia Geretto; Julius Hohnerlein; Cristiano Giuffrida; Herbert Bos; Erik van der Kouwe; Klaus von Gleissenthall (ACSAC, 2023)

PLAS: The 18th Workshop on Programming Languages and Analysis for Security. - Fraser Brown; Klaus von Gleissenthall (CCS, 2023)

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. - Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke 001; Marco Guarnieri (CCS, 2023)

Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations. - Raphael Isemann; Cristiano Giuffrida; Herbert Bos; Erik van der Kouwe; Klaus von Gleissenthall (Proc. ACM Program. Lang., 2023)

Randomized Testing of Byzantine Fault Tolerant Algorithms. - Levin N. Winter; Florena Buse; Daan de Graaf; Klaus von Gleissenthall; Burcu Kulahcioglu Ozkan (Proc. ACM Program. Lang., 2023)

Refinement Type Refutations. - Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala (Proc. ACM Program. Lang., 2024)

InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring. - Dongliang Fang; Anni Peng; Le Guan; Erik van der Kouwe; Klaus von Gleissenthall; Wenwen Wang 001; Yuqing Zhang 001; Limin Sun 001 (IEEE Trans. Dependable Secur. Comput., 2025)

Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. - Alvise de Faveri Tron; Raphael Isemann; Hany Ragab; Cristiano Giuffrida; Klaus von Gleissenthall; Herbert Bos (Zenodo, 2025)

Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. - Alvise de Faveri Tron; Raphael Isemann; Hany Ragab; Cristiano Giuffrida; Klaus von Gleissenthall; Herbert Bos (Zenodo, 2025)