GitHub topics: protocol-verification
sigp/verified-consensus
Formalisation of Ethereum consensus in Isabelle/HOL
Language: Isabelle - Size: 1.21 MB - Last synced at: 1 day ago - Pushed at: 17 days ago - Stars: 5 - Forks: 2

symbolicsoft/verifpal
Cryptographic protocol analysis for real-world protocols.
Language: Go - Size: 2.34 MB - Last synced at: about 12 hours ago - Pushed at: 9 months ago - Stars: 53 - Forks: 6

darrenldl/ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
Language: OCaml - Size: 6 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 27 - Forks: 5

symbolicsoft/noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
Language: Rust - Size: 49.7 MB - Last synced at: about 12 hours ago - Pushed at: 7 months ago - Stars: 13 - Forks: 6

viperproject/protocol-verification-refinement
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Language: Haskell - Size: 99.9 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

soap-wg/soap-proofs
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
Language: Python - Size: 62.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

SoundVerification/wireguard 📦
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Language: Haskell - Size: 99.9 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

logicalhacking/Stateful_Protocol_Composition_and_Typing
Language: Isabelle - Size: 306 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

logicalhacking/Automated_Stateful_Protocol_Verification
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Language: Isabelle - Size: 227 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

felixlinker/research-plan
The research plan for my PhD in the Information Security group, ETH Zurich.
Language: TeX - Size: 36.1 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

hadisfr/Needham-Schroeder-Protocol-Promela-Verification
Language: TeX - Size: 1010 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
