Alternatives and similar repositories for links:

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

• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• norx / norx
  Reference implementations (software)
  ☆85Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• amaloz / ae-generator
  Authenticated encryption scheme prover/synthesizer
  ☆15Updated 2 years ago
• GaloisInc / hacrypto
  Experiments in high-assurance crypto.
  ☆47Updated 2 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆16Updated 6 years ago
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 7 months ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• imichaelmiers / libforwardsec
  ☆57Updated 8 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆50Updated 11 months ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago
• USECAP / ct-infrastructure
  Docker environment that contains a Database, Monitor, Observatory and Analyzer
  ☆14Updated 3 years ago
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆179Updated 8 years ago
• veorq / fca
  free crypto audit
  ☆31Updated 7 years ago
• mjosaarinen / blzzrd
  Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme
  ☆15Updated 8 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆35Updated last year
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 5 years ago
• tuxxy / IACR-eprint-mirror
  Mirror of all PDFs from the IACR's eprint
  ☆46Updated last year
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆52Updated 6 years ago
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆27Updated 7 years ago
• coruus / ed448-goldilocks
  Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
  ☆33Updated 9 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• GaloisInc / helib-demos
  Experiments in homomorphic encryption
  ☆31Updated 10 years ago
• lwe-frodo / lwe-frodo
  Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…
  ☆45Updated 7 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆80Updated 2 years ago