Alternatives and similar repositories for cpt

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

• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆63Updated 3 years ago
• usnistgov / ACVP
  Industry Working Group on Automated Cryptographic Algorithm Validation
  ☆190Updated this week
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• ileanabuhan / Tutorial-on-entropies
  An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information
  ☆11Updated 5 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆21Updated 3 years ago
• nsacyber / HIRS
  Trusted Computing based services supporting TPM provisioning and supply chain validation concepts. #nsacyber
  ☆199Updated last week
• imdea-software / verifying-constant-time
  ☆38Updated 8 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
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆72Updated this week
• yymax / x509test
  A Python3 software that validates a client's side SSL/TLS application's X509 verification process
  ☆141Updated 11 years ago
• KeccakTeam / Xoodoo
  ☆36Updated 3 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated 2 years ago
• dot-asm / cryptogams
  CRYPTOGAMS distribution repository
  ☆62Updated last month
• google / x509test
  X.509 certificate test suite
  ☆43Updated 4 years ago
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 6 years ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• dfoxfranke / libaes_siv
  An RFC5297-compliant C implementation of AES-SIV
  ☆20Updated 5 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆56Updated 2 years ago
• microsoft / PQCrypto-SIKE
  This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
  ☆61Updated 2 years ago
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 6 years ago
• franziskuskiefer / CertificateFuzzer
  Certificate Fuzzer based on the work by Johannes Roth (cryptosource)
  ☆13Updated 5 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆24Updated 2 years ago
• HACS-workshop / spectre-mitigations
  ☆15Updated 7 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆33Updated last year
• armfazh / rfc7748_precomputed
  Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …
  ☆44Updated last year
• mkannwischer / breaking-abc
  ☆23Updated 3 years ago
• LaurenDM / AttackAESCTR
  ☆20Updated 5 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago