Cryptographic protocol analysis for real-world protocols.
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
Online engine for reasoning about the Noise Protocol Framework.
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Formalisation of Ethereum consensus in Isabelle/HOL
Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
CESA: A Chebyshev Polynomials based Efficient and Secure Access Authentication Scheme for both UE and mMTC Devices over 5G Networks
AI-powered tool that converts protocol diagrams (PNG, PDF) into formal Tamarin verification models. Task 1 submission for IIT Roorkee Formal Verification course.
The research plan for my PhD in the Information Security group, ETH Zurich.
Verifier-backed abstraction invention for small formal protocol and concurrency systems with contradiction-driven ontology revision
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
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."