Klaus von Gleissenthall

According to our database, Klaus von Gleissenthall authored at least 20 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., April, 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

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

PLAS: The 18th Workshop on Programming Languages and Analysis for Security.

Fraser Brown, Klaus von Gleissenthall

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Triereme: Speeding up hybrid fuzzing through efficient query scheduling.

Elia Geretto, Julius Hohnerlein, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall

Proceedings of the Annual Computer Security Applications Conference, 2023

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

Solver-Aided Constant-Time Circuit Verification.

Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala

CoRR, 2021

Solver-Aided Constant-Time Hardware Verification.

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Automatically Eliminating Speculative Leaks With Blade.

Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

CoRR, 2020

Constant-time foundations for the new spectre era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

Towards Constant-Time Foundations for the New Spectre Era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe

CoRR, 2019

IODINE: Verifying Constant-Time Execution of Hardware.

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

Proceedings of the 28th USENIX Security Symposium, 2019

2017

Verifying distributed programs via canonical sequentialization.

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala

Proc. ACM Program. Lang., 2017

2016

Cardinalities in Software Verification.

Klaus von Gleissenthall

PhD thesis, 2016

Cardinalities and universal quantifiers for verifying parameterized systems.

Klaus von Gleissenthall, Nikolaj S. Bjørner, Andrey Rybalchenko

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Symbolic Polytopes for Quantitative Interpolation and Verification.

Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk).

Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

2013

An Epistemic Perspective on Consistency of Concurrent Computations.

Klaus von Gleissenthall, Andrey Rybalchenko

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2011

Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning.

Dominik Jain, Klaus von Gleissenthall, Michael Beetz

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011