An AOP-Based Fault Injection Environment for Cryptographic SystemC Designs

被引:5
|
作者
Mestiri, Hassen [1 ]
Lahbib, Younes [1 ,2 ]
Machhout, Mohsen [1 ]
Tourki, Rached [1 ]
机构
[1] Univ Monastir, Fac Sci Monastir, Elect & Microelect Lab E EL, Monastir, Tunisia
[2] Univ Carthage, Higher Sch Technol & Comp Sci ESTI, Carthage, Tunisia
关键词
Security; cryptographic models; aspect-oriented programming; fault injection attacks; fault detection schemes; SIMULATION;
D O I
10.1142/S0218126615500085
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The increasing complexity of cryptographic devices requires fast simulation environment in order to test their security against fault attacks. SystemC is one promising candidate in Electronic System Level that allows models to reach higher simulation speed. However in order to enable both fault injection and detection inside a SystemC cryptographic models, its code modification is mandatory. Aspect-Oriented Programming (AOP), which is a new programming paradigm, can be used to test the robustness of the cryptographic models without any code modifications. This may replace real cryptanalysis schemes. In this paper, we present a new methodology to simulate the security fault attacks of cryptographic systems at the Electronic System Level. A fault injection/detection environment is proposed to test the resistance of cryptographic SystemC models against fault injection attacks. The fault injection technique into cryptographic SystemC models is performed using weaving faults by AspectC++ as an AOP programming language. We validate our methodology with two scenarios applied to a SystemC Advanced Encryption Standard case study: the first is related to the impact of the AOP on fault detection capabilities, while the second refers to the impact of the AOP on simulation time and size of the executable files. Simulation results show that this methodology can evaluate perfectly the robustness of a cryptographic design against fault injection attacks. They show that the impact of AOP on simulation time is not significant.
引用
收藏
页数:22
相关论文
共 50 条
  • [21] An AOP-based ontology for spina bifida caused by disturbance in retinoic acid signaling
    Staal, Y. C. M.
    Baker, N. C.
    Burgoon, L. D.
    Daston, G.
    Knudsen, T. B.
    Piersma, A. H.
    TOXICOLOGY LETTERS, 2018, 295 : S103 - S103
  • [22] From Molecules to Ecosystems: An AOP-Based Perspective on the Current Status of the Field of Ecogenotoxicology
    Jha, Awadhesh
    Gyasi, Helina
    Umbuzeiro, Gisela de Aragao
    O'Brien, Jason
    ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, 2022, 63 : 42 - 43
  • [23] Automatic UVM Environment Generation for Assertion-based and Functional Verification of SystemC Designs
    Mefenza, Michael
    Yonga, Franck
    Bobda, Christophe
    2014 15TH INTERNATIONAL MICROPROCESSOR TEST AND VERIFICATION WORKSHOP (MTV 2014), 2015, : 16 - 21
  • [24] Map-based Analysis of IEMI Fault Injection into Cryptographic Devices
    Hayashi, Yu-ichi
    Homma, Naofumi
    Mizuki, Takaaki
    Aoki, Takafumi
    Sone, Hideaki
    2013 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC), 2013, : 829 - 833
  • [25] The efficacious of AOP-based processes in concert with electrocoagulation in abatement of CECs from water/wastewater
    Zeinab Hajalifard
    Milad Mousazadeh
    Sara Khademi
    Nastaran Khademi
    Mehdi Hassanvand Jamadi
    Mika Sillanpää
    npj Clean Water, 6
  • [26] The efficacious of AOP-based processes in concert with electrocoagulation in abatement of CECs from water/wastewater
    Hajalifard, Zeinab
    Mousazadeh, Milad
    Khademi, Sara
    Khademi, Nastaran
    Jamadi, Mehdi Hassanvand
    Sillanpaa, Mika
    NPJ CLEAN WATER, 2023, 6 (01)
  • [27] Assertion based verification of PSL for SystemC designs
    Habibi, A
    Gawanmeh, A
    Tahar, S
    2004 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2004, : 177 - 180
  • [28] Automatic Adaptation of Software Applications to Database Evolution by Graph Differencing and AOP-based Dynamic Patching
    Song, Yang
    Peng, Xin
    Xing, Zhenchang
    Zhao, Wenyun
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 111 - 118
  • [29] A functional verification based fault injection environment
    Benso, A.
    Bosio, A.
    Di Carlo, S.
    Mariani, R.
    DFT 2007: 22ND IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT-TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2007, : 114 - 122
  • [30] SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗
    Tan, Huiyu
    Gao, Pengfei
    Song, Fu
    Chen, Taolue
    Wu, Zhilin
    IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (04): : 1 - 39