loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
DARPA Information Survivability Conference and Exposition - Volume II
Washington, DC
April 22-April 24
ISBN: 0-7695-1897-4
ASCII Text
x 
 
Matt Stillerman, Dexter Kozen, "Efficient Code Certification for Open Firmware," DARPA Information Survivability Conference and Exposition,, vol. 2, pp. 147, DARPA Information Survivability Conference and Exposition - Volume II, 2003.
 
 
BibTex
x
 
@article{ 10.1109/DISCEX.2003.1194954,
author = {Matt Stillerman and Dexter Kozen},
title = {Efficient Code Certification for Open Firmware},
journal ={DARPA Information Survivability Conference and Exposition,},
volume = {2},
year = {2003},
issn = {2003102155},
pages = {147},
doi = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194954},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - DARPA Information Survivability Conference and Exposition,
TI - Efficient Code Certification for Open Firmware
SN - 2003102155
SP
EP
A1 - Matt Stillerman,
A1 - Dexter Kozen,
PY - 2003
KW - null
VL - 2
JA - DARPA Information Survivability Conference and Exposition,
ER -
 
Dexter Kozen, Cornell University
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.
Citation:
Matt Stillerman, Dexter Kozen, "Efficient Code Certification for Open Firmware," discex, vol. 2, pp.147, DARPA Information Survivability Conference and Exposition - Volume II, 2003
Usage of this product signifies your acceptance of the Terms of Use.