Follow
Andreas Lochbihler
Andreas Lochbihler
Digital Asset (Switzerland) GmbH
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
1232014
Verifying a Compiler for Java Threads.
A Lochbihler
ESOP 2010, 427-447, 2010
842010
CryptHOL: Game-based Proofs in Higher-order Logic⋆
DA Basin, A Lochbihler, SR Sefidgar
Cryptology ePrint Archive, 2017
742017
The Isabelle collections framework
P Lammich, A Lochbihler
ITP 2010, 339-354, 2010
692010
Cardinality estimators do not preserve privacy
D Desfontaines, A Lochbihler, D Basin
Proceedings on Privacy Enhancing Technologies 2019 (2), 26-46, 2019
532019
Java and the Java memory model—A unified, machine-checked formalisation
A Lochbihler
ESOP 2012, 497-517, 2012
442012
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.
A Lochbihler
ESOP 2016, 503-531, 2016
432016
The computational complexity of evolutionarily stable strategies
K Etessami, A Lochbihler
International Journal of Game Theory 37, 93-113, 2008
422008
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
ESOP 2017, 111-140, 2017
402017
Making the Java memory model safe
A Lochbihler
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 2013
382013
Light-weight containers for Isabelle: efficient, extensible, nestable
A Lochbihler
ITP 2013, 116-132, 2013
362013
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
A Lochbihler
Karlsruhe Institute of Technology, 2012
362012
Formalizing constructive cryptography using CryptHOL
A Lochbihler, SR Sefidgar, D Basin, U Maurer
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 152-15214, 2019
342019
Animating the Formalised Semantics of a Java-Like Language.
A Lochbihler, L Bulwahn
ITP 2011, 216-232, 2011
282011
Type safe nondeterminism-a formal semantics of Java threads
A Lochbihler
Foundations of Object-Oriented Languages (FOOL 2008), 2008
262008
Coinduction
A Lochbihler
Archive of Formal Proofs, 2010
222010
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
212017
Jinja with threads
A Lochbihler
Archive of Formal Proofs, 2007
212007
Privacy preserving validation and commit architecture
SG Bleikertz, JB Litsios, A Lochbihler, O Maric, M Schmalz, RG Veprek, ...
US Patent 11,575,683, 2023
172023
Recursive functions on lazy lists via domains and topologies
A Lochbihler, J Hölzl
ITP 2014, 341-357, 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20