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
  ☆16Updated 2 weeks ago
• 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
  ☆25Updated last year
• dstebila / pygamehop
  [work in progress] Python framework for supporting cryptographic game-hopping proofs
  ☆13Updated 2 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• brave-experiments / CDLS
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Updated 8 months ago
• KULeuven-COSIC / CSI-FiSh
  Repo for the implementation of the isogeny based signature scheme CSI-FiSh
  ☆24Updated 2 years ago
• guruvamsi-policharla / zkdilithium
  An implementation of a post quantum anonymous credential scheme
  ☆14Updated 6 months ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆32Updated last month
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 5 years ago
• Pierrick-Dartois / SQISignHD-lib
  Official SQISignHD code, version under continuous development.
  ☆13Updated last month
• JJChiDguez / csidh
  Stronger and Faster Side-Channel Protections for CSIDH
  ☆19Updated 4 years ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 7 months ago
• charlie-j / fm-crypto-lib
  ☆13Updated 2 months ago
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆38Updated 10 months ago
• chelseakomlo / talks
  Materials and slides for talks I've given in the past
  ☆13Updated 4 months ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆146Updated 2 months ago
• claucece / Secure-Messaging-Summit
  The secure messaging summit information
  ☆20Updated 4 years ago
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated 10 months ago
• cfrg / draft-irtf-cfrg-hpke
  Hybrid Public Key Encryption
  ☆51Updated last year
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• stef / liboprf
  library providing OPRF and Threshold OPRF based on libsodium
  ☆23Updated last week
• lovesh / ps-sig
  Pointcheval Sanders signature
  ☆27Updated 5 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆66Updated last month
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆16Updated 3 months ago
• cryspen / hpke-rs
  Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
  ☆37Updated this week
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆63Updated 2 weeks ago
• IACR / latex
  Latex classes for IACR publications.
  ☆12Updated this week