sigp/verified-consensus

Formalisation of Ethereum consensus in Isabelle/HOL

Language: Isabelle - Size: 1.21 MB - Last synced at: 7 days ago - Pushed at: 23 days ago - Stars: 5 - Forks: 2

symbolicsoft/verifpal

Cryptographic protocol analysis for real-world protocols.

Language: Go - Size: 2.34 MB - Last synced at: 6 days 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: 12 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: 6 days 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