Alternatives and similar repositories for everest

Users that are interested in everest are comparing it to the libraries listed below

• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 10 months ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆299Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆487Updated 2 weeks ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆485Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆299Updated 2 weeks ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆195Updated 8 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆234Updated 4 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆203Updated 3 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 6 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 5 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• mirleft / ocaml-tls
  TLS in pure OCaml
  ☆318Updated 3 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆321Updated last week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• microsoft / Ironclad
  The MSR Ironclad project builds provably secure and reliable systems.
  ☆262Updated 2 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆300Updated 7 years ago
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,194Updated 2 weeks ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆53Updated 2 months ago
• tpoeppelmann / newhope
  ☆100Updated 9 years ago
• au-ts / cogent
  Cogent Project
  ☆174Updated 9 months ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆58Updated 2 months ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆493Updated 3 weeks ago
• Frama-C / Frama-C-snapshot
  Release snapshots of the Frama-C platform for source code analysis
  ☆180Updated 5 years ago