Alternatives and similar repositories for tamarin-ake

Users that are interested in tamarin-ake are comparing it to the libraries listed below

• charlie-j / fm-crypto-lib
  ☆14Updated 4 months ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆28Updated 5 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆38Updated 11 months 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
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• lamps-wg / dilithium-certificates
  I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure
  ☆12Updated 2 weeks ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆13Updated 2 years 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
• 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
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated last year
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆29Updated last year
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• mmou / threshold-OPAQUE
  OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.
  ☆17Updated 4 years ago
• benlaurie / hacl
  Experimental High Assurance Cryptographic Library
  ☆20Updated 9 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• mjosaarinen / blzzrd
  Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme
  ☆16Updated 8 years ago
• dedis / purb
  Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper
  ☆30Updated last year
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• KPN-CISO / pq-wg-theory
  Post-quantum Wireguard (Theory)
  ☆11Updated 4 years ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 8 months ago
• lmrs2 / ct_choose
  Constant-time choose between two variables in Clang/LLVM
  ☆20Updated 7 years ago