KEMTLS's repositories
Tamarin-multi-stage-model
Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
KEMTLS-TLS13Tamarin
This is a Tamarin model of TLS 1.3
draft-celi-wiggers-tls-authkem
IETF drafts that describe AuthKEM and AuthKEM-PSK
cloudflare-go-kemtls
Go with Cloudflare experimental patches for KEMTLS support
Language:GoBSD-3-Clause000
implementing-and-measuring-kemtls-KEMTLS-local-measurements
Archival copy of the KEMTLS local measurements client from the paper "Implementing and Measuring KEMTLS"
Language:Go000
kemtls.github.io
KEMTLS.org website
rustls-authkem
Reference implementation of AuthKEM
Language:RustNOASSERTION000
Language:RustApache-2.0000
wolfssl-kemtls-experiments
Archival version of the software from KEMTLS vs. Post-Quantum TLS: Performance on Embedded Systems
Language:Python000