Writing

I write about research, academia, computers, and communicating better.



How we prevent conflicts in authoritative DNS configuration using formal verification (Cloudflare)
November 08, 2024

My PhD Publication Stats
May 12, 2024

3 Professional Regrets From My PhD
February 7, 2024

What Every Programmer Should Know About TLS and the Web PKI (Part 0)
December 30, 2023

Highly Opinionated Advice for (CS) PhD Happiness
January 7, 2022

Understanding the Firecracker VMM
March 31, 2021

The Case of the Montenegro Certificate
December 4, 2020

CRLite: From Academia to Firefox Deployment
January 13, 2020