De-Icer: Digital System Configuration Verification and Control

This proposal presents novel approaches for measuring, verifying, and assuring proper digital system configuration. The proposed research combines hardware and software to provide improved verification of trusted system components, including detecting circuit damage, electronic measuring probes and interposers, damaged firmware, and numerous other faults. The proposed research includes an interface with a hardware-assisted anti-tamper solution. Unwanted system configuration operations may be stopped or otherwise penalized with the proposed research. Phase I research will be performed on a commercial off the shelf (COTS) PC compatible system. However, the research is not in itself PC-specific, and may be applied to multiple systems architectures, including