Selfie's Reflections on Formal Verification for TLS 1.3: Largely Opaque

This post has moved here.

On Encryption and Terrorists

This post has moved here.

Repairing a ThinkPad with a Corrupt Thunderbolt Firmware Chip

This post has moved here.