Using Emoji in (pdf)LaTex
I recently wanted to use Emoji in a paper, but I did not want to force my contributors into using LuaLaTeX or XeLaTeX (in which you can just use fancy fonts). So as a work around, …
Post-quantum TLS experiments
Recently, I have computed the sizes and measured the performance of post-quantum TLS (both PQ key exchange and post-quantum authentication). In these experiments, I have examined …
hxp 2022 (2023) CTF writeup
After I found myself in a vacation rental with Bas and Joost, we thought it would be fun to have a go at a few of hxp’s 2022 2023 ctf challenges as team #RU (long story relating to …
LaTeX Tips and Tricks
After a discussion on twitter I decided I should write down a few of the tips and tricks I’ve learnt over the years of writing papers and many other things in LaTeX.
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.
Making protocols post-quantum
Post-quantum key exchange and signature algorithms come with different trade-offs that we’re not used to. How do we handle that when updating protocols, and is this an opportunity …
Todoist, Omnifocus and Things 3 review
A brief overview of three to-do/project management apps.
KEMTLS on the Cryptography.fm podcast
Douglas and I appeared on Nadim's new podcast ‘Cryptography FM’ to talk about KEMTLS
Dissecting Proctorio
This article previously appeared in Thalia’s Thabloid, in the 2019–2020 issue number 5. It was written at the end of May and may not reflect current practice at Radboud University. …