Experimental implementation of KEMTLS in Rustls
-
Updated
Apr 22, 2026 - Python
Experimental implementation of KEMTLS in Rustls
Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
Auxiliary material for the paper: "Optimizations and Practicality of High-Security CSIDH"
IETF drafts that describe AuthKEM and AuthKEM-PSK
Post-quantum secure OpenID Connect using KEMTLS — ML-KEM-768 key exchange, ML-DSA-65 signed tokens, AES-256-GCM channel. HackIITK 2026 finalist.
Post-quantum TLS simulation comparing KEMTLS with classical TLS using OQS, OpenSSL, and Python
SPIRALKEM-FHE — PURE-φ POST-QUANTUM KEM Chaotic Chain Integrity | 128-Byte Ciphertext Zero liboqs. Zero SEAL. Pure C + OpenSSL.
To associate your repository with the kemtls topic, visit your repo's landing page and select "manage topics."