Algebraic side-channel analysis in the presence of errors

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

Volumn 6225 LNCS, Issue , 2010, Pages 428-442

  Oren, Yossef ^a   Kirschbaum, Mario ^b   Popp, Thomas ^b   Wool, Avishai ^a  

^a TEL AVIV UNIVERSITY   (Israel)

^b GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Algebraic attacks; Power analysis; Pseudo Boolean optimization; Side channel attacks

Indexed keywords

ALGEBRA; EMBEDDED SYSTEMS; ERROR ANALYSIS; FORMAL LOGIC; MEASUREMENT ERRORS; TRACE ANALYSIS;

ALGEBRAIC ATTACK; ALGEBRAIC METHOD; BOOLEAN SATISFIABILITY; NATURAL REPRESENTATION; OPTIMIZATION PROBLEMS; POWER ANALYSIS; PSEUDO-BOOLEAN OPTIMIZATION; SIDE-CHANNEL ANALYSIS;

SIDE CHANNEL ATTACK;

EID: 78049331666     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15031-9_29     Document Type: Conference Paper

References (21)

1. IEEE standard VHDL language reference manual. IEEE Std 1076-2008 (Revision of IEEE Std 1076-2002), pp. c1-626 (26, 2009)
2. Achterberg, T.: Constraint Integer Programming. PhD thesis, Technische Universität Berlin (2007)
3. Berthold, T., Heinz, S., Pfetsch, M. E., Winkler, M.: SCIP-solving constraint integer programs. In: SAT 2009 competitive events booklet (2009)
4. Berthold, T., Heinz, S., Pfetsch, M. E.: Nonlinear pseudo-boolean optimization: Relaxation or propagation? In: Kullmann, O. (ed.) SAT 2009. LNCS, vol. 5584, pp. 441-446. Springer, Heidelberg (2009)
5. Bertsimas, D., Weismantel, R.: Optimization Over Integers. Dynamic Ideas (2005)
6. Canright, D.: A very compact S-Box for AES. In: Rao, J. R., Sunar, B. (eds.) CHES 2005. LNCS, vol. 3659, pp. 441-455. Springer, Heidelberg (2005)
7. Courtois, N., Bard, G. V., Wagner, D.: Algebraic and slide attacks on KeeLoq. In: Nyberg, K. (ed.) FSE 2008. LNCS, vol. 5086, pp. 97-115. Springer, Heidelberg (2008)
8. Daemen, J., Rijmen, V.: AES proposal: Rijndael (1998)
9. Dawson, S.: Code hopping decoder using a PIC16C56. Microchip confidential, leaked online in 2002(1998)
10. Eisenbarth, T., Kasper, T., Moradi, A., Paar, C., Salmasizadeh, M., Manzuri Shalmani, M. T.: On the power of power analysis in the real world: A complete break of the Keeloq code hopping scheme. In: Wagner, D. (ed.) CRYPTO 2008. LNCS, vol. 5157, pp. 203-220. Springer, Heidelberg (2008)
11. Karlof, C., Wagner, D.: Hidden Markov model cryptoanalysis. In: Walter, C. D., Koç, Ç. K., Paar, C. (eds.) CHES 2003. LNCS, vol. 2779, pp. 17-34. Springer, Heidelberg (2003)
12. Kocher, P. C., Jaffe, J., Jun, B.: Differential power analysis. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol. 1666, pp. 388-397. Springer, Heidelberg (1999)
13. Mangard, S.: A simple power-analysis (SPA) attack on implementations of the AES key expansion. In: Lee, P. J., Lim, C. H. (eds.) ICISC 2002. LNCS, vol. 2587, pp. 343-358. Springer, Heidelberg (2003)
14. Mangard, S., Oswald, E., Popp, T.: Power Analysis Attacks: Revealing the Secrets of Smart Cards (Advances in Information Security). Springer, New York (2007)
15. Manquinho, V., Roussel, O.: Pseudo-boolean competition 2009 (July 2009)
16. Massacci, F., Marraro, L.: Logical cryptanalysis as a SAT problem. J. Autom. Reason. 24 (1-2), 165-203 (2000)
17. Potlapally, N. R., Raghunathan, A., Ravi, S., Jha, N. K., Lee, R. B.: Aiding sidechannel attacks on cryptographic software with satisfiability-based analysis. IEEE Trans. on VLSI Systems 15(4), 465-470 (2007)
18. Renauld, M., Standaert, F.-X., Veyrat-Charvillon, N.: Algebraic side-channel attacks on the AES: Why time also matters in DPA. In: Clavier, C., Gaj, K. (eds.) CHES 2009. LNCS, vol. 5747, pp. 97-111. Springer, Heidelberg (2009)
19. Satyanarayana, H.: AES128 package (December 2004)
20. Viterbi, A.: Error bounds for convolutional codes and an asymptotically optimum decoding algorithm. IEEE Transactions on Information Theory 13(2), 260-269 (1967)
21. Wunderling, R.: Paralleler und objektorientierter Simplex-Algorithmus. PhD thesis, Technische Universität Berlin (1996)