Alternatives and similar repositories for tamarin-ake

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

• 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 last year
• charlie-j / fm-crypto-lib
  ☆14Updated 6 months ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated 2 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆29Updated 5 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆47Updated 4 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…
  ☆37Updated 3 years ago
• 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
  ☆13Updated last week
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆32Updated last month
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• lmrs2 / ct_choose
  Constant-time choose between two variables in Clang/LLVM
  ☆20Updated 7 years ago
• kriskwiatkowski / nobs
  Implementation of cryptographic primitives in Go
  ☆13Updated 2 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 6 years ago
• pornin / BAT
  BAT KEM/Signature Reference Implementation
  ☆23Updated 3 years ago
• zkcrypto / curve25519-dalek-ng
  A pure-Rust implementation of group operations on Ristretto and Curve25519
  ☆28Updated last year
• sidh-crypto / sidh-c-reference
  SIDH C reference implementation
  ☆13Updated 8 years ago
• cfrg / draft-irtf-cfrg-ristretto255
  ☆18Updated last year
• claucece / formal-tutorials
  ☆28Updated 3 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
• alxdavids / voprf-poc
  Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/
  ☆23Updated 5 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• KPN-CISO / pq-wg-theory
  Post-quantum Wireguard (Theory)
  ☆11Updated 5 years ago
• iteratee / p11_260
  High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.
  ☆14Updated 4 years ago
• dedis / purb
  Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper
  ☆30Updated last year
• psve / cryptagraph
  A tool for linear and differential cryptanalysis of block ciphers written in Rust
  ☆14Updated 3 years ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• jedisct1 / libsodium-xchacha20-siv
  Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.
  ☆30Updated last year
• SabaEskandarian / PunchCard
  A privacy-preserving digital version of punch cards used in store loyalty programs
  ☆11Updated 4 years ago
• kriskwiatkowski / TEE-TLS-delegator
  Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment
  ☆13Updated 3 years ago