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
  ☆62Updated 2 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• nsacyber / HIRS
  Trusted Computing based services supporting TPM provisioning and supply chain validation concepts. #nsacyber
  ☆193Updated last week
• yymax / x509test
  A Python3 software that validates a client's side SSL/TLS application's X509 verification process
  ☆141Updated 10 years ago
• usnistgov / ACVP
  Industry Working Group on Automated Cryptographic Algorithm Validation
  ☆189Updated 2 weeks ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• ileanabuhan / Tutorial-on-entropies
  An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information
  ☆11Updated 5 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆68Updated last week
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆40Updated last year
• franziskuskiefer / CertificateFuzzer
  Certificate Fuzzer based on the work by Johannes Roth (cryptosource)
  ☆13Updated 5 years ago
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆55Updated last year
• google / x509test
  X.509 certificate test suite
  ☆42Updated 3 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• hannob / pgpbugs
  A history of PGP-related vulnerabilities
  ☆24Updated 4 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• sumanj / frankencert
  Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
  ☆178Updated 2 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• briansmith / mozillapkix
  mozilla: Firefox's X.509 certificate verification core code.
  ☆22Updated 9 years ago
• nsacyber / simon-speck-supercop
  Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber
  ☆46Updated 7 years ago
• Infineon / remote-attestation-optiga-tpm
  Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system
  ☆22Updated 4 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 4 months ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆43Updated 9 years ago
• SEI-CERT / scvs
  Secure Coding Validation Suite
  ☆70Updated 12 years ago
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆61Updated 3 weeks ago
• mjosaarinen / brutus
  BRUTUS is an alternative, fast testing framework for CAESAR ciphers.
  ☆22Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆188Updated 8 years ago