Name
Abstract | ||
|---|---|---|
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trusted systems. Unfortunately, this goal remains today an unfulfilled challenge, as even the most straightforward practical designs are released with latent bugs. Patching techniques can repair some of these escaped bugs, however, they often incur a performance overhead, and most importantly, they can only be deployed after an escaped bug has been exposed at the customer site. In this paper we present a novel approach to guaranteeing correct system operation by deploying a semantic guardian component. The semantic guardian is an additional control logic block which is included in the design, and can switch the microprocessor's mode of operation from its normal, high-performance but error-prone mode, to a a secure, formally verified safe mode, guaranteing that the execution will be functionally correct. We explore several frameworks where a selective use of the safe mode can enhance the overall functional correctness of a processor. Additionally, we observe through experimentation that semantic guardians facilitate the trade-off between the design validation effort and the performance and area cost of the final secure product. The-experimental results show that the area cost and performance overheads of a semantic guardian can be as small as 3.5% and 5%, respectively. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/DATE.2007.364684 | DATE |
Keywords | Field | DocType |
safe mode,functional correctness,engineering trust,area cost,final secure product,design validation effort,semantic guardian,performance overhead,semantic guardian component,error-prone mode,correct system operation,security,system on a chip,logic design,hardware,switches,computer bugs,computer architecture | Logic synthesis,System on a chip,Block cipher mode of operation,Computer science,Computer security,Correctness,Microprocessor,Real-time computing,Control logic,Guardian,Overhead (business),Embedded system | Conference |
ISSN | Citations | PageRank |
1530-1591 | 15 | 0.73 |
References | Authors | |
5 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ilya Wagner | 1 | 204 | 10.01 |
| Valeria Bertacco | 2 | 1365 | 86.93 |