The research plan for my PhD in the Information Security group, ETH Zurich.
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
Formalisation of Ethereum consensus in Isabelle/HOL
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Online engine for reasoning about the Noise Protocol Framework.
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
Cryptographic protocol analysis for real-world protocols.
Add a description, image, and links to the protocol-verification topic page so that developers can more easily learn about it.
To associate your repository with the protocol-verification topic, visit your repo's landing page and select "manage topics."