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

Thom Wiggers
Project Slides

Date
2022-09-27 15:00 — 15:20
Event
ESORICS 2022
Location
DGI Byen CPH Conference Center
Tietgensgade 65
1704 København
Denmark
research KEMTLS
Thom Wiggers
Thom Wiggers
Senior Cryptography Researcher

My research interests include (post-quantum) cryptography and protocols