Constructive Cryptography in HOL: the Communication Modeling Aspect
by Andreas Lochbihler and S. Reza Sefidgar
Andreas Lochbihler
2021
2020
Authenticated Data Structures As Functors
by Andreas Lochbihler and Ognjen Marić
2019
Sigma Protocols and Commitment Schemes
by David Butler and Andreas Lochbihler
2018
Constructive Cryptography in HOL
by Andreas Lochbihler and S. Reza Sefidgar
Bounded Natural Functors with Covariance and Contravariance
by Andreas Lochbihler and Joshua Schneider
2017
Monad normalisation
by Joshua Schneider, Manuel Eberl and Andreas Lochbihler
Game-based cryptography in HOL
by Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt
Effect polymorphism in higher-order logic
by Andreas Lochbihler
2016
A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks
by Andreas Lochbihler
2015
Applicative Lifting
by Andreas Lochbihler and Joshua Schneider
A Zoo of Probabilistic Systems
by Johannes Hölzl, Andreas Lochbihler and Dmitriy Traytel
2014
Stream Fusion in HOL with Code Generation
by Andreas Lochbihler and Alexandra Maximova
2013
2010
Executable Multivariate Polynomials
by Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler and Alexander Bentkamp