Alternatives and similar repositories for qkd_kme_server

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

• veorq / awesome-post-quantum
  A curated list of resources about post-quantum cryptography.
  ☆324Updated 2 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆152Updated this week
• Crypto-TII / CryptographicEstimators
  This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cry…
  ☆48Updated this week
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆94Updated this week
• arnika-project / arnika
  Arnika - Quantum secure VPN
  ☆20Updated last month
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆62Updated last week
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆67Updated last month
• xvzcf / pq-tls-benchmark
  Code and data for benchmarking post-quantum cryptography in TLS 1.3
  ☆20Updated 4 years ago
• scionproto / scion
  SCION Internet Architecture
  ☆447Updated 2 weeks ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆55Updated 2 weeks ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆302Updated last week
• sandbox-quantum / sandwich
  Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cry…
  ☆120Updated 2 months ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• mhostetter / galois
  A performant NumPy extension for Galois fields and their applications
  ☆414Updated 2 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆468Updated last month
• sphincs / sphincsplus
  The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project
  ☆177Updated last year
• itzmeanjan / ml-kem
  Module-Lattice-based Key Encapsulation Mechanism Standard by NIST i.e. FIPS 203
  ☆100Updated last month
• axdhill / ait-qkd
  ☆14Updated 8 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆31Updated last year
• Open-QKD-Network / qkd-net
  Protocol stack for QKD networks with key management
  ☆39Updated last month
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆359Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆60Updated 3 weeks ago
• open-quantum-safe / oqs-provider
  OpenSSL 3 provider containing post-quantum algorithms
  ☆377Updated last week
• mkannwischer / breaking-abc
  ☆23Updated 3 years ago
• pq-crystals / dilithium
  ☆491Updated 9 months ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆18Updated 4 months ago
• brunorijsman / openssl-qkd
  Code written during and in preparation for the First Pan-European Quantum Hackathon November 5-6 2019, organized by RIPE
  ☆26Updated 2 years ago
• rustpq / pqcrypto
  Rust Post-Quantum cryptography
  ☆329Updated last week
• kemtls / Tamarin-multi-stage-model
  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
  ☆13Updated 2 years ago
• mupq / pqm4
  Post-quantum crypto library for the ARM Cortex-M4
  ☆359Updated last month