Thom Wiggers
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
Blog posts
- Post-quantumify internal services: Logfwrdr, Tunnel, and gokeyless
- Building Confidence in Cryptographic Protocols
- Making protocols post-quantum
- KEMTLS: Post-quantum TLS without signatures