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
1162014
Verifying a Compiler for Java Threads.
A Lochbihler
ESOP 2010, 427-447, 2010
772010
The Isabelle collections framework
P Lammich, A Lochbihler
ITP 2010, 339-354, 2010
682010
CryptHOL: Game-based Proofs in Higher-order Logic⋆
DA Basin, A Lochbihler, SR Sefidgar
Cryptology ePrint Archive, 2017
592017
Cardinality estimators do not preserve privacy
D Desfontaines, A Lochbihler, D Basin
Proceedings on Privacy Enhancing Technologies 2019 (2), 26-46, 2019
432019
Java and the Java memory model—A unified, machine-checked formalisation
A Lochbihler
ESOP 2012, 497-517, 2012
432012
The computational complexity of evolutionarily stable strategies
K Etessami, A Lochbihler
International Journal of Game Theory 37 (1), 93-113, 2008
422008
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.
A Lochbihler
ESOP 2016, 503-531, 2016
392016
Making the Java memory model safe
A Lochbihler
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 2013
372013
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
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
ESOP 2017, 111-140, 2017
332017
Animating the Formalised Semantics of a Java-Like Language.
A Lochbihler, L Bulwahn
ITP 2011, 216-232, 2011
292011
Formalizing constructive cryptography using CryptHOL
A Lochbihler, SR Sefidgar, D Basin, U Maurer
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 152-15214, 2019
262019
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
21*2010
Jinja with threads
A Lochbihler
Archive of Formal Proofs, 2007
212007
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
182017
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
J Hölzl, A Lochbihler, D Traytel
ITP 2015, 2015
162015
Recursive functions on lazy lists via domains and topologies
A Lochbihler, J Hölzl
ITP 2014, 341-357, 2014
152014
The system can't perform the operation now. Try again later.
Articles 1–20