research-article

A first step towards automatic application of power analysis countermeasures

Authors:

Ali Galip Bayrak,

Francesco Regazzoni,

François-Xavier Standaert,

Paolo IenneAuthors Info & Claims

DAC '11: Proceedings of the 48th Design Automation Conference

Pages 230 - 235

https://doi.org/10.1145/2024724.2024778

Published: 05 June 2011 Publication History

Abstract

In cryptography, side channel attacks, such as power analysis, attempt to uncover secret information from the physical implementation of cryptosystems rather than exploiting weaknesses in the cryptographic algorithms themselves. The design and implementation of physically secure cryptosystems is a challenge for both hardware and software designers. Measuring and evaluating the security of a system is manual and empirical, which is costly and time consuming; this work demonstrates that it is possible to automate these processes. We introduce a systematic methodology for automatic application of software countermeasures and demonstrate its effectiveness on an AES software implementation running on an 8-bit AVR microcontroller. The framework identifies the most vulnerable instructions of the implementation to power analysis attacks, and then transforms the software using a chosen countermeasure to protect the vulnerable instructions. Lastly, it evaluates the security of the system using an information-theoretic metric and a direct attack.

References

[1]

C. Archambeau, E. Peeters, F.-X. Standaert and J.-J. Quisquater. Template attacks in principal subspaces. In Cryptographic Hardware and Embedded Systems --CHES 2006, pages 1--14, 2006.

Digital Library

[2]

M. Barbosa, A. Moss, and D. Page. Constructive and destructive use of compilers in elliptic curve cryptography. Journal of Cryptology, 22(2):259--281, April 2009.

Digital Library

[3]

Computer Aided Cryptography Engineering (CACE European Project). http://www.cace-project.eu.

[4]

J.-S. Coron and L. Goubin. On Boolean and arithmetic masking against differential power analysis. In Cryptographic Hardware and Embedded Systems --CHES 2000, pages 231--237, 2000.

Digital Library

[5]

K. Gandolfi, C. Mourtel, and F. Olivier. Electromagnetic analysis: Concrete results. In Cryptographic Hardware and Embedded Systems --CHES 2001, pages 251--261, May 2001.

Digital Library

[6]

S. Guilley, P. Hoogvorst, Y. Mathieu, and R. Pacalet. The "backend duplication" method. In Cryptographic Hardware and Embedded Systems --CHES 2005, pages 383--397, August 2005.

Digital Library

[7]

J. Irwin, D. Page, and N. P. Smart. Instruction stream mutation for non-deterministic processors. In 13th International Conference on Application-Specific Systems, Architectures and Processors, pages 286--295, July 2002.

Digital Library

[8]

P. Kocher. Timing attacks on implementations of Diffie-Hellman, RSA, DSS and other systems. In Advances in Cryptology --CRYPTO '96, pages 104--113, September 1996.

Digital Library

[9]

P. Kocher, J. Jaffe, and B. Jun. Differential power analysis. In Advances in Cryptology --CRYPTO '99, pages 398--412, August 1999.

Digital Library

[10]

S. Mangard, E. Oswald, and T. Popp. Power Analysis Attacks - Revealing the Secrets of Smart Cards. Springer, 2007.

Digital Library

[11]

D. May, H. L. Muller, and N. P. Smart. Non-deterministic processors. In Information Security and Privacy - ACISP '01, pages 115--129, July 2001.

Digital Library

[12]

D. May, H. L. Muller, and N. P. Smart. Random register renaming to foil DPA. In Cryptographic Hardware and Embedded Systems --CHES 2001, pages 28--38, May 2001.

Digital Library

[13]

S. W. Moore, R. D. Mullins, P. A. Cunningham, R. J. Anderson, and G. S. Taylor. Improving smart card security using self-timed circuits. In 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems - ASYNC 2002, pages 211--218, April 2002.

Digital Library

[14]

E. Prouff. DPA Attacks and S-Boxes. In Fast Software Encryption --FSE 2005, pages 424--441, 2005.

Digital Library

[15]

F. Regazzoni, A. Cevrero, F.-X. Standaert, S. Badel, T. Kluter, P. Brisk, Y. Leblebici, and P. Ienne. A design flow and evaluation framework for DPA-resistant instruction set extensions. In Cryptographic Hardware and Embedded Systems --CHES 2009, pages 205--219, September 2009.

Digital Library

[16]

F. Regazzoni, T. Eisenbarth, A. Poschmann, J. Großschädl, F. K. Gürkaynak, M. Macchetti, Z. T. Deniz, L. Pozzi, C. Paar, Y. Leblebici, and P. Ienne. Evaluating resistance of MCML technology to power analysis attacks using a simulation-based methodology. Transactions on Computational Science, 5430:230--243, 2009.

Digital Library

[17]

A. G. Rostovtsev and O. V. Shemyakina. AES side channel attack protection using random isomorphisms. Cryptology e-Print Archive, March 2005.

[18]

F.-X. Standaert, T. G. Malkin, and M. Yung. A unified framework for the analysis of side-channel key recovery attacks. In Advances in Cryptology --EUROCRYPT '09, pages 443--461, April 2009.

Digital Library

[19]

S. Tillich and J. Großschädl. Power analysis resistant AES implementation with instruction set extensions. In Cryptographic Hardware and Embedded Systems --CHES 2007, pages 303--319, 2007.

Digital Library

[20]

K. Tiri, M. Akmal, and I. Verbauwhede. A dynamic and differential CMOS logic with signal independent power consumption to withstand differential power analysis on smart cards. In 28th European Solid-State Circuits Conference, pages 403--406, September 2002.

[21]

K. Tiri and I. Verbauwhede. A digital design flow for secure integrated circuits. IEEE Transactions on CAD of Integrated Circuits and Systems, 25(7):1197--1208, 2006.

Digital Library

[22]

S. S. R. Varadhan. Large deviations. Annals of Probability, 36(2):397--419, 2008.

Cited By

Gao PSong FChen T(2024)Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel AttacksACM Transactions on Software Engineering and Methodology10.1145/363570733:3(1-38)Online publication date: 14-Mar-2024
https://dl.acm.org/doi/10.1145/3635707
Gao PZhang YSong FChen TStandaert F(2023)Compositional Verification of Efficient Masking Countermeasures against Side-Channel AttacksProceedings of the ACM on Programming Languages10.1145/36228627:OOPSLA2(1817-1847)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622862
Bossuet LGrosso VLara-Nino C(2023)Emulating Side Channel Attacks on gem5: lessons learned2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)10.1109/EuroSPW59978.2023.00036(287-295)Online publication date: Jul-2023
https://doi.org/10.1109/EuroSPW59978.2023.00036
Show More Cited By

Index Terms

A first step towards automatic application of power analysis countermeasures
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded hardware
  2. Real-time systems
2. Hardware
  1. Very large scale integration design
    1. Application-specific VLSI designs
      1. Application specific integrated circuits

Recommendations

A code morphing methodology to automate power analysis countermeasures
DAC '12: Proceedings of the 49th Annual Design Automation Conference

We introduce a general framework to automate the application of countermeasures against Differential Power Attacks aimed at software implementations of cryptographic primitives. The approach enables the generation of multiple versions of the code, to ...
Compiler-based side channel vulnerability analysis and optimized countermeasures application
DAC '13: Proceedings of the 50th Annual Design Automation Conference

Modern embedded systems manage sensitive data increasingly often through cryptographic primitives. In this context, side-channel attacks, such as power analysis, represent a concrete threat, regardless of the mathematical strength of a cipher. ...
Power Analysis Attacks and Countermeasures

One of the biggest challenges of designers of cryptographic devices is to protect the devices against implementation attacks. Power analysis attacks are among the strongest of these attacks. This article provides an overview of power analysis attacks ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '11: Proceedings of the 48th Design Automation Conference

June 2011

1055 pages

ISBN:9781450306362

DOI:10.1145/2024724

General Chair:
Leon Stok
IBM Corp., Hopewell Jct., NY
,
Program Chairs:
Nikil Dutt
Univ. of California, Irvine, CA
,
Soha Hassoun
Tufts Univ., Medford, MA

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE Council on Electronic Design Automation (CEDA)

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DAC '11

Sponsor:

EDAC
SIGDA

DAC '11: The 48th Annual Design Automation Conference 2011

June 5 - 10, 2011

California, San Diego

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

65
Total Citations
View Citations
269
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)3

Reflects downloads up to 17 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Gao PSong FChen T(2024)Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel AttacksACM Transactions on Software Engineering and Methodology10.1145/363570733:3(1-38)Online publication date: 14-Mar-2024
https://dl.acm.org/doi/10.1145/3635707
Gao PZhang YSong FChen TStandaert F(2023)Compositional Verification of Efficient Masking Countermeasures against Side-Channel AttacksProceedings of the ACM on Programming Languages10.1145/36228627:OOPSLA2(1817-1847)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622862
Bossuet LGrosso VLara-Nino C(2023)Emulating Side Channel Attacks on gem5: lessons learned2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)10.1109/EuroSPW59978.2023.00036(287-295)Online publication date: Jul-2023
https://doi.org/10.1109/EuroSPW59978.2023.00036
Yilmaz BSehatbakhsh NDey MCheng CPrvulovic MZajić A(2022)A generalized approach to estimation of memoryless covert channel information leakage capacityArray10.1016/j.array.2022.10013114(100131)Online publication date: Jul-2022
https://doi.org/10.1016/j.array.2022.100131
Gao PXie HSong FChen T(2021)A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic ProgramsACM Transactions on Software Engineering and Methodology10.1145/342801530:3(1-42)Online publication date: 11-Feb-2021
https://dl.acm.org/doi/10.1145/3428015
Sangodoyin SWerner FYilmaz BCheng CUgurlu ESehatbakhsh NPrvulovic MZajic A(2021)Side-Channel Propagation Measurements and Modeling for Hardware Security in IoT DevicesIEEE Transactions on Antennas and Propagation10.1109/TAP.2020.303765969:6(3470-3484)Online publication date: Jun-2021
https://doi.org/10.1109/TAP.2020.3037659
Winderix HMühlberg JPiessens F(2021)Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks2021 IEEE European Symposium on Security and Privacy (EuroS&P)10.1109/EuroSP51992.2021.00050(667-682)Online publication date: Sep-2021
https://doi.org/10.1109/EuroSP51992.2021.00050
Sangodoyin SWerner FYilmaz BCheng CUgurlu ESehatbakhsh NPrvulovic MZajic A(2020)Remote Monitoring and Propagation Modeling of EM Side-Channel Signals for IoT Device Security2020 14th European Conference on Antennas and Propagation (EuCAP)10.23919/EuCAP48036.2020.9135387(1-5)Online publication date: Mar-2020
https://doi.org/10.23919/EuCAP48036.2020.9135387
Nahiyan APark JHe MIskander YFarahmandi FForte DTehranipoor M(2020)SCRIPTACM Transactions on Design Automation of Electronic Systems10.1145/338344525:3(1-27)Online publication date: 13-May-2020
https://dl.acm.org/doi/10.1145/3383445
Pengfei GHongyi XSun PZhang JSong FChen T(2020)Formal Verification of Masking Countermeasures for Arithmetic ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2020.3008852(1-1)Online publication date: 2020
https://doi.org/10.1109/TSE.2020.3008852
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents