![](/images/graphics-bg.png)
Proof-Carrying Hardware : Concept and Prototype Tool Flow for Online Verification
Joint Authors
Drzevitzky, Stephanie
Platzner, Marco
Kastens, Uwe
Source
International Journal of Reconfigurable Computing
Issue
Vol. 2010, Issue 2010 (31 Dec. 2010), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2011-03-03
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Information Technology and Computer Science
Abstract EN
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.
American Psychological Association (APA)
Drzevitzky, Stephanie& Kastens, Uwe& Platzner, Marco. 2011. Proof-Carrying Hardware : Concept and Prototype Tool Flow for Online Verification. International Journal of Reconfigurable Computing،Vol. 2010, no. 2010, pp.1-11.
https://search.emarefa.net/detail/BIM-452301
Modern Language Association (MLA)
Drzevitzky, Stephanie…[et al.]. Proof-Carrying Hardware : Concept and Prototype Tool Flow for Online Verification. International Journal of Reconfigurable Computing No. 2010 (2010), pp.1-11.
https://search.emarefa.net/detail/BIM-452301
American Medical Association (AMA)
Drzevitzky, Stephanie& Kastens, Uwe& Platzner, Marco. Proof-Carrying Hardware : Concept and Prototype Tool Flow for Online Verification. International Journal of Reconfigurable Computing. 2011. Vol. 2010, no. 2010, pp.1-11.
https://search.emarefa.net/detail/BIM-452301
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-452301