Klaus von Gleissenthall

28 papers A* 8A 1B 1Misc 1Journal 14Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring. IEEE Trans. Dependable Secur. Comput. Dongliang Fang, Anni Peng, Le Guan, Erik van der Kouwe, Klaus von Gleissenthall, Wenwen Wang, Yuqing Zhang, Limin Sun
2025	A*	`conf`	Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks. USENIX Security Symposium Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, Herbert Bos
2025	A*	`conf`	Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CCS Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2025	J	`jnl`	Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors. CoRR Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2024	J	`jnl`	Refinement Type Refutations. Proc. ACM Program. Lang. Robin Webbers, Klaus von Gleissenthall, Ranjit Jhala
2023	J	`jnl`	Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations. Proc. ACM Program. Lang. Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall
2023	A*	`conf`	PLAS: The 18th Workshop on Programming Languages and Analysis for Security. CCS Fraser Brown, Klaus von Gleissenthall
2023	J	`jnl`	Randomized Testing of Byzantine Fault Tolerant Algorithms. Proc. ACM Program. Lang. Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, Burcu Kulahcioglu Ozkan
2023	A*	`conf`	Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2023	J	`jnl`	Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
2023	A	`conf`	Triereme: Speeding up hybrid fuzzing through efficient query scheduling. ACSAC Elia Geretto, Julius Hohnerlein, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall
2021	J	`jnl`	Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
2021	J	`jnl`	Solver-Aided Constant-Time Circuit Verification. CoRR Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
2021	A*	`conf`	Solver-Aided Constant-Time Hardware Verification. CCS Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020	J	`jnl`	Automatically Eliminating Speculative Leaks With Blade. CoRR Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020	A*	`conf`	Constant-time foundations for the new spectre era. PLDI Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
2019	A*	`conf`	IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019	J	`jnl`	Iodine: Verifying Constant-Time Execution of Hardware. CoRR Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019	J	`jnl`	Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
2019	J	`jnl`	Towards Constant-Time Foundations for the New Spectre Era. CoRR Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
2017	J	`jnl`	Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
2016	A*	`conf`	Cardinalities and universal quantifiers for verifying parameterized systems. PLDI Klaus von Gleissenthall, Nikolaj S. Bjørner, Andrey Rybalchenko
2016	—	`—`	Cardinalities in Software Verification. Klaus von Gleissenthall
2015	—	`conf`	Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko
2014	—	`conf`	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). VPT@CAV Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella-Béguelin
2013	J	`jnl`	An Epistemic Perspective on Consistency of Concurrent Computations CoRR Klaus von Gleissenthall, Andrey Rybalchenko
2013	B	`conf`	An Epistemic Perspective on Consistency of Concurrent Computations. CONCUR Klaus von Gleissenthall, Andrey Rybalchenko
2011	Misc	`conf`	Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. KI Dominik Jain, Klaus von Gleissenthall, Michael Beetz