Andreas Lochbihler's repositories
Language:IsabelleNOASSERTION000
crypto-formalization-frameworks
Comparison of frameworks for mechanizing cryptographic proofs in proof assistants
000
HaskellerZ
Notes and files from HaskellerZ meetups.
Language:HTML000
scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
Language:IsabelleGPL-3.0000
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
Language:HaskellGPL-3.0000