-
Updated
Dec 23, 2019 - TeX
protocol-verification
Here are 11 public repositories matching this topic...
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
-
Updated
Mar 10, 2020 - OCaml
The research plan for my PhD in the Information Security group, ETH Zurich.
-
Updated
Nov 11, 2021 - TeX
-
Updated
Mar 26, 2022 - Isabelle
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
-
Updated
Apr 2, 2022 - Isabelle
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
-
Updated
Dec 9, 2022 - Haskell
Online engine for reasoning about the Noise Protocol Framework.
-
Updated
Aug 19, 2023 - Rust
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
-
Updated
Dec 7, 2023 - Haskell
This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.
-
Updated
Jan 17, 2024 - Python
Formalisation of Ethereum consensus in Isabelle/HOL
-
Updated
Sep 3, 2024 - Isabelle
Cryptographic protocol analysis for real-world protocols.
-
Updated
Sep 8, 2024 - Go
Improve this page
Add a description, image, and links to the protocol-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the protocol-verification topic, visit your repo's landing page and select "manage topics."