Sledovat
Andreas Lochbihler
Andreas Lochbihler
Digital Asset (Switzerland) GmbH
E-mailová adresa ověřena na: inf.ethz.ch - Domovská stránka
Název
Citace
Citace
Rok
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
1272014
CryptHOL: Game-based Proofs in Higher-order Logic⋆
DA Basin, A Lochbihler, SR Sefidgar
Cryptology ePrint Archive, 2017
872017
Verifying a Compiler for Java Threads.
A Lochbihler
ESOP 2010, 427-447, 2010
832010
The Isabelle collections framework
P Lammich, A Lochbihler
ITP 2010, 339-354, 2010
712010
Cardinality estimators do not preserve privacy
D Desfontaines, A Lochbihler, D Basin
Proceedings on Privacy Enhancing Technologies 2019 (2), 26-46, 2019
632019
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.
A Lochbihler
ESOP 2016, 503-531, 2016
452016
Java and the Java memory model—A unified, machine-checked formalisation
A Lochbihler
ESOP 2012, 497-517, 2012
442012
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
ESOP 2017, 111-140, 2017
432017
The computational complexity of evolutionarily stable strategies
K Etessami, A Lochbihler
International Journal of Game Theory 37, 93-113, 2008
432008
Light-weight containers for Isabelle: efficient, extensible, nestable
A Lochbihler
ITP 2013, 116-132, 2013
392013
Formalizing constructive cryptography using CryptHOL
A Lochbihler, SR Sefidgar, D Basin, U Maurer
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 152-15214, 2019
372019
Making the Java memory model safe
A Lochbihler
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (4), 1-65, 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
Animating the Formalised Semantics of a Java-Like Language.
A Lochbihler, L Bulwahn
ITP 2011, 216-232, 2011
302011
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
232010
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
222017
Jinja with threads
A Lochbihler
Archive of Formal Proofs, 2007
222007
Formalising -Protocols and Commitment Schemes Using CryptHOL
D Butler, A Lochbihler, D Aspinall, A Gascón
Journal of Automated Reasoning 65 (4), 521-567, 2021
202021
A Formalized Hierarchy of Probabilistic System Types (Proof Pearl)
J Hölzl, A Lochbihler, D Traytel
ITP 2015, 2015
202015
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20