| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Andreas Lochbihler
| Website: http://www.andreas-lochbihler.de |
Entries
| 2020 |
| April 16: Authenticated Data Structures As Functors |
| 2019 |
| October 7: Sigma Protocols and Commitment Schemes |
| 2018 |
| December 17: Constructive Cryptography in HOL |
| April 24: Bounded Natural Functors with Covariance and Contravariance |
| 2017 |
| May 5: Probabilistic while loop |
| May 5: Monad normalisation |
| May 5: Game-based cryptography in HOL |
| May 5: Effect polymorphism in higher-order logic |
| May 5: CryptHOL |
| 2016 |
| May 9: A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks |
| 2015 |
| December 22: The Stern-Brocot Tree |
| December 22: Applicative Lifting |
| May 27: A Zoo of Probabilistic Systems |
| March 30: Trie |
| 2014 |
| October 10: Stream Fusion in HOL with Code Generation |
| 2013 |
| September 17: Native Word |
| April 15: Light-weight Containers |
| 2010 |
| August 10: Executable Multivariate Polynomials |
| February 12: Coinductive |
| 2009 |
| May 6: Code Generation for Functions as Data |
| 2007 |
| December 3: Jinja with Threads |