Alternatives and similar repositories for cpt:

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

• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 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…
  ☆36Updated 2 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 5 years ago
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆60Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• google / x509test
  X.509 certificate test suite
  ☆41Updated 3 years ago
• ietf-rats-wg / eat
  Entity Attestation Token IETF Draft Standard
  ☆18Updated 2 months ago
• SHA-mbles / sha1_gpu_nearcollisionattacks
  GPU code for the first SHA-1 collision attack and two freestart attacks
  ☆14Updated 4 years ago
• dfoxfranke / libaes_siv
  An RFC5297-compliant C implementation of AES-SIV
  ☆19Updated 4 years ago
• airbus-seclab / GEA1_break
  Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)
  ☆48Updated 3 years ago
• franziskuskiefer / CertificateFuzzer
  Certificate Fuzzer based on the work by Johannes Roth (cryptosource)
  ☆12Updated 4 years ago
• USECAP / ct-infrastructure
  Docker environment that contains a Database, Monitor, Observatory and Analyzer
  ☆14Updated 3 years ago
• diafygi / openpgp-python
  ☆33Updated 3 years ago
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆41Updated this week
• dot-asm / cryptogams
  CRYPTOGAMS distribution repository
  ☆56Updated 4 months ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆34Updated 5 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• yymax / x509test
  A Python3 software that validates a client's side SSL/TLS application's X509 verification process
  ☆142Updated 10 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• mkannwischer / breaking-abc
  ☆22Updated 2 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆61Updated this week
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆20Updated 3 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• LaurenDM / AttackAESCTR
  ☆20Updated 5 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• awslabs / LibMLKEM
  ☆20Updated 2 months ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 6 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 8 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago