publication
2021
Post-quantum TLS without handshake signatures
cryptography
External collaborator on Cloudflare Research publications.
Douglas Stebila
External Collaborator
Biography
publication
2022
A tale of two models: Formal verification of KEMTLS via Tamarin
cryptography
publication
2015
An analysis of TLS handshake proxying
cryptographyauthentication