protocol-verification

There are 11 repositories under protocol-verification topic.

symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
Language:Go45 5 34
darrenldl/ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
Language:OCaml23 4 34
symbolicsoft/noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
Language:Rust11 3 26
SoundVerification/wireguard
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Language:Haskell4 1 02
sigp/verified-consensus
Formalisation of Ethereum consensus in Isabelle/HOL
Language:Isabelle3 3 11
hadisfr/Needham-Schroeder-Protocol-Promela-Verification
Language:TeX1 2 0
soap-wg/soap-proofs
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
Language:Python1 1 00
viperproject/protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Language:Haskell1 10 0
felixlinker/research-plan
The research plan for my PhD in the Information Security group, ETH Zurich.
Language:TeX0 2 00
logicalhacking/Automated_Stateful_Protocol_Verification
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Language:Isabelle3 0
logicalhacking/Stateful_Protocol_Composition_and_Typing
Language:Isabelle3 0