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 | 152 | 2020 |
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 | 103 | 2021 |
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 | 63* | 2019 |
{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 | 37 | 2019 |
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 | 31 | 2017 |
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 | 31* | 2016 |
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 | 22 | 2023 |
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 | 17 | 2023 |
Solver-Aided Constant-Time Circuit Verification RG Kici, K Gleissenthall, D Stefan, R Jhala arXiv preprint arXiv:2104.00461, 2021 | 14* | 2021 |
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 | 13 | 2011 |
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 | 9 | 2015 |
An epistemic perspective on consistency of concurrent computations K von Gleissenthall, A Rybalchenko International Conference on Concurrency Theory, 212-226, 2013 | 6 | 2013 |
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 | 5 | 2023 |
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 | 1 | 2023 |
FAKULTAT FUR INFORMATIK KF von Gleissenthall | 1* | |
Refinement Type Refutations R Webbers, K von Gleissenthall, R Jhala Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 962-987, 2024 | | 2024 |
InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring D Fang, A Peng, E van der Kouwe, K Gleissenthall, W Wang, Y Zhang, ... IEEE Transactions on Dependable and Secure Computing, 2024 | | 2024 |
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 | | |