The program counter security model: Automatic detection and removal of control-flow side channel attacks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3935 LNCS, Issue , 2006, Pages 156-168

  Molnar, David ^a   Piotrowski, Matt ^a   Schultz, David ^b   Wagner, David ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR EXPONENTIATION; SECURITY MODEL; SIDE CHANNEL SECURITY; TIMING ATTACKS;

CODES (SYMBOLS); COMPUTER CRIME; CRYPTOGRAPHY; ERROR ANALYSIS; MATHEMATICAL MODELS; OPTIMIZATION;

SECURITY SYSTEMS;

EID: 33745813464     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11734727_14     Document Type: Conference Paper

References (33)

1. Johan Agat. Transforming Out Timing Leaks. In Proceedings on the 27th ACM Symposium on the Principles of Programming Languages, 2000.
2. Johan Agat. Type Based Techniques for Covert Channel Elimination and Register Allocation. PhD thesis, Chalmers University of Technology, 2001.
3. Luca Benini, Alberto Macii, Enrico Macii, Elvira Omerbegovic, Massimo Poncino, and Fabrizio Pro. A Novel Architecture for Power Maskable Arithmetic Units. In Proceedings of the 13th ACM Great Lakes symposium on VLSI, 2003.
4. Luca Benini, Alberto Macii, Enrico Macii, Elvira Omerbegovic, Massimo Poncino, and Fabrizio Pro. Energy-aware Design Techniques for Differential Power Analysis Protection. In Proceedings of the 40th conference on Design automation, 2003.
5. D.J. Bernstein. Cache-timing attacks on AES, 2005. http://cr.yp.to/papers.html#cachetiming.
6. John Black and Hector Urtubia. Side-Channel Attacks on Symmetric Encryption Schemes: The Case for Authenticated Encryption. In Proceedings of the 11th USENIX Security Symposium, 2002.
7. D. Bleichenbacher. Chosen ciphertext attacks against protocols based on RSA encryption standard PKCS #1. In CRYPTO, 1998.
8. Johannes Blomer, Jorge Guajardo Merchan, and Volker Krummel. Provably secure masking of AES. In SAC, 2004.
9. Dan Boneh and David Brumley. Remote Timing Attacks Are Practical. In Proceedings of the 12th USENIX Security Symposium, 2003.
10. Suresh Chari, Charanjit Jutla, Josyula R. Rao, and Pankaj Rohatgi. A Cautionary Note Regarding Evaluation of AES Candidates on Smart-Cards. In Proceedings of the Second AES Candidate Conference, 1999.
11. Jean-Sébastien Coron and Louis Goubin. On Boolean and Arithmetic Masking Against Differential Power Analysis. In Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems, 2000.
12. H. Handschuh and H. Keys. A timing attack on RC5. In Lecture Notes in Computer Science: Selected Areas in Cryptography, pages 306-318. Springer-Verlag, 1999.
13. Matthew Hennessy. The Semantics of Programming Languages: an Elementary Introduction using Structural Operational Semantics. John Wiley and Sons, New York, N.Y., 1990.
14. John Kelsey, Bruce Schneier, David Wagner, and Chris Hall. Side Channel Crypt-analysis of Product Ciphers. Journal of Computer Security, 8:141-158, 2000.
15. Vlastimil Klima, Ondrej Pokorny, and Tomas Rosa. Attacking RSA-based sessions in SSL/TLS. In CHES, 2003.
16. Vlastimil Klima and Tomas Rosa. Side channel attacks on CBC encrypted messages in the PKCS #7 format. Cryptology ePrint Archive, Report 2003/098, 2003. http://eprint.iacr.org/.
17. Paul Kocher. Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems. In Proceedings of the 16th Annual International Cryptology Conference, 1996.
18. Paul Kocher, Joshua Jaffe, and Benjamin Jun. Differential Power Analysis. In Proceedings of the 19th Annual International Cryptology Conference, 1999.
19. Butler W. Lampson. A Note on the Confinement Problem. Communications of the ACM, 16(10):613-615, 1973.
20. J. Manger. A chosen ciphertext attack on RSA optimal asymmetric encryption padding (OAEP) as standardized in PKCS #1 v2.0. In CRYPTO, 2001.
21. Thomas S. Messerges. Securing the AES Finalists Against Power Analysis Attacks. In Proceedings of the Fast Software Encryption Workshop, 2000.
22. Thomas S. Messerges, Ezzy A. Dabbish, and Robert H. Sloan. Investigations of Power Analysis Attacks on Smartcards. In Proceedings of the USENIX Workshop on Smartcard Technology, 1999.
23. Thomas S. Messerges, Ezzy A. Dabbish, and Robert H. Sloan. Power Analysis Attacks of Modular Exponentiation in Smartcards. In Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems, 1999.
24. Silvio Micali and Leo Reyzin. Physically observable cryptography. In Theory of Cryptography, 2004.
25. Bodo Möller. Security of CBC ciphersuites in SSL/TLS: Problems and counter-measures, May 2004. http://www.openssl.org/~bodo/tls-cbc.txt.
26. David Molnar, Matt Piotrowski, David Schultz, and David Wagner. The program counter security model: Automatic detection and removal of control-flow side channel attacks (Full Version), 2005. IACR eprint archive report 2005/368.
27. George Necula, Scott McPeak, S.P. Rahul, and Westley Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Proceedings of the Conference on Compilier Construction, 2002.
28. Patrick Rakers, Larry Connell, Tim Collins, and Dan Russell. Secure Contactless Smartcard ASIC with DPA Protection. In Proceedings of the Custom Integrated Circuits Conference, 2000.
29. Andrei Sabelfeld and Andrew C. Myers. Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, 2003.
30. Adi Shamir. Protecting Smart Cards from Passive Power Analysis with Detached Power Supplies. In Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems, 2000.
31. Vincent Simonet. Flowcaml, 2005. http://cristal.inria.fr/~simonet/soft/flowcaml/.
32. S. Vaudenay. Security flaws induced by CBC padding - applications to SSL, IPSEC, WTLS... In EUROCRYPT, 2002.
33. Lantian Zheng and Andrew Myers. End-to-end availability policies and noninterference, 2005. Computer Security Foundations Workshop.