Post-Quantum

In this talk, I explain that although the focus on and progress with post-quantum key exchange is great, that does not mean that we should relax about post-quantum authentication. Post-quantum authentication is going to be hard and expensive (in most importantly bandwidth), and this will likely remain the case.

The TLS protocol (famous for https://) is perhaps the most-used cryptographic protocol. As such, it is extremely important that it gets …

I gave a guest lecture on TLS and the challenges and ongoing efforts to make it work with post-quantum primitives.

We propose higher-security parametersets of CSIDH, and present highly-optimized implementations. We measure the performance when using these parameters in TLS, and show that the performance is likely not fast enough to consider using CSIDH with conservative parmeter sets.

Invited lecture about TLS, its history and making TLS post quantum. I also discuss KEMTLS.

An introduction to formal analysis and our proof of the security of KEMTLS.

We make KEMTLS more efficient in scenarios where the client already has the server’s long-term public key, for example through caching or because it’s pre-installed.

In this paper, we study implementations of post-quantum signature schemes on resource-constrained devices. We focus on verification of …

Talk about KEMTLS on Cloudflare TV

Talk about Post-Quantum TLS without Handshake Signatures at RWC 2021 (virtual).