Writeups

How the bug was found, why the code was wrong, and what it took to prove it.