Alternatives and similar repositories for arnika

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

• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆62Updated last week
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆18Updated 4 months ago
• ProofFrog / ProofFrog
  A tool for verifying game-hopping proofs
  ☆15Updated 3 months ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆36Updated 2 months ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• trussed-dev / trussed
  Modern Cryptographic Firmware
  ☆462Updated last month
• tpm2-software / tpm2-totp
  Attest the trustworthiness of a device against a human using time-based one-time passwords
  ☆176Updated last year
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆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
• tpoeppelmann / newhope
  ☆99Updated 9 years ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆67Updated last month
• imichaelmiers / libforwardsec
  ☆57Updated 8 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆468Updated last month
• dstebila / rlwekex
  DEPRECATED – See NOTICE below about migration to new repository – Post-quantum key exchange from the ring learning with errors problem
  ☆59Updated 8 years ago
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆136Updated 2 years ago
• aperezdc / signify
  OpenBSD tool to sign and verify signatures on files. Portable version.
  ☆299Updated last year
• jwoglom / signal-curses
  Curses-backed terminal interface for Signal using signal-cli
  ☆75Updated 6 years ago
• C2SP / C2SP
  Community Cryptography Specification Project
  ☆423Updated 2 weeks ago
• fancy-cryptography / fancy-cryptography
  Deployments of fancy cryptography
  ☆151Updated 3 weeks ago
• microsoft / PQCrypto-LWEKE
  FrodoKEM: Learning with Errors Key Encapsulation. FrodoKEM is a family of key-encapsulation mechanisms that are designed to be conservati…
  ☆145Updated 8 months ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆54Updated 11 months ago
• newhopecrypto / newhope
  Software of the NIST Post-Quantum submission NewHope
  ☆46Updated 4 years ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆152Updated this week
• thomasarmel / qkd_kme_server
  ETSI GS QKD 014 v1.1.1-compliant KME server implementation for Quantum Key Distribution
  ☆17Updated 2 weeks ago
• mkannwischer / breaking-abc
  ☆23Updated 3 years ago
• pq-crystals / dilithium
  ☆491Updated 9 months ago
• mjosaarinen / py-acvp-pqc
  Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)
  ☆48Updated last month
• newhopearm / newhopearm
  NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.
  ☆13Updated 9 years ago
• open-quantum-safe / oqs-provider
  OpenSSL 3 provider containing post-quantum algorithms
  ☆377Updated last week
• cryptobib / db
  CryptoBib Database for Developers
  ☆45Updated 2 months ago