Alternatives and similar repositories for mitls-flex

Users that are interested in mitls-flex are comparing it to the libraries listed below

• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆178Updated 9 months ago
• project-everest / everest
  ☆204Updated last month
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 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
• project-everest / vale
  Verified Assembly Language for Everest
  ☆297Updated last year
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆194Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 7 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 5 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆295Updated last week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 6 years ago
• Inria-Prosecco / reftls
  ☆33Updated 2 months ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• squirrel-prover / squirrel-prover
  The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
  ☆57Updated 2 months ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆482Updated this week
• tpoeppelmann / newhope
  ☆100Updated 9 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
• norx / norx
  Reference implementations (software)
  ☆85Updated 9 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆64Updated 10 months ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆19Updated 2 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆64Updated 4 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆82Updated 2 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆108Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆53Updated 2 months ago
• briansmith / mozillapkix
  mozilla: Firefox's X.509 certificate verification core code.
  ☆22Updated 10 years ago