REPROSEC / dolev-yao-starLinks
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
☆17Updated last year
Alternatives and similar repositories for dolev-yao-star
Users that are interested in dolev-yao-star are comparing it to the libraries listed below
Sorting:
- Crypto library☆60Updated 3 weeks ago
- Language for high-assurance and high-speed cryptography☆302Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆55Updated 3 weeks ago
- The Cryspen HACL Distribution☆18Updated 3 months ago
- Teaching materials related to the Tamarin Prover☆70Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆282Updated this week
- ☆15Updated this week
- Please see https://github.com/hacspec/hax☆244Updated last year
- Cryptographic protocol analysis for real-world protocols.☆54Updated 11 months ago
- ☆176Updated last week
- ☆40Updated last year
- PQC Transition Tools Index☆32Updated 4 months ago
- An overview of property-based testing functionality☆70Updated 2 months ago
- Specifications of cryptographic algorithms in Cryptol☆41Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆359Updated this week
- A Course in Cryptanalysis☆144Updated 10 months ago
- The formally verified crypto library for Rust☆153Updated this week
- ☆14Updated 3 months ago
- Community Cryptography Test Vectors☆82Updated 3 months ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆18Updated 4 months ago
- Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cry…☆119Updated 2 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆46Updated last week
- A Rust verification tool☆279Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆469Updated last month
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- ☆21Updated this week
- Open Cryptanalysis Platform☆10Updated last week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆54Updated 2 months ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆94Updated this week
- Compositional Verification of Security Protocols☆17Updated last week