Tamper-resistant whole program partitioning

ACM SIGPLAN Notices

Volumn 38, Issue 7, 2003, Pages 209-219

  Zhang, Tao ^a   Pande, Santosh ^a   Valverde, Antonio ^b  

^a Georgia Institute of Technology   (United States)

^b INFINEON TECHNOLOGIES AG   (Germany)

Author keywords

Mobile code; Program partitioning; Smart card; Tamper resistance

Indexed keywords

ALGORITHMS; CACHE MEMORY; COMPUTER SOFTWARE; CRYPTOGRAPHY; SECURITY OF DATA; SMART CARDS;

MOBILE CODE; PROGRAM PARTITIONING; TAMPER RESISTANCE;

STORAGE ALLOCATION (COMPUTER);

EID: 1542346135     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.780762     Document Type: Conference Paper

References (17)

1. Tao Zhang, Santosh Pande, Andre Dos Santos, Franz-Josef Bruecklmayer, Leakage-Proof Program Partitioning. In Proceeding of International Conference on Compiler, Architecture and Synthesis for Embedded Systems (CASES 2002), pages 136-145, Grenoble, France, October 2002.
2. Jason Tey, Study on Multi-Application Smart Card, http://web.singnet.com.sg/~jasontey/project.htm
3. P.C. Kocher, Timing attacks on implementations of Die-Hellman, RSA, DSS, and other systems, Proceedings Crypto'96, LNCS 1109, Springer-Verlag 1996, 104-113.
4. P.C. Kocher, J. Jaffe and B. Jun, Differential Power Analysis, Crypto '99.
5. Standard SUIF Compiler Infrastructure, The SUIF 2 compiler documentation set, Stanford University, Sep.2000. http://suif.stanford.edu/suif/index.html.
6. Mach-SUIF Backend Compiler, The Machine-SUIF 2.1 compiler documentation set. Harvard University, Sep. 2000, http://ececs.harvard.edu/hube/research/machsuif.html.
7. B. Steensgaard. Points-to analysis in almost linear time. In Conference Record of the 23th Annual ACM Symposium on Principles of Programming Languages (POPL'96), pages 32-41. ACM Press, January 1996.
8. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995.
9. http://wwww.arm.com/app.nsf/html/security?OpenDocument&style= ARM_Powered_Products
10. M.R. Guthaus et al. "MiBench: A Free, Commercially representative Embedded Benchmark Suite." In the Fourth IEEE Workshop on Workload Characterization, Dec. 2001.
11. H. Handschuh, P. Pallier, and J. Stern, Probing attacks on tamper-resistant devices, Proceedings of CHES '99, Lecture Notes in Computer Science, vol. 1717, Springer-Verlag, 1999, pp. 303-315.
12. O. Kemmerling and M. G. Kuhn, Design principles for tamper-resistant smartcard processors, Proceedings of USENIX Workshop on Smartcard Technology, 1999, pp. 9-20.
13. Ross Anderson, Markus Kuhn, Tamper Resistance - a Cautionary Note, proceedings of the Second Usenix Workshop on Electronic Commerce, pp. 1-11, November 1996
14. T. S. Messerges, E. A. Dabbish, and R. H. Sloan, Investigations of power analysis attacks on smartcards, Proceedings of USENIX Workshop on Smartcard Technology, 1999, pp. 151 161.
15. D. Boneh, R. A. DeMillo, and R. J. Lipton, On the importance of checking cryptographic protocols for faults, Proceedings of EUROCRYPT '97 (W. Fumy, ed.), Lecture Notes in Computer Science, vol. 1233, Springer-Verlag, 1997, pp. 37-51.
16. Christian Collberg, Clark Thomborson, and Douglas Low. A taxonomy of obfuscating transformations. Technical Report 148, Department of Computer Science, University of Auckland, July 1997.
17. D. Aucsmith, Tamper Resistant Software: An Implementation, Information Hiding: 1st Int. Workshop (Lecture Notes in Computer Science), vol. 1174, R.J. Anderson, Editor, Springer, Verlag, 1996, Berlin, pp.317-333.