Cloudflare Internship
If you’re curious about some of the things I’ve worked on while at Cloudflare, see this post on Cloudflare’s internal blog.
Building confidence in cryptographic protocols
An introduction to formal analysis and our proof of the security of KEMTLS.
Implementing and Measuring KEMTLS
KEMTLS (CCS 2020) is a novel alternative to the Transport Layer Security (TLS) handshake that integrates post-quantum algorithms. It uses a key encapsulation mechanism (KEM) for …
Sofía Celi