关注
Andreas Lochbihler
Andreas Lochbihler
Digital Asset (Switzerland) GmbH
在 inf.ethz.ch 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1262014
CryptHOL: Game-based Proofs in Higher-order Logic⋆
DA Basin, A Lochbihler, SR Sefidgar
Cryptology ePrint Archive, 2017
882017
Verifying a Compiler for Java Threads.
A Lochbihler
ESOP 2010, 427-447, 2010
852010
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
622019
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.
A Lochbihler
ESOP 2016, 503-531, 2016
462016
Friends with benefits: Implementing Corecursion in Foundational Proof Assistants
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
ESOP 2017, 111-140, 2017
442017
The computational complexity of evolutionarily stable strategies
K Etessami, A Lochbihler
International Journal of Game Theory 37, 93-113, 2008
442008
Java and the Java memory model—A unified, machine-checked formalisation
A Lochbihler
ESOP 2012, 497-517, 2012
432012
Light-weight containers for Isabelle: efficient, extensible, nestable
A Lochbihler
ITP 2013, 116-132, 2013
382013
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
372013
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
292011
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
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
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
202017
Privacy preserving validation and commit architecture
SG Bleikertz, JB Litsios, A Lochbihler, O Maric, M Schmalz, RG Veprek, ...
US Patent 11,575,683, 2023
192023
系统目前无法执行此操作，请稍后再试。
文章 1–20