Using Formal Methods to Eliminate Exploitable Bugs.

Fisher, Kathleen M.
2015

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

Subjects
Conferences.
Computer software.
Tufts University. Department of Computer Science.
Permanent URL
http://hdl.handle.net/10427/009770
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