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

Name: A tale of two models: formal analysis of KEMTLS in Tamarin
Start: 2022-09-27T15:00:00+02:00
End: 2022-09-27T15:20:00+02:00
Location: DGI Byen CPH Conference Center

Thom Wiggers

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

Senior Cryptography Researcher

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