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*
  ☆177Updated 5 months ago
• project-everest / everest
  ☆200Updated this week
• 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 / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆188Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆293Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated last year
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 5 months ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆63Updated 4 years ago
• norx / norx
  Reference implementations (software)
  ☆85Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆37Updated 2 years ago
• Inria-Prosecco / reftls
  ☆33Updated last year
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 5 years ago
• tpoeppelmann / newhope
  ☆99Updated 9 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆33Updated 10 years ago
• charlie-j / fm-crypto-lib
  ☆14Updated 3 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated 2 months ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆281Updated this week
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• 1984not-GmbH / molch
  An implementation of the axolotl ratchet based on libsodium.
  ☆23Updated 2 years ago
• rems-project / netsem
  Network Semantics
  ☆90Updated 6 years ago