Cloudflare Research logo
 
Thom Wiggers Thom Wiggers
grey cloud FORMER INTERN

Projects

Publications

2022A tale of two models: Formal verification of KEMTLS via Tamarin

27th European Symposium on Research in Computer Security (ESORICS) 2022, Denmark. 2022.
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers

2021Implementing and measuring KEMTLS

Progress in Cryptology – LATINCRYPT 2021, Lecture Notes in Computer Science(), vol 12912. Springer, 2021.
Sofía Celi, Armando Faz-Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood

2021Post-quantum TLS without handshake signatures

Real World Crypto Symposium 2021. Virtual. January 2021.
Sofía Celi, Armando Faz-Hernandez, Peter Schwabe, Douglas Stebila, Thom Wiggers