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 runtime provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenge...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2010-01-01
|
| Series: | International Journal of Reconfigurable Computing |
| Online Access: | http://dx.doi.org/10.1155/2010/180242 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Dynamically reconfigurable hardware combines
hardware performance with software-like flexibility and finds
increasing use in networked systems. The capability to load
hardware modules at runtime provides these systems with an
unparalleled degree of adaptivity but at the same time poses
new challenges for security and safety.
In this paper, we 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. We outline the PCH concept and discuss runtime
combinational equivalence checking as a first online verification
problem applying the concept. We present a prototype tool
flow and experimental results demonstrating the feasibility and
potential of the PCH approach. |
|---|---|
| ISSN: | 1687-7195 1687-7209 |