Platform for Verification of Electromagnetic Analysis Attacks against Cryptographic Circuits

被引:14
|
作者
Yoshikawa, Masaya [1 ]
Asai, Toshiya [1 ]
机构
[1] Meijo Univ, Dept Informat Engn, Nagoya, Aichi, Japan
关键词
component; Electromagnetic analysis attacks; Cryptographic circuit; Evaluation platform; POWER-ANALYSIS; DESIGN FLOW;
D O I
10.1109/ITNG.2013.101
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The threat of electromagnetic analysis attacks against cryptographic circuits is now becoming more evident. Therefore, it is important to evaluate the resistance of cryptographic circuits to electromagnetic analysis attacks at the design stage. In order to analyze electromagnetic waves at the design stage, an electromagnetic field simulator must be used. However, since electromagnetic analysis attacks use many waveforms, the use of an electromagnetic field simulator is not realistic from the standpoint of the processing time. The present study develops a verification platform to evaluate the vulnerability of cryptographic circuits to electromagnetic analysis attacks at the design stage. In the present study, a macro model for each element to be attacked is prepared. Using the results obtained by simulating each macro model and current, high-speed electromagnetic wave analysis is realized. The validity of the proposed method is verified by performing evaluation experiments.
引用
收藏
页码:653 / 658
页数:6
相关论文
共 50 条
  • [1] Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
    Tan, Huiyu
    Yang, Xi
    Song, Fu
    Chen, Taolue
    Wu, Zhilin
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 189 - 207
  • [2] Electromagnetic Analysis and Attacks System for Cryptographic RFID
    Zhu, Zhihui
    Liu, Wei
    Li, Xiangyu
    Wu, Liji
    Zhang, Xiangming
    2012 IEEE 11TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED CIRCUIT TECHNOLOGY (ICSICT-2012), 2012, : 544 - 546
  • [3] Fault Attacks on Cryptographic Circuits
    Polian, Ilia
    2019 17TH IEEE INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2019,
  • [4] Leakage Power Analysis Attacks: A Novel Class of Attacks to Nanometer Cryptographic Circuits
    Alioto, Massimo
    Giancane, Luca
    Scotti, Giuseppe
    Trifiletti, Alessandro
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2010, 57 (02) : 355 - 367
  • [5] Power Analysis Attacks to Cryptographic Circuits: a Comparative Analysis of DPA and CPA
    Alioto, Massimo
    Poli, Massimo
    Rocchi, Santina
    2008 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2008, : 333 - 336
  • [6] Unrolling Cryptographic Circuits: A Simple Countermeasure Against Side-Channel Attacks
    Bhasin, Shivam
    Guilley, Sylvain
    Sauvage, Laurent
    Danger, Jean-Luc
    TOPICS IN CRYPTOLOGY - CT-RSA 2010, PROCEEDINGS, 2010, 5985 : 195 - 207
  • [7] Method of formal verification of cryptographic circuits
    Toshiba Research and Development, Cent, Kawasaki, Japan
    J Electron Test Theory Appl JETTA, 3 (321-322):
  • [8] A method of formal verification of cryptographic circuits
    Hirabayashi, K
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 13 (03): : 321 - 322
  • [9] Enhancing power analysis attacks against cryptographic devices
    Bucci, M.
    Giancane, L.
    Luzzi, R.
    Marino, M.
    Scotti, G.
    Trifiletti, A.
    IET CIRCUITS DEVICES & SYSTEMS, 2008, 2 (03) : 298 - 305
  • [10] A Method of Formal Verification of Cryptographic Circuits
    Kanji Hirabayashi
    Journal of Electronic Testing, 1998, 13 : 321 - 322