Recent & Upcoming Events

2022

A tale of two models: formal analysis of KEMTLS in Tamarin

Conference presentation of our KEMTLS formal analysis paper at ESORICS 2022

2022-09-27 15:00 — 15:20 DGI Byen CPH Conference Center

2021

Conference talk about KEMTLS-PDK

2021-10-07 15:15 — 16:30 Virtual

KEMTLS: securing TLS connections from quantum adversaries

Talk about KEMTLS on Cloudflare TV

2021-03-29 14:00 — 14:30 Virtual

Thom Wiggers, Sofía Celi

Post-Quantum TLS without handshake signatures at RWC 2021

Talk about Post-Quantum TLS without Handshake Signatures at RWC 2021 (virtual).

2021-01-11 18:15 Virtual

Thom Wiggers, Sofía Celi

2020

Post-Quantum TLS without handshake signatures

Conference talk about Post-Quantum TLS without Handshake Signatures at ACM CCS (virtual).

2020-11-09 — 2020-11-13 Virtual

Post-Quantum TLS without handshake signatures

Talk about Post-Quantum TLS without Handshake Signatures at the Lorentz Workshop (virtual)

2020-10-05 — 2020-10-09 Virtual