A tale of two models: formal analysis of KEMTLS in Tamarin
2022-09-27·
·
0 min read
Thom Wiggers
Present (fullscreen)
S
for speaker notes
Date
2022-09-27 15:00 — 15:20
Event
Location
DGI Byen CPH Conference Center
Tietgensgade 65, København, 1704
Authors
Senior Cryptography Researcher
Thom Wiggers is a cryptography researcher at PQShield.
His PhD thesis was on the interactions of post-quantum cryptography with protocols, under the supervision of Peter Schwabe, at the Institute of Computing and Information Sciences, Radboud University in The Netherlands.