Alternatives and similar repositories for dolev-yao-star

Users that are interested in dolev-yao-star are comparing it to the libraries listed below

• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆61Updated 2 weeks ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆327Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆73Updated last week
• formosa-crypto / libjade
  Crypto library
  ☆67Updated last month
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆58Updated 3 months ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆30Updated 3 weeks ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆303Updated this week
• cryspen / hacl-packages
  The Cryspen HACL Distribution
  ☆20Updated 9 months ago
• formosa-crypto / formosa-mlkem
  ☆16Updated last week
• awslabs / s2n-bignum
  ☆201Updated this week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated last month
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆55Updated 3 months ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Updated 4 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆80Updated 2 months ago
• Inria-Prosecco / reftls
  ☆34Updated 3 months ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆88Updated 9 months ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆20Updated 2 years ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆29Updated 2 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆102Updated last week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆381Updated last week
• cryspen / hax
  A Rust verification tool
  ☆365Updated this week
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• cedar-policy / cedar-spec
  Definitional implementation of Cedar language and utilities for DRT
  ☆147Updated this week
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated last week
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆67Updated last month
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 4 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆112Updated 2 weeks ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆69Updated last year