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

Thom Wiggers
Slides

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

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