Alternatives and similar repositories for pq-wg-theory

Users that are interested in pq-wg-theory are comparing it to the libraries listed below

• tireddy2 / pqc-for-engineers
  ☆17Updated last month
• Chair-for-Security-Engineering / KEM-NIZKPoP
  Proof-of-possession for KEM certificates using verifiable generation
  ☆9Updated 3 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆26Updated last year
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• JJChiDguez / csidh
  Stronger and Faster Side-Channel Protections for CSIDH
  ☆19Updated 4 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆38Updated 10 months ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆34Updated 2 months ago
• Pierrick-Dartois / SQISignHD-lib
  Official SQISignHD code, version under continuous development.
  ☆13Updated 2 weeks ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 8 months ago
• charlie-j / fm-crypto-lib
  ☆14Updated 3 months ago
• dstebila / pygamehop
  [work in progress] Python framework for supporting cryptographic game-hopping proofs
  ☆13Updated 2 years ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 5 years ago
• veorq / crackpots
  List of crackpot 'scientists' and 'thinkers'
  ☆19Updated last month
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆68Updated last week
• brave-experiments / CDLS
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Updated 8 months ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆13Updated 2 years ago
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 11 months ago
• mmou / threshold-OPAQUE
  OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.
  ☆17Updated 4 years ago
• pqov / pqov
  ☆16Updated last month
• IACR / latex
  Latex classes for IACR publications.
  ☆13Updated last week
• cfrg / draft-irtf-cfrg-hpke
  Hybrid Public Key Encryption
  ☆51Updated last year
• KULeuven-COSIC / CSI-FiSh
  Repo for the implementation of the isogeny based signature scheme CSI-FiSh
  ☆24Updated 2 years ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆150Updated last week
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆28Updated last year
• post-quantum-cryptography / KAT
  ☆20Updated 3 months ago
• alxdavids / voprf-poc
  Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/
  ☆23Updated 4 years ago