| 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 | 45 | 2020 |
| 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 | 42 | 2019 |
| Automatically eliminating speculative leaks from cryptographic code with blade M Vassena, C Disselkoen, KV Gleissenthall, S Cauligi, RG Kici, R Jhala, ... arXiv preprint arXiv:2005.00294, 2020 | 36 | 2020 |
| 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 | 26* | 2016 |
| 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 | 24 | 2017 |
| {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 | 13 | 2019 |
| Bayesian logic networks and the search for samples with backward simulation and abstract constraint learning D Jain, K Gleissenthall, M Beetz Annual Conference on Artificial Intelligence, 144-156, 2011 | 13 | 2011 |
| Symbolic polytopes for quantitative interpolation and verification K Gleissenthall, B Köpf, A Rybalchenko International Conference on Computer Aided Verification, 178-194, 2015 | 10 | 2015 |
| An epistemic perspective on consistency of concurrent computations K Gleissenthall, A Rybalchenko International Conference on Concurrency Theory, 212-226, 2013 | 6 | 2013 |
| Solver-Aided Constant-Time Hardware Verification K v. Gleissenthall, RG Kıcı, D Stefan, R Jhala Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 1 | 2021 |
| Solver-Aided Constant-Time Circuit Verification R Gokhan Kici, K Gleissenthall, D Stefan, R Jhala arXiv e-prints, arXiv: 2104.00461, 2021 | | 2021 |
| Solver-Aided Constant-Time Circuit Verification RG Kici, K Gleissenthall, D Stefan, R Jhala arXiv preprint arXiv:2104.00461, 2021 | | 2021 |
| Solver-Aided Constant-Time Hardware Verification K Gleissenthall, RG Kıcı, D Stefan, R Jhala | | 2021 |
| Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) K Gleissenthall, A Rybalchenko, S Zanella-Béguelin | | 2014 |
| Cardinalities in Software Verification K Freiherr von Gleissenthall Dissertation, München, Technische Universität München, 2016, 0 | | |
| Refinement Types for Hardware R Webbers, K Gleissenthall | | |
| FAKULTAT FUR INFORMATIK KF von Gleissenthall | | |
