| 2026 | Networking | Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures. | Saideh Ahangary, Herbert Bos, Klaus von Gleissenthall, Asia Slowinska |
| 2026 | SP | QuickSafe: Targeted Hardening Against Memory Corruption. | Johannes Blaser, Floris Gorter, Klaus von Gleissenthall, Herbert Bos |
| 2025 | CCS | Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri |
| 2023 | ACSAC | Triereme: Speeding up hybrid fuzzing through efficient query scheduling. | Elia Geretto, Julius Hohnerlein, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall |
| 2023 | CCS | PLAS: The 18th Workshop on Programming Languages and Analysis for Security. | Fraser Brown, Klaus von Gleissenthall |
| 2023 | CCS | Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. | Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri |
| 2021 | CCS | Solver-Aided Constant-Time Hardware Verification. | Klaus von Gleissenthall, Rami Gkhan Kici, Deian Stefan, Ranjit Jhala |
| 2020 | PLDI | Constant-time foundations for the new spectre era. | Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe |
| 2016 | PLDI | Cardinalities and universal quantifiers for verifying parameterized systems. | Klaus von Gleissenthall, Nikolaj S. Bjrner, Andrey Rybalchenko |
| 2015 | CAV | Symbolic Polytopes for Quantitative Interpolation and Verification. | Klaus von Gleissenthall, Boris Kpf, Andrey Rybalchenko |
| 2014 | CAV | Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). | Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Bguelin |
| 2013 | CONCUR | An Epistemic Perspective on Consistency of Concurrent Computations. | Klaus von Gleissenthall, Andrey Rybalchenko |
| 2011 | KI | Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. | Dominik Jain, Klaus von Gleissenthall, Michael Beetz |