Abstract | ||
---|---|---|
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 present 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 verification problem applying the concept. We present a tool flow and experimental results demonstrating the feasibility and potential of the PCH approach. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ReConFig.2009.31 | Quintana Roo |
Keywords | Field | DocType |
pch concept,key concept,pch approach,software security,reconfigurable hardware domain,hardware module,reconfigurable modules,system security,novel approach,towards runtime verification,dynamically reconfigurable hardware,proof-carrying hardware,hardware performance,verification,reconfigurable hardware,security,reconfiguration,national security,prototypes,field programmable gate arrays,runtime verification,hardware | Formal equivalence checking,Software security assurance,Computer science,Field-programmable gate array,Real-time computing,Runtime verification,Proof-carrying code,Computer hardware,Control reconfiguration,Hardware modules,Embedded system,Reconfigurable computing | Conference |
ISBN | Citations | PageRank |
978-0-7695-3917-1 | 26 | 1.33 |
References | Authors | |
17 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephanie Drzevitzky | 1 | 42 | 2.42 |
Uwe Kastens | 2 | 406 | 55.65 |
Marco Platzner | 3 | 1188 | 116.17 |