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.