thomasarmel / qkd_kme_serverLinks
ETSI GS QKD 014 v1.1.1-compliant KME server implementation for Quantum Key Distribution
☆22Updated last month
Alternatives and similar repositories for qkd_kme_server
Users that are interested in qkd_kme_server are comparing it to the libraries listed below
Sorting:
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆126Updated this week
- The formally verified crypto library for Rust☆190Updated this week
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Code and data for benchmarking post-quantum cryptography in TLS 1.3☆22Updated 4 years ago
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- A list of the state of IETF protocols and PQC☆73Updated 6 months ago
- ☆33Updated 3 months ago
- A curated list of resources about post-quantum cryptography.☆355Updated 4 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 months ago
- Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cry…☆119Updated 7 months ago
- Post-quantum cryptography certificates☆76Updated last month
- Lean cryptographic library usable for bare-metal environments☆81Updated this week
- Language for high-assurance and high-speed cryptography☆324Updated this week
- ☆17Updated 4 months ago
- Bottom-up memory-safety for assembly language using symbolic execution☆15Updated last month
- ☆80Updated last month
- Supersingular Isogeny-Based Cryptography constructions (python-code library)☆51Updated 3 years ago
- Arnika - Quantum secure VPN☆27Updated last month
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆91Updated 2 months ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 7 months ago
- ☆11Updated 2 years ago
- Code written during and in preparation for the First Pan-European Quantum Hackathon November 5-6 2019, organized by RIPE☆29Updated 2 years ago
- Crypto library☆67Updated last month
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Updated 9 months ago
- A tool for verifying game-hopping proofs☆15Updated 8 months ago
- ☆14Updated 8 months ago
- ☆196Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆379Updated last week
- SCION Internet Architecture☆477Updated last week
- A Rust verification tool☆356Updated this week