Andreas Lochbihler

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 37

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Alexander Bernauer, Sofia Faro, Rémy Haemmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi Mäki, Francesco Mazzoli, Simon Meier, Neil Mitchell, Ratko G. Veprek
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Andreas Lochbihler
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks with Applications to Probability Theory. J. Autom. Reason. 66 (4) (2022)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. Log. Methods Comput. Sci. 18 (1) (2022)
Andreas Lochbihler, S. Reza Sefidgar
Constructive Cryptography in HOL: the Communication Modeling Aspect. Arch. Formal Proofs 2021 (2021)
David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. CSF (2021)
Andreas Lochbihler
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks. ITP (2021)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. CoRR (2021)
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL. J. Autom. Reason. 65 (4) (2021)
Andreas Lochbihler, Ognjen Maric
Authenticated Data Structures As Functors. Arch. Formal Proofs 2020 (2020)
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
Quotients of Bounded Natural Functors. IJCAR (2) (2020)
David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
CryptHOL: Game-Based Proofs in Higher-Order Logic. J. Cryptol. 33 (2) (2020)
Andreas Lochbihler, Ognjen Maric
Authenticated Data Structures as Functors in Isabelle/HOL. FMBC@CAV (2020)
David Butler, Andreas Lochbihler
Sigma Protocols and Commitment Schemes. Arch. Formal Proofs 2019 (2019)
Peter Lammich, Andreas Lochbihler
Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches. J. Autom. Reason. 63 (1) (2019)
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising Σ-Protocols and Commitment Schemes using CryptHOL. IACR Cryptol. ePrint Arch. 2019 (2019)
Andreas Lochbihler
Effect Polymorphism in Higher-Order Logic (Proof Pearl). J. Autom. Reason. 63 (2) (2019)
Damien Desfontaines, Andreas Lochbihler, David A. Basin
Cardinality Estimators do not Preserve Privacy. Proc. Priv. Enhancing Technol. 2019 (2) (2019)
Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer
Formalizing Constructive Cryptography using CryptHOL. CSF (2019)
Andreas Lochbihler, S. Reza Sefidgar
A tutorial introduction to CryptHOL. IACR Cryptol. ePrint Arch. 2018 (2018)
Andreas Lochbihler, Joshua Schneider
Relational Parametricity and Quotient Preservation for Modular (Co)datatypes. ITP (2018)
Andreas Lochbihler
Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler. J. Autom. Reason. 61 (1-4) (2018)
Andreas Lochbihler, S. Reza Sefidgar
Constructive Cryptography in HOL. Arch. Formal Proofs 2018 (2018)
Andreas Lochbihler
Fast Machine Words in Isabelle/HOL. ITP (2018)
Andreas Lochbihler, Joshua Schneider
Bounded Natural Functors with Covariance and Contravariance. Arch. Formal Proofs 2018 (2018)
Damien Desfontaines, Andreas Lochbihler, David A. Basin
Cardinality Estimators do not Preserve Privacy. CoRR (2018)
Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt
Game-based cryptography in HOL. Arch. Formal Proofs 2017 (2017)
Andreas Lochbihler
Probabilistic while loop. Arch. Formal Proofs 2017 (2017)
Andreas Lochbihler
Effect polymorphism in higher-order logic. Arch. Formal Proofs 2017 (2017)
Joshua Schneider, Manuel Eberl, Andreas Lochbihler
Monad normalisation. Arch. Formal Proofs 2017 (2017)
Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants. ESOP (2017)
Andreas Lochbihler
CryptHOL. Arch. Formal Proofs 2017 (2017)
David A. Basin, Andreas Lochbihler, S. Reza Sefidgar
CryptHOL: Game-based Proofs in Higher-order Logic. IACR Cryptol. ePrint Arch. 2017 (2017)
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)
Andreas Lochbihler
Effect Polymorphism in Higher-Order Logic (Proof Pearl). ITP (2017)
Andreas Lochbihler
A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks. Arch. Formal Proofs 2016 (2016)
Andreas Lochbihler, Joshua Schneider
Equational Reasoning with Applicative Functors. ITP (2016)
Andreas Lochbihler
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. ESOP (2016)
Peter Gammie, Andreas Lochbihler
The Stern-Brocot Tree. Arch. Formal Proofs 2015 (2015)
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
A Formalized Hierarchy of Probabilistic System Types - Proof Pearl. ITP (2015)
Andreas Lochbihler, Tobias Nipkow
Trie. Arch. Formal Proofs 2015 (2015)
Andreas Lochbihler, Joshua Schneider
Applicative Lifting. Arch. Formal Proofs 2015 (2015)
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
A Zoo of Probabilistic Systems. Arch. Formal Proofs 2015 (2015)
Andreas Lochbihler, Alexandra Maximova
Stream Fusion for Isabelle's Code Generator - Rough Diamond. ITP (2015)
Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel
Truly Modular (Co)datatypes for Isabelle/HOL. ITP (2014)
Andreas Lochbihler, Alexandra Maximova
Stream Fusion in HOL with Code Generation. Arch. Formal Proofs 2014 (2014)
Andreas Lochbihler
Analysing Java's safety guarantees under concurrency. it Inf. Technol. 56 (2) (2014)
Andreas Lochbihler, Johannes Hölzl
Recursive Functions on Lazy Lists via Domains and Topologies. ITP (2014)
Andreas Lochbihler
Light-weight Containers. Arch. Formal Proofs 2013 (2013)
Andreas Lochbihler
Making the java memory model safe. ACM Trans. Program. Lang. Syst. 35 (4) (2013)
Andreas Lochbihler
Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable. ITP (2013)
Andreas Lochbihler
Native Word. Arch. Formal Proofs 2013 (2013)
Andreas Lochbihler
Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler. Ausgezeichnete Informatikdissertationen (2012)
Andreas Lochbihler
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. ESOP (2012)
Andreas Lochbihler, Lukas Bulwahn
Animating the Formalised Semantics of a Java-Like Language. ITP (2011)
Peter Lammich, Andreas Lochbihler
The Isabelle Collections Framework. ITP (2010)
Andreas Lochbihler
Coinductive. Arch. Formal Proofs 2010 (2010)
Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner
Gateway Decompositions for Constrained Reachability Problems. SEA (2010)
Andreas Lochbihler
Verifying a Compiler for Java Threads. ESOP (2010)
Andreas Lochbihler
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. TPHOLs (2009)
Andreas Lochbihler, Gregor Snelting
On temporal path conditions in dependence graphs. Autom. Softw. Eng. 16 (2) (2009)
Andreas Lochbihler
Code Generation for Functions as Data. Arch. Formal Proofs 2009 (2009)
Kousha Etessami, Andreas Lochbihler
The computational complexity of evolutionarily stable strategies. Int. J. Game Theory 37 (1) (2008)
Daniel Wasserrab, Andreas Lochbihler
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLs (2008)
Andreas Lochbihler
Jinja with Threads. Arch. Formal Proofs 2007 (2007)
Andreas Lochbihler, Gregor Snelting
On Temporal Path Conditions in Dependence Graphs. SCAM (2007)
Kousha Etessami, Andreas Lochbihler
The computational complexity of Evolutionarily Stable Strategies Electron. Colloquium Comput. Complex. (055) (2004)

Andreas Lochbihler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Lochbihler