An ASCON AOP-SystemC Environment for Security Fault Analysis

被引:0
作者
Mestiri, Hassen [1 ,2 ,3 ]
Barraj, Imen [1 ,4 ,5 ]
Bedoui, Mouna [3 ]
Machhout, Mohsen [3 ]
机构
[1] Prince Sattam Bin Abdulaziz Univ, Coll Comp Engn & Sci, Dept Comp Engn, Al Kharj 11942, Saudi Arabia
[2] Univ Sousse, Higher Inst Appl Sci & Technol Sousse, Sousse 4002, Tunisia
[3] Univ Monastir, Fac Sci Monastir, Elect & Microelect LAB, Monastir 5000, Tunisia
[4] Univ Sfax, Natl Engineers Sch Sfax, Elect Engn Dept, Syst Integrat & Emerging Energies (SI2E), Sfax 3029, Tunisia
[5] Univ Gabes, Higher Inst Comp Sci & Multimedia Gabes ISIMG, Gabes 6029, Tunisia
来源
SYMMETRY-BASEL | 2024年 / 16卷 / 03期
关键词
aspect-oriented programming; SystemC; AspectC plus plus; lightweight cryptography; ASCON; fault attacks;
D O I
10.3390/sym16030348
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
Cryptographic devices' complexity necessitates fast security simulation environments against fault attacks. SystemC, a promising candidate in Electronic System Levels (ESLs), can achieve higher simulation speeds while maintaining accuracy and reliability, and its modular and hierarchical design allows for efficient modeling of complex cryptographic algorithms and protocols. However, code modification is required for fault injection and detection. Aspect-Oriented Programming (AOP) can test cryptographic models' robustness without modifications, potentially replacing real cryptanalysis schemes and reducing the time and effort required for fault injection and detection. Through the utilization of a fault injection/detection environment, this paper presents a novel approach to simulating the security fault attacks of ASCON cryptographic systems at the ESL. The purpose of this methodology is to evaluate the resistance of ASCON SystemC models against fault attacks. The proposed methodology leverages the advantages of AOP to enhance the fault injection and detection process. By applying AOP techniques, we inject faults into the SystemC models without making any changes to the main codebase. This approach not only improves the efficiency of testing cryptographic systems but also ensures that the main functionality remains intact during the fault injection process. The methodology was validated using three scenarios and SystemC ASCON as a case study. The first simulation involved evaluating fault detection capabilities, the second focused on the impact of AOP on executable file size and simulation time, and the third focused on the ESL impact on the ASCON design process. Simulation results show that this methodology can perfectly evaluate the robustness of the ASCON design against fault injection attacks with no significant impact on simulation time and file executable size. Additionally, the simulation results prove that the ASCON development life cycle at the ESL reduces the amount of time devoted to the design procedure by 83.34%, and the ASCON security attack simulations at the ESL decrease the simulation time by 40% compared to the register transfer level (RTL).
引用
收藏
页数:18
相关论文
共 27 条
[1]   BlockASP: A Framework for AOP-Based Model Checking Blockchain System [J].
Alsobeh, Anas M. R. ;
Magableh, Aws A. .
IEEE ACCESS, 2023, 11 :115062-115075
[2]  
Bentrad S., 2022, Turk. J. Comput. Math. Educ, V13, P565, DOI [10.17762/turcomat.v13i03.13057, DOI 10.17762/TURCOMAT.V13I03.13057]
[3]   Open-Source HW/SW Co-Simulation Using QEMU and GHDL for VHDL-Based SoC Design [J].
Biagetti, Giorgio ;
Falaschetti, Laura ;
Crippa, Paolo ;
Alessandrini, Michele ;
Turchetti, Claudio .
ELECTRONICS, 2023, 12 (18)
[4]   Cosimulation of Power and Temperature Models at the SystemC/TLM for a Soft-Core Processor [J].
El Hariti, Zineb ;
Alali, Abdelhakim ;
Sadik, Mohamed ;
Aamali, Kaoutar .
ADVANCES IN MATERIALS SCIENCE AND ENGINEERING, 2020, 2020
[5]  
Gabor U.T., 2019, P IEEE 19 INT S HIGH, DOI [10.1109/HASE.2019.00028, DOI 10.1109/HASE.2019.00028]
[6]  
Gabsi Wafa, 2020, International Journal of Business and Systems Research, V14, P139
[7]  
Jain R., 2020, P IEEE INT STUDENTSC, DOI [10.1109/SCEECS48394.2020.32, DOI 10.1109/SCEECS48394.2020.32]
[8]   Hardware Constructions for Error Detection in Lightweight Authenticated Cipher ASCON Benchmarked on FPGA [J].
Kaur, Jasmin ;
Kermani, Mehran Mozaffari ;
Azarderakhsh, Reza .
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2022, 69 (04) :2276-2280
[9]   A Systematic Investigation of State-of-the-Art SystemC Verification [J].
Lin, Bin ;
Xie, Fei .
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2020, 29 (15)
[10]  
Lohmann D., 2018, P IEEE INT C ELECT C, DOI [10.1109/ICECS.2018.8617838, DOI 10.1109/ICECS.2018.8617838]