Using Formal Methods to Eliminate Exploitable Bugs • Kathleen Fisher • YOW! 2015 | GOTO Conferences | Podwise