An information-theoretic model for adaptive side-channel attacks

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2007, Pages 286-296

  Köpf, Boris ^a   Basin, David ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION TECHNIQUES; CRYPTOGRAPHIC FUNCTIONS; HARDWARE IMPLEMENTATIONS; INFORMATION-THEORETIC METRICS; POWER ATTACKS; SIDE CHANNEL ATTACK; SIDE-CHANNEL; THEORETIC MODEL;

CRYPTOGRAPHY; HARDWARE; INFORMATION THEORY; UNCERTAINTY ANALYSIS;

APPROXIMATION ALGORITHMS;

EID: 67650696756     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1315245.1315282     Document Type: Conference Paper

References (40)

1. J. Agat. Transforming out Timing Leaks. In Proc. POPL '00, pages 40-53. ACM.
2. G. Barthe, T. Rezk, and M. Warnier. Preventing Timing Leaks Through Transactional Branching Instructions. In Proc. QAPL '05, ENTCS, pages 33-55. Elsevier.
3. G. Basharin. On a Statistical Estimate for the Entropy of a Sequence of Independent Random Variables. Theory Probab. Appl., 47:333-336, 1959.
4. T. Batu, S. Dasgupta, R. Kumar, and R. Rubinfeld. The complexity of approximating entropy. In Proc. STOC '02, pages 678-687. ACM, 2002.
5. R. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, second edition, 1998.
6. D. Boneh and D. Brumley. Remote Timing Attacks are Practical. In Proc. USENIX Security Symposium '03.
7. C. Cachin. Entropy Measures and Unconditional Security in Cryptography. PhD thesis, ETH Zürich, 1997.
8. J. Cathalo, F. Koeune, and J.-J. Quisquater. A New Type of Timing Attack: Application to GPS. In Proc. CARDIS '03, LNCS 2779, pages 291-303. Springer.
9. S. Chari, C. S. Jutla, J. R. Rao, and P. Rohatgi. Towards Sound Approaches to Counteract Power-Analysis Attacks. In Proc. CRYPTO '99, LNCS 1666, pages 398-412. Springer.
10. S. Chari, J. R. Rao, and P. Rohatgi. Template Attacks. In Proc. CHES '02, LNCS 2523, pages 13-28. Springer.
11. D. Clark, S. Hunt, and P. Malacaria. Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput., 18 (2):181-199, 2005.
12. M. Clarkson, A. Myers, and F. Schneider. Belief in Information Flow. In Proc. CSFW '05, pages 31-45. IEEE.
13. T. H. Cormen, C. Stein, R. L. Rivest, and C. E. Leiserson. Introduction to Algorithms. McGraw-Hill Higher Education, second edition, 2001.
14. M. Davio, J. P. Deschamps, and A. Thayse. Digital Systems with Algorithm Implementation. John Wiley & Sons, Inc., 1983.
15. K. Gandolfi, C. Mourtel, and F. Olivier. Electromagnetic analysis: Concrete results. In Proc. CHES '01, LNCS 2162, pages 251-261. Springer.
16. J. W. Gray. Toward a Mathematical Foundation for Information Flow Security. JCS, 1 (3-4): 255-294, 1992.
17. D. Hedin and D. Sands. Timing Aware Information Flow Security for a JavaCard-like Bytecode. In BYTECODE '05, ENTCS. Elsevier.
18. P. Kocher. Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems. In Proc. CRYPTO '96, LNCS 1109, pages 104-113. Springer.
19. P. Kocher, J. Jaffe, and B. Jun. Differential Power Analysis. In Proc. CRYPTO '99, LNCS 1666, pages 388-397. Springer.
20. B. Köpf and D. Basin. Timing-Sensitive Information Flow Analysis for Synchronous Systems. In Proc. ESORICS '06, LNCS 4189, pages 243-262. Springer.
21. G. Lowe. Quantifying Information Flow. In Proc. CSFW '02, pages 18-31. IEEE.
22. J. L. Massey. Guessing and Entropy. In Proc. IEEE Int. Symp. on Info. Th. '94, page 204. IEEE.
23. A. Menezes, P. van Oorschot, and S. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
24. T. S. Messerges, E. A. Dabbish, and R. H. Sloan. Power Analysis Attacks of Modular Exponentiation in Smartcards. In Proc. CHES '99, LNCS 1717, pages 144-157. Springer.
25. S. Micali and L. Reyzin. Physically Observable Cryptography (Extended Abstract). In Proc. TCC '04, LNCS 2951, pages 278-296. Springer.
26. J. K. Millen. Covert Channel Capacity. In Proc. IEEE Symp. on Security and Privacy '87, pages 60-66. IEEE.
27. F. N. Najm. A Survey of Power Estimation Techniques in VLSI Circuits. IEEE Transactions on VLSI Systems, 2 (4):446-455, 1994.
28. D. A. Osvik, A. Shamir, and E. Tromer. Cache Attacks and Countermeasures: the Case of AES. In Proc. CT-RSA '06, LNCS 3860, pages 1-20. Springer.
29. A. D. Pierro, C. Hankin, and H. Wiklicky. Approximate Non-Interference. In Proc. CSFW '02, pages 3-17. IEEE.
30. J. O. Pliam. On the Incomparability of Entropy and Marginal Guesswork in Brute-Force Attacks. In Proc. INDOCRYPT '00, LNCS 1977, pages 67-79. Springer.
31. J.-J. Quisquater and D. Samyde. ElectroMagnetic Analysis (EMA): Measures and Couter-Measures for Smard Cards. In Proc. E-smart '01, LNCS 2140, pages 200-210. Springer.
32. A. Sabelfeld and D. Sands. Probabilistic Noninterference for Multi-threaded Programs. In Proc. CSFW '00, pages 200-215. IEEE.
33. P. Schaumont, D. Ching, and I. Verbauwhede. An Interactive Codesign Environment for Domain-Specific Coprocessors. ACM Transactions on Design Automation for Electronic Systems, 11 (1):70-87, 2006.
34. W. Schindler, K. Lemke, and C. Paar. A Stochastic Model for Differential Side-Channel Cryptanalysis. In Proc. CHES '05, LNCS 3659, pages 30-46. Springer.
35. C. Shannon. A Mathematical Theory of Communication. Bell System Technical Journal, 27:379-423 and 623-656, July and October 1948.
36. G. Smith and D. Volpano. Secure Information Flow in a Multi-Threaded Imperative Language. In Proc. POPL '98, pages 355-364. ACM.
37. F.-X. Standaert, E. Peeters, C. Archambeau, and J.-J. Quisquater. Towards Security Limits in Side-Channel Attacks. In Proc. CHES '06, LNCS 4249, pages 30-45. Springer.
38. T. Tolstrup. Language-based Security for VHDL. PhD thesis, Technical University of Denmark, 2007.
39. J. Wittbold and D. Johnson. Information flow in nondeterministic systems. In Proc. IEEE Symp. on Security and Privacy '90, pages 144-161. IEEE.
40. L. Zhong, S. Ravi, A. Raghunathan, and N. Jha. Power Estimation Techniques for Cycle-Accurate Functional Descriptions of Hardware. In Proc. ICCAD '04, pages 668-675. ACM.