Truly modular (co) datatypes for Isabelle/HOL JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel ITP 2014, 93-110, 2014 | 124 | 2014 |
Verifying a Compiler for Java Threads. A Lochbihler ESOP 2010, 427-447, 2010 | 84 | 2010 |
CryptHOL: Game-based Proofs in Higher-order Logic⋆ DA Basin, A Lochbihler, SR Sefidgar Cryptology ePrint Archive, 2017 | 80 | 2017 |
The Isabelle collections framework P Lammich, A Lochbihler ITP 2010, 339-354, 2010 | 70 | 2010 |
Cardinality estimators do not preserve privacy D Desfontaines, A Lochbihler, D Basin Proceedings on Privacy Enhancing Technologies 2019 (2), 26-46, 2019 | 59 | 2019 |
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. A Lochbihler ESOP 2016, 503-531, 2016 | 44 | 2016 |
Java and the Java memory model—A unified, machine-checked formalisation A Lochbihler ESOP 2012, 497-517, 2012 | 44 | 2012 |
The computational complexity of evolutionarily stable strategies K Etessami, A Lochbihler International Journal of Game Theory 37, 93-113, 2008 | 43 | 2008 |
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel ESOP 2017, 111-140, 2017 | 40 | 2017 |
Making the Java memory model safe A Lochbihler ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 2013 | 38 | 2013 |
Light-weight containers for Isabelle: efficient, extensible, nestable A Lochbihler ITP 2013, 116-132, 2013 | 37 | 2013 |
Formalizing constructive cryptography using CryptHOL A Lochbihler, SR Sefidgar, D Basin, U Maurer 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 152-15214, 2019 | 36 | 2019 |
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler A Lochbihler Karlsruhe Institute of Technology, 2012 | 36 | 2012 |
Animating the Formalised Semantics of a Java-Like Language. A Lochbihler, L Bulwahn ITP 2011, 216-232, 2011 | 29 | 2011 |
Type safe nondeterminism-a formal semantics of Java threads A Lochbihler Foundations of Object-Oriented Languages (FOOL 2008), 2008 | 26 | 2008 |
Coinduction A Lochbihler Archive of Formal Proofs, 2010 | 22 | 2010 |
Foundational (Co) datatypes and (Co) recursion for Higher-Order Logic J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ... FroCoS, 2017 | 21 | 2017 |
Jinja with threads A Lochbihler Archive of Formal Proofs, 2007 | 21 | 2007 |
Privacy preserving validation and commit architecture SG Bleikertz, JB Litsios, A Lochbihler, O Maric, M Schmalz, RG Veprek, ... US Patent 11,575,683, 2023 | 18 | 2023 |
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl) J Hölzl, A Lochbihler, D Traytel ITP 2015, 2015 | 17 | 2015 |