Title :
Efficient code certification for open firmware
Author :
Stillerman, Matt ; Kozen, Dexter
Author_Institution :
ATC-NY, Ithaca, NY, USA
Abstract :
BootSafe is a system for verifying the safety of boot firmware at load time. It employs inexpensive static checks of compiled code, based on the efficient code certification (ECC) technique. We demonstrate a prototype of the BootSafe system that verifies safety of fcode programs for use with open firmware compliant boot platforms.
Keywords :
firmware; program diagnostics; program verification; safety-critical software; BootSafe; boot firmware; code certification; compiled code; efficient code certification technique; fcode programs; open firmware; open firmware compliant boot platforms; static checks; Certification; Microprogramming;
Conference_Titel :
DARPA Information Survivability Conference and Exposition, 2003. Proceedings
Print_ISBN :
0-7695-1897-4
DOI :
10.1109/DISCEX.2003.1194954
