KEMTLS

IETF drafts that describe AuthKEM and AuthKEM-PSK

Makefile 3 1 7 0 Updated May 4, 2026

KEMTLS.org website

HTML 0 0 0 0 Updated Nov 6, 2024

Reference implementation of AuthKEM

Rust 2 898 0 0 Updated Apr 9, 2024

Rust 0Apache-2.0 50 0 0 Updated Mar 20, 2024

Archival copy of the KEMTLS local measurements client from the paper "Implementing and Measuring KEMTLS"

Go 0 2 0 0 Updated Apr 19, 2023

Go with Cloudflare experimental patches for KEMTLS support

Go 1BSD-3-Clause 122 0 0 Updated Apr 19, 2023

This is a Tamarin model of TLS 1.3

M4 9 18 0 0 Updated Apr 19, 2023

Tamarin proof for the KEMTLS protocol using the multi-stage AKE model

Makefile 14 1 0 0 Updated Apr 19, 2023

Archival version of the software from KEMTLS vs. Post-Quantum TLS: Performance on Embedded Systems

Python 0 4 0 0 Updated May 29, 2022

Navigation Menu