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
Add a description, image, and links to the kemtls topic page so that developers can more easily learn about it.
To associate your repository with the kemtls topic, visit your repo's landing page and select "manage topics."