1:12:53USENIX Security '15 - Using Formal Methods to Eliminate Exploitable BugsUSENIX205 viewsView & Download
1:04:49Kathleen Fisher: Using Formal Methods to Eliminate Exploitable BugsChalmers Functional Programming Seminar Series3.7K viewsView & Download
49:34BOB Summer 2019 - Kathleen Fisher, Using Formal Methods to Eliminate Exploitable BugsBOBKonf89 viewsView & Download
46:30Using Formal Methods to Eliminate Exploitable Bugs • Kathleen Fisher • YOW! 2015GOTO Conferences2.1K viewsView & Download