The work of Tavis Ormandy has been a strong influence on my personal research program. Lately, our work on automatically finding divergent execution bugs was directly inspired by one of Tavis’ infinite loop vulnerability in openssl’s elliptic curve implementation. Hat tip 🎩