publication
2021
Implementing and measuring KEMTLS
cryptographymeasurement
External collaborator on Cloudflare Research publications.
Sofía Celi
External Collaborator
Biography
publication
2021
Post-quantum TLS without handshake signatures
cryptography
publication
2022
A tale of two models: Formal verification of KEMTLS via Tamarin
cryptography
publication
2024
RFC 9578: Privacy Pass Issuance Protocols
cryptographyprotocols
publication
2022
A Fast and Simple Partially Oblivious PRF, with Applications
cryptography