Follow
Klaus v. Gleissenthall
Klaus v. Gleissenthall
Assistant Professor, Vrije Universiteit Amsterdam
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Constant-time foundations for the new spectre era
S Cauligi, C Disselkoen, K Gleissenthall, D Tullsen, D Stefan, T Rezk, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
1132020
Automatically eliminating speculative leaks from cryptographic code with blade
M Vassena, C Disselkoen, K Gleissenthall, S Cauligi, RG Kıcı, R Jhala, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
792021
Pretend synchrony: synchronous verification of asynchronous distributed programs
K v. Gleissenthall, RG Kıcı, A Bakst, D Stefan, R Jhala
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
652019
{IODINE}: Verifying {Constant-Time} Execution of Hardware
K Gleissenthall, RG Kıcı, D Stefan, R Jhala
28th USENIX Security Symposium (USENIX Security 19), 1411-1428, 2019
312019
Verifying distributed programs via canonical sequentialization
A Bakst, K Gleissenthall, RG Kıcı, R Jhala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
312017
Cardinalities and universal quantifiers for verifying parameterized systems
K Gleissenthall, N Bjørner, A Rybalchenko
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
28*2016
Bayesian logic networks and the search for samples with backward simulation and abstract constraint learning
D Jain, K Von Gleissenthall, M Beetz
Annual Conference on Artificial Intelligence, 144-156, 2011
122011
Solver-Aided Constant-Time Circuit Verification
RG Kici, K Gleissenthall, D Stefan, R Jhala
arXiv preprint arXiv:2104.00461, 2021
9*2021
Symbolic polytopes for quantitative interpolation and verification
K von Gleissenthall, B Köpf, A Rybalchenko
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
92015
Specification and verification of side-channel security for open-source processors via leakage contracts
Z Wang, G Mohr, K von Gleissenthall, J Reineke, M Guarnieri
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
62023
An epistemic perspective on consistency of concurrent computations
K von Gleissenthall, A Rybalchenko
International Conference on Concurrency Theory, 212-226, 2013
62013
Randomized testing of byzantine fault tolerant algorithms
LN Winter, F Buse, D De Graaf, K Von Gleissenthall, B Kulahcioglu Ozkan
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 757-788, 2023
32023
Don’t look UB: Exposing sanitizer-eliding compiler optimizations
R Isemann, C Giuffrida, H Bos, E Van Der Kouwe, K Gleissenthall
Proceedings of the ACM on Programming Languages 7 (PLDI), 907-927, 2023
22023
Triereme: Speeding up hybrid fuzzing through efficient query scheduling
E Geretto, J Hohnerlein, C Giuffrida, H Bos, E Van Der Kouwe, ...
Proceedings of the 39th Annual Computer Security Applications Conference, 56-70, 2023
2023
PLAS: The 18th Workshop on Programming Languages and Analysis for Security
F Brown, K v. Gleissenthall
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
2023
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)
K Gleissenthall, A Rybalchenko, S Zanella-Béguelin
2014
Refinement Types for Hardware
R Webbers, K Gleissenthall
FAKULTAT FUR INFORMATIK
KF von Gleissenthall
The system can't perform the operation now. Try again later.
Articles 1–18