Virtual analysis and reduction of side-channel vulnerabilities of smartcards

被引：0

作者：

den Hartog, J ^{[1
]}

de Vink, E ^{[1
]}

机构：

[1] Univ Twente, Dept Comp Sci, Enschede, Netherlands

来源：

FORMAL ASPECTS IN SECURITY AND TRUST | 2005年 / 173卷

关键词：

smartcard; side-channel attack; power analysis; fault analysis; DPA; simulation; countermeasures; systematic hardening;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study side-channel vulnerabilities. The tool can simulate side-channel leakage and has a suite of utilities to analyze this. The usage of the tool, for the analysis of a cryptographic algorithm is illustrated using the standard AES and RSA. Vulnerabilities of the implementations are identified and protective measures added. It is argued, that the tool can be instrumental for the design and realization of secure smartcard implementations in a systematic way.

引用

页码：85 / 98

页数：14

共 50 条

[31] A Virtual Node Migration Method for Sensing Side-channel Risk
Huang Kaizhi
Pan Qirun
Yuan Quan
You Wei
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY, 2019, 41 (09) : 2164 - 2171
[32] Symbolic Side-Channel Analysis for Probabilistic Programs
Malacaria, Pasquale
Khouzani, M. H. R.
Pasareanu, Corina S.
Quoc-Sang Phan
Luckow, Kasper
IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), 2018, : 313 - 327
[33] KeeLoq and Side-Channel Analysis - Evolution of an Attack
Paar, Christof
Eisenbarth, Thomas
Kasper, Markus
Kasper, Timo
Moradi, Amir
PROCEEDINGS OF THE 2009 WORKSHOP ON FAULT DIAGNOSIS AND TOLERANCE IN CRYPTOGRAPHY (FDTC 2009), 2009, : 65 - 69
[34] Delivering side-channel analysis in embedded designs
Seward, DeWitt C.
Seward, V.I.
Elenes, Javier
New Electronics, 2021, 54 (09): : 18 - 20
[35] A Modular and Optimized Toolbox for side-Channel Analysis
Fuentes Rodriguez, Alberto
Hernandez Encinas, Luis
Martin Munoz, Agustin
Alarcos Alcazar, Bernardo
IEEE ACCESS, 2019, 7 : 21889 - 21903
[36] On Side-Channel Analysis of Memristive Cryptographic Circuits
Chen, Li-Wei
Chen, Ziang
Schindler, Werner
Zhao, Xianyue
Schmidt, Heidemarie
Du, Nan
Polian, Ilia
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2023, 18 : 463 - 476
[37] DIFFuzz: Differential Fuzzing for Side-Channel Analysis
Nilizadeh, Shirin
Noller, Yannic
Pasareanu, Corina S.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 176 - 187
[38] High-Level Simulation of Embedded Software Vulnerabilities to EM Side-Channel Attacks
Thimmaiah, Aditya
Iyer, Vishnuvardhan V.
Gerstlauer, Andreas
Orshansky, Michael
EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2022, 2022, 13511 : 155 - 170
[39] Abacus: A Tool for Precise Side-channel Analysis
Bao, Qinkun
Wang, Zihao
Larus, James R.
Wu, Dinghao
2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 238 - 239
[40] Photonic Side-Channel Analysis of Arbiter PUFs
Tajik, Shahin
Nedospasov, Dmitry
Seifert, Jean-Pierre
Dietz, Enrico
Frohmann, Sven
Dittrich, Helmar
Huebers, Heinz-Wilhelm
Helfmeier, Clemens
Boit, Christian
JOURNAL OF CRYPTOLOGY, 2017, 30 (02) : 550 - 571

← 1 2 3 4 5 →