Alternatives and similar repositories for aws-lc-verification

Users that are interested in aws-lc-verification are comparing it to the libraries listed below

• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆324Updated this week
• rems-project / cn
  CN separation logic refinement type system for C
  ☆44Updated 3 weeks ago
• awslabs / s2n-bignum
  ☆196Updated this week
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆44Updated 2 weeks ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆95Updated last month
• 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 month
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 3 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆79Updated this week
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆30Updated 3 weeks ago
• formosa-crypto / libjade
  Crypto library
  ☆67Updated last month
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆45Updated 4 months ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆58Updated 3 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆300Updated 3 weeks ago
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆46Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated 3 weeks ago
• awslabs / rust-smt-ir
  ☆43Updated 6 months ago
• Copilot-Language / copilot-verifier
  System for verifying the correctness of generated Copilot programs
  ☆17Updated 8 months ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆171Updated last month
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆54Updated 3 months ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated this week
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆50Updated last week
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆27Updated last week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆71Updated 4 months ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆86Updated 8 months ago
• formosa-crypto / formosa-mlkem
  ☆16Updated last week
• awslabs / AutoCorrode
  Verification infrastructure for the Isabelle/HOL interactive proof assistant
  ☆59Updated last month
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆115Updated this week
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆128Updated 3 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆232Updated this week