ETSI GS QKD 014 v1.1.1-compliant KME server implementation for Quantum Key Distribution
☆30Sep 27, 2026Updated 3 weeks ago
Alternatives and similar repositories for qkd_kme_server
Users that are interested in qkd_kme_server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Arnika - Quantum secure VPN☆42Oct 4, 2026Updated 2 weeks ago
- Code written during and in preparation for the First Pan-European Quantum Hackathon November 5-6 2019, organized by RIPE☆32May 19, 2023Updated 3 years ago
- ☆15Sep 19, 2016Updated 10 years ago
- Protocol stack for QKD networks with key management☆51Updated this week
- Quantum Key Distribution Network Simulation Module (v2.0)☆35Oct 8, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Sep 9, 2021Updated 5 years ago
- An implementation of BGP (RFC 4271) written in Erlang (only < 10% done)☆16Jul 2, 2009Updated 17 years ago
- YANG Compiler for JUNOS☆12Aug 16, 2018Updated 8 years ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Application Development Kit for Quantum Network Explorer. Command Line Interface to interact with the Quantum Network Explorer☆14Jan 27, 2025Updated last year
- EDHOC (RFC 9528): Lightweight authenticated key exchange in C for constrained IoT devices, post-quantum ready☆24Sep 25, 2026Updated 3 weeks ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆38May 30, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- ☆15Aug 29, 2022Updated 4 years ago
- The CQC library written in Python☆22Jun 26, 2020Updated 6 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- MLKEM implementation optimized for embedded microcontrollers☆30Dec 1, 2025Updated 10 months ago
- A collection of code for a practical entanglement-based quantum key distribution system☆18Apr 24, 2026Updated 5 months ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- a modern DNS record editor for PowerDNS.☆38Mar 13, 2023Updated 3 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated 2 years ago
- additional openwrt packages for berlin☆13Mar 19, 2022Updated 4 years ago
- NACHO - National Automated Clearing House Objects, a C# library for the NACHA ACH input file structure☆14Aug 6, 2021Updated 5 years ago
- Quick Mesh Project (http://qmp.cat)☆10Jul 20, 2017Updated 9 years ago
- BGP routing security observability — BMP + RPKI ROV + ASPA path validation in a single binary☆29Updated this week
- Quditto is a tool that allows deploying digital twins of QKD networks over classical infrastructure☆25Feb 19, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Quantum Open Software for Secure Transmissions☆23Jun 29, 2024Updated 2 years ago
- a proof-of-concept of a diverse double compilation☆12Feb 10, 2026Updated 8 months ago
- ☆12Sep 3, 2018Updated 8 years ago
- Heltec Cubecell: development platform for PlatformIO☆12Apr 8, 2024Updated 2 years ago
- Scripts and other open-source tools to be used with the LANforge software suite.☆23Oct 9, 2026Updated last week
- A Wire-alike library that can be used as a drop-in for the Wire library☆12Dec 4, 2025Updated 10 months ago
- Simple alfred client with JSON output☆12Apr 20, 2016Updated 10 years ago