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!
|
| _version_ | 1849411591672430592 |
|---|---|
| author | Stephanie Drzevitzky Uwe Kastens Marco Platzner |
| author_facet | Stephanie Drzevitzky Uwe Kastens Marco Platzner |
| author_sort | Stephanie Drzevitzky |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-5d44f663c283410bb4c6d3ff6e379e6c |
| institution | Kabale University |
| issn | 1687-7195 1687-7209 |
| language | English |
| publishDate | 2010-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Reconfigurable Computing |
| spelling | doaj-art-5d44f663c283410bb4c6d3ff6e379e6c2025-08-20T03:34:44ZengWileyInternational Journal of Reconfigurable Computing1687-71951687-72092010-01-01201010.1155/2010/180242180242Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online VerificationStephanie Drzevitzky0Uwe Kastens1Marco Platzner2Department of Computer Science, Faculty for Electrical Engineering, Computer Science and Mathematics, Computer Engineering Group, Warburger Str. 100, 33098 Paderborn, GermanyDepartment of Computer Science, Faculty for Electrical Engineering, Computer Science and Mathematics, Computer Engineering Group, Warburger Str. 100, 33098 Paderborn, GermanyDepartment of Computer Science, Faculty for Electrical Engineering, Computer Science and Mathematics, Computer Engineering Group, Warburger Str. 100, 33098 Paderborn, GermanyDynamically 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.http://dx.doi.org/10.1155/2010/180242 |
| spellingShingle | Stephanie Drzevitzky Uwe Kastens Marco Platzner Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification International Journal of Reconfigurable Computing |
| title | Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification |
| title_full | Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification |
| title_fullStr | Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification |
| title_full_unstemmed | Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification |
| title_short | Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification |
| title_sort | proof carrying hardware concept and prototype tool flow for online verification |
| url | http://dx.doi.org/10.1155/2010/180242 |
| work_keys_str_mv | AT stephaniedrzevitzky proofcarryinghardwareconceptandprototypetoolflowforonlineverification AT uwekastens proofcarryinghardwareconceptandprototypetoolflowforonlineverification AT marcoplatzner proofcarryinghardwareconceptandprototypetoolflowforonlineverification |