Alternatives and similar repositories for arnika

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

• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆36Updated 3 months ago
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆63Updated this week
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• imichaelmiers / libforwardsec
  ☆58Updated 8 years ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆68Updated 2 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆157Updated this week
• cryptobib / db
  CryptoBib Database for Developers
  ☆45Updated this week
• cunicu / go-rosenpass
  A port of Rosenpass post-quantum key-exchange protocol to Go.
  ☆20Updated last week
• mlswg / mls-protocol
  MLS protocol
  ☆240Updated 11 months ago
• tpm2-software / tpm2-totp
  Attest the trustworthiness of a device against a human using time-based one-time passwords
  ☆177Updated last year
• exaexa / codecrypt
  Post-quantum cryptography tool (THIS REPOSITORY IS ONLY A MIRROR OF THE MAIN ONE, PLEASE DO NOT FILE BUGS HERE)
  ☆318Updated 2 years ago
• cryptobib / cryptobib
  CryptoBib Main Repository for Developers
  ☆19Updated last year
• tpoeppelmann / newhope
  ☆99Updated 9 years ago
• JJChiDguez / sqale-csidh-velusqrt
  The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents
  ☆12Updated 4 years ago
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆183Updated last year
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆431Updated last week
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆55Updated 11 months ago
• veorq / oee
  One-end encryption, stronger than end-to-end
  ☆220Updated 2 years ago
• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography.
  ☆330Updated 2 weeks ago
• pornin / curve9767
  ☆82Updated 5 years ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆18Updated 5 months ago
• stef / libsphinx
  Sphinx-based Password Storage low-level library
  ☆130Updated 7 months ago
• open-quantum-safe / liboqs-rust
  Rust bindings for liboqs
  ☆156Updated last week
• otrv4 / otrv4
  Off-the-Record Messaging Protocol version 4. -This is a draft- This repository is a mirror of http://bugs.otr.im/otrv4/otrv4
  ☆189Updated 2 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆472Updated last week
• mjosaarinen / py-acvp-pqc
  Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)
  ☆50Updated 2 months ago
• cfrg / draft-irtf-cfrg-opaque
  The OPAQUE Asymmetric PAKE Protocol
  ☆110Updated 7 months ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• meichlseder / pyascon
  ☆76Updated 3 months ago
• ProofFrog / ProofFrog
  A tool for verifying game-hopping proofs
  ☆15Updated 4 months ago