Klaus von Gleissenthall

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 18

Top Venues

CoRR

Proc. ACM Program. Lang.

CCS

PLDI

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

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) (2023)
Fraser Brown, Klaus von Gleissenthall
PLAS: The 18th Workshop on Programming Languages and Analysis for Security. CCS (2023)
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)
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) (2023)
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)
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 (2023)
Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
Solver-Aided Constant-Time Circuit Verification. CoRR (2021)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Solver-Aided Constant-Time Hardware Verification. CCS (2021)
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) (2021)
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Automatically Eliminating Speculative Leaks With Blade. CoRR (2020)
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)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium (2019)
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) (2019)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Iodine: Verifying Constant-Time Execution of Hardware. CoRR (2019)
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
Towards Constant-Time Foundations for the New Spectre Era. CoRR (2019)
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Klaus von Gleissenthall, Nikolaj Bjørner, Andrey Rybalchenko
Cardinalities and universal quantifiers for verifying parameterized systems. PLDI (2016)
Klaus von Gleissenthall, Boris Köpf, Andrey Rybalchenko
Symbolic Polytopes for Quantitative Interpolation and Verification. CAV (1) (2015)
Klaus von Gleissenthall, Andrey Rybalchenko, Santiago Zanella Béguelin
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk). VPT@CAV (2014)
Klaus von Gleissenthall, Andrey Rybalchenko
An Epistemic Perspective on Consistency of Concurrent Computations. CONCUR (2013)
Klaus von Gleissenthall, Andrey Rybalchenko
An Epistemic Perspective on Consistency of Concurrent Computations CoRR (2013)
Dominik Jain, Klaus von Gleissenthall, Michael Beetz
Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning. KI (2011)

Klaus von Gleissenthall.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Klaus von Gleissenthall