Repositories list

• draft-celi-wiggers-tls-authkem

  Public
  IETF drafts that describe AuthKEM and AuthKEM-PSK

  tlssslpost-quantum-cryptography+ 5tls13hpketransport-layer-securitykemtlspost-quantum-kem

  Makefile

  •

  Other

  •1•3•7•0•Updated Nov 5, 2024Nov 5, 2024

• rustls-authkem

  Public
  Reference implementation of AuthKEM

  Rust

  •

  Other

  •644•0•0•0•Updated Apr 9, 2024Apr 9, 2024

• rustls-pki-types

  Public
  Rust

  •

  Apache License 2.0

  •30•0•0•0•Updated Mar 20, 2024Mar 20, 2024

• kemtls.github.io

  Public
  KEMTLS.org website

  HTML

  •0•0•0•0•Updated Feb 20, 2024Feb 20, 2024

• implementing-and-measuring-kemtls-KEMTLS-local-measurements

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

  Go

  •2•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• cloudflare-go-kemtls

  Public archive
  Go with Cloudflare experimental patches for KEMTLS support

  Go

  •

  BSD 3-Clause "New" or "Revised" License

  •50•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• KEMTLS-TLS13Tamarin

  Public
  This is a Tamarin model of TLS 1.3

  M4

  •17•6•0•0•Updated Apr 19, 2023Apr 19, 2023

• Tamarin-multi-stage-model

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

  tlscryptographytamarin+ 2formalverificationkemtls

  Makefile

  •1•10•0•0•Updated Apr 19, 2023Apr 19, 2023

• wolfssl-kemtls-experiments

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

  Python

  •3•0•0•0•Updated May 29, 2022May 29, 2022