Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in networked systems. The capability to load hardware modules at run-time provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenges for security and safety. In this paper, the authors elaborate on the presentation of Proof Carrying Hardware (PCH) as a novel approach to reconfigurable system security. PCH takes a key concept from software security, known as proof-carrying code, into the reconfigurable hardware domain.