Efficient code certification for open firmware

Language-Based Security for Malicious Mobile Code

“…In this project, we have developed a prototype called BootSafe [1,49]. The system operates in the context of the Open Firmware standard [26], an IEEE standard for boot firmware that was developed in the mid 1990's and is now in widespread use.…”