REPROSEC / dolev-yao-starLinks
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
☆19Updated 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:
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated 2 weeks ago
- Language for high-assurance and high-speed cryptography☆317Updated last week
- The Cryspen HACL Distribution☆19Updated 7 months ago
- A foundational framework for modular cryptographic proofs in Coq☆70Updated 2 weeks ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Updated last year
- ☆188Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆292Updated last week
- Definitional implementation of Cedar language and utilities for DRT☆140Updated this week
- Teaching materials related to the Tamarin Prover☆71Updated last year
- ☆16Updated this week
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆56Updated last month
- Compositional Verification of Security Protocols☆25Updated last week
- Crypto library☆66Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆372Updated last week
- An overview of property-based testing functionality☆74Updated 2 weeks ago
- Specifications of cryptographic algorithms in Cryptol☆43Updated 3 weeks ago
- A Rust verification tool☆345Updated this week
- Cryptographic protocol analysis for real-world protocols.☆61Updated last year
- The Daedalus data description language☆84Updated 8 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆123Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated last month
- Interface with the rustc compiler for the purpose of program verification☆211Updated last week
- ☆42Updated 5 months ago
- Please see https://github.com/hacspec/hax☆244Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 3 months ago
- ☆33Updated last month
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆27Updated last week
- CN separation logic refinement type system for C☆41Updated this week
- The Steel separation logic library for F*☆36Updated last month
- AWS Encryption SDK☆53Updated last week