Case studies

Problems I found, fixed and proved

Anonymized write-ups from client work. Each one: what I saw, what I decided, and how I proved it.