Abstract:
Secure processors have been recently introduced, which enable new applications involving software anti-piracy, program execution certification, and secure mobile agents. Secure processors have built-in hardware support for cryptographic mechanisms and can prevent both software attacks and physical attacks. Several recent papers have shown how to construct a secure processor to protect the confidentiality [1][2][3]and integrity[4][3] of a program. The proposed designs are immune from spoofing, splicing and replay attacks. However, none of the previous work is able to address the attacks due to information leakage on the address bus. Dangers due to information leakage on the address bus have been acknowledged to be an important as well as a difficult problem[1]. In fact, in [4]this problem is actually the trigger of the replay attack described.
Citations
|
1253
|
The Simplescalar toolset, version 2.0
– Burger, Austin
- 1997
|
|
157
|
Low cost attacks on tamper resistant devices
– Anderson, Kuhn
- 1997
|
|
80
|
Software Protection and Simulation on Oblivious RAMs
– Goldreich, Ostrovsky
- 1996
|
|
77
|
An algorithm for subgraph isomorphism
– Ullman
- 1976
|
|
55
|
Side channel cryptanalysis of product ciphers
– Kelsey, Schneier, et al.
- 2000
|
|
54
|
Aegis: architecture for tamper-evident and tamper-resistant processing
– Suh, Clarke, et al.
- 2003
|
|
33
|
Fast Secure Processor for Inhibiting Software Piracy and Tampering
– Yang, Zhang, et al.
- 2003
|
|
30
|
Efficient Memory Integrity Verification and Encryption for Secure Processors
– Suh, Clarke, et al.
- 2003
|
|
28
|
Towards a Theory of Software Protection and Simulation by Oblivious RAMs
– Goldreich
- 1987
|
|
27
|
Timing attacks on implementations
– Kocher
- 1996
|
|
21
|
Caches and Hash Trees for Efficient Memory Integrity Verification
– Gassend, Suh, et al.
- 2003
|
|
21
|
Keeping secrets in hardware: The Microsoft Xbox case study
– Huang
- 2002
|
|
16
|
Specifying and Verifying Hardware for Tamper-Resistant
– Lie, Mitchell, et al.
- 2003
|
|
13
|
Cipher instruction search attack on the bus-encryption security microcontroller ds5002fp
– Kuhn
- 1998
|
