Andreas Lochbihler https://isa-afp.org/authors/lochbihler/ AFP entries of Andreas Lochbihler Constructive Cryptography in HOL: the Communication Modeling Aspect https://isa-afp.org/entries/Constructive_Cryptography_CM.html Wed, 17 Mar 2021 00:00:00 +0000 Constructive Cryptography in HOL: the Communication Modeling Aspect in the AFP Computer science/Security/Cryptography Mathematics/Probability theory Authenticated Data Structures As Functors https://isa-afp.org/entries/ADS_Functor.html Thu, 16 Apr 2020 00:00:00 +0000 Authenticated Data Structures As Functors in the AFP Computer science/Data structures Sigma Protocols and Commitment Schemes https://isa-afp.org/entries/Sigma_Commit_Crypto.html Mon, 07 Oct 2019 00:00:00 +0000 Sigma Protocols and Commitment Schemes in the AFP Computer science/Security/Cryptography Constructive Cryptography in HOL https://isa-afp.org/entries/Constructive_Cryptography.html Mon, 17 Dec 2018 00:00:00 +0000 Constructive Cryptography in HOL in the AFP Computer science/Security/Cryptography Mathematics/Probability theory Bounded Natural Functors with Covariance and Contravariance https://isa-afp.org/entries/BNF_CC.html Tue, 24 Apr 2018 00:00:00 +0000 Bounded Natural Functors with Covariance and Contravariance in the AFP Computer science/Functional programming Tools Probabilistic while loop https://isa-afp.org/entries/Probabilistic_While.html Fri, 05 May 2017 00:00:00 +0000 Probabilistic while loop in the AFP Computer science/Functional programming Mathematics/Probability theory Computer science/Algorithms/Randomized Effect polymorphism in higher-order logic https://isa-afp.org/entries/Monomorphic_Monad.html Fri, 05 May 2017 00:00:00 +0000 Effect polymorphism in higher-order logic in the AFP Computer science/Functional programming Monad normalisation https://isa-afp.org/entries/Monad_Normalisation.html Fri, 05 May 2017 00:00:00 +0000 Monad normalisation in the AFP Tools Computer science/Functional programming Logic/Rewriting Game-based cryptography in HOL https://isa-afp.org/entries/Game_Based_Crypto.html Fri, 05 May 2017 00:00:00 +0000 Game-based cryptography in HOL in the AFP Computer science/Security/Cryptography CryptHOL https://isa-afp.org/entries/CryptHOL.html Fri, 05 May 2017 00:00:00 +0000 CryptHOL in the AFP Computer science/Security/Cryptography Computer science/Functional programming Mathematics/Probability theory A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks https://isa-afp.org/entries/MFMC_Countable.html Mon, 09 May 2016 00:00:00 +0000 A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks in the AFP Mathematics/Graph theory The Stern-Brocot Tree https://isa-afp.org/entries/Stern_Brocot.html Tue, 22 Dec 2015 00:00:00 +0000 The Stern-Brocot Tree in the AFP Mathematics/Number theory Applicative Lifting https://isa-afp.org/entries/Applicative_Lifting.html Tue, 22 Dec 2015 00:00:00 +0000 Applicative Lifting in the AFP Computer science/Functional programming A Zoo of Probabilistic Systems https://isa-afp.org/entries/Probabilistic_System_Zoo.html Wed, 27 May 2015 00:00:00 +0000 A Zoo of Probabilistic Systems in the AFP Computer science/Automata and formal languages Trie https://isa-afp.org/entries/Trie.html Mon, 30 Mar 2015 00:00:00 +0000 Trie in the AFP Computer science/Data structures Stream Fusion in HOL with Code Generation https://isa-afp.org/entries/Stream_Fusion_Code.html Fri, 10 Oct 2014 00:00:00 +0000 Stream Fusion in HOL with Code Generation in the AFP Computer science/Functional programming Native Word https://isa-afp.org/entries/Native_Word.html Tue, 17 Sep 2013 00:00:00 +0000 Native Word in the AFP Computer science/Data structures Light-weight Containers https://isa-afp.org/entries/Containers.html Mon, 15 Apr 2013 00:00:00 +0000 Light-weight Containers in the AFP Computer science/Data structures Executable Multivariate Polynomials https://isa-afp.org/entries/Polynomials.html Tue, 10 Aug 2010 00:00:00 +0000 Executable Multivariate Polynomials in the AFP Mathematics/Analysis Mathematics/Algebra Computer science/Algorithms/Mathematical Coinductive https://isa-afp.org/entries/Coinductive.html Fri, 12 Feb 2010 00:00:00 +0000 Coinductive in the AFP Computer science/Functional programming Code Generation for Functions as Data https://isa-afp.org/entries/FinFun.html Wed, 06 May 2009 00:00:00 +0000 Code Generation for Functions as Data in the AFP Computer science/Data structures Jinja with Threads https://isa-afp.org/entries/JinjaThreads.html Mon, 03 Dec 2007 00:00:00 +0000 Jinja with Threads in the AFP Computer science/Programming languages/Language definitions