Using Formal Methods to Eliminate Exploitable Bugs.

Fisher, Kathleen M.

2015

Description
  • 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 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.
ID:
s7526q950
To Cite:
DCA Citation Guide    EndNote
Usage:
Detailed Rights