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

Computer software.
Tufts University. Department of Computer Science.
Permanent URL
Original publication
Fisher, Kathleen. "Using Formal Methods to Eliminate Exploitable Bugs." Presentation at 24th USENIX Security Symposium, Washington D.C., August 13, 2015.
ID: tufts:18334
To Cite: DCA Citation Guide
Usage: Detailed Rights