Andreas Lochbihler

Homepages 🌐

• http://www.andreas-lochbihler.de/

Entries

2021

Constructive Cryptography in HOL: the Communication Modeling Aspect

by Andreas Lochbihler 🌐 and S. Reza Sefidgar

Mar 17

2020

Authenticated Data Structures As Functors

by Andreas Lochbihler 🌐 and Ognjen Marić 📧

Apr 16

2019

Sigma Protocols and Commitment Schemes

by David Butler 🌐 and Andreas Lochbihler 🌐

Oct 07

2018

Constructive Cryptography in HOL

by Andreas Lochbihler 🌐 and S. Reza Sefidgar

Dec 17

Bounded Natural Functors with Covariance and Contravariance

by Andreas Lochbihler 🌐 and Joshua Schneider 📧

Apr 24

2017

Probabilistic while loop

by Andreas Lochbihler 🌐

May 05

Monad normalisation

by Joshua Schneider, Manuel Eberl 🌐 and Andreas Lochbihler 🌐

May 05

Game-based cryptography in HOL

by Andreas Lochbihler 🌐, S. Reza Sefidgar and Bhargav Bhatt 📧

May 05

Effect polymorphism in higher-order logic

by Andreas Lochbihler 🌐

May 05

CryptHOL

by Andreas Lochbihler 🌐

May 05

2016

A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks

by Andreas Lochbihler 🌐

May 09

2015

The Stern-Brocot Tree

by Peter Gammie 🌐 and Andreas Lochbihler 🌐

Dec 22

Applicative Lifting

by Andreas Lochbihler 🌐 and Joshua Schneider

Dec 22

A Zoo of Probabilistic Systems

by Johannes Hölzl 🌐, Andreas Lochbihler 🌐 and Dmitriy Traytel 🌐

May 27

Trie

by Andreas Lochbihler 🌐 and Tobias Nipkow 🌐

Mar 30

2014

Stream Fusion in HOL with Code Generation

by Andreas Lochbihler 🌐 and Alexandra Maximova 📧

Oct 10

2013

Native Word

by Andreas Lochbihler 🌐

Sep 17

Light-weight Containers

by Andreas Lochbihler 🌐

Apr 15

2010

Executable Multivariate Polynomials

by Christian Sternagel 📧, René Thiemann 🌐, Alexander Maletzky 🌐, Fabian Immler 🌐, Florian Haftmann 🌐, Andreas Lochbihler 🌐 and Alexander Bentkamp 📧

Aug 10

Coinductive

by Andreas Lochbihler 🌐

Feb 12

2009

Code Generation for Functions as Data

by Andreas Lochbihler 🌐

May 06

2007

Jinja with Threads

by Andreas Lochbihler 🌐

Dec 03