Pinned Repositories
applicative-lifting
applicative-lifting
crypto-formalization-frameworks
Comparison of frameworks for mechanizing cryptographic proofs in proof assistants
HaskellerZ
Notes and files from HaskellerZ meetups.
scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
HaskellerZ
Notes and files from HaskellerZ meetups.
lochbihl's Repositories
lochbihl/applicative-lifting
lochbihl/crypto-formalization-frameworks
Comparison of frameworks for mechanizing cryptographic proofs in proof assistants
lochbihl/HaskellerZ
Notes and files from HaskellerZ meetups.
lochbihl/scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
lochbihl/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.