Using Formal Methods to Eliminate Exploitable Bugs.

Fisher, Kathleen M.


  • For decades, formal methods have offered the promise of software that doesn't have exploitable bugs. Until recently, however, it hasn't been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed. SeL4 is an open-source operating system microkernel efficient enough to be used in a wide range of practical applications. It has been proven to be fully ... read more
This object is in collection Creator department Subject Permanent URL Citation
  • Fisher, Kathleen. "Using Formal Methods to Eliminate Exploitable Bugs." Presentation at 24th USENIX Security Symposium, Washington D.C., August 13, 2015.
To Cite:
TARC Citation Guide    EndNote
Detailed Rights