Security Writeups

A collection of summaries I've written on software vulnerabilities. A mentor of mine suggested building a library of security writeups so that I can hit home the importance of Formal Verification to those who doubt its significance to computer security.