Side-channel countermeasures’ dissection and the limits of closed source security evaluations

被引:0
|
作者
Bronchain O. [1 ]
Standaert F.-X. [1 ]
机构
[1] ICTEAM Institute, UCLouvain, Louvain-la-Neuve
基金
欧盟地平线“2020”;
关键词
Affine Masking; Certification; Open Source Design; Security Evaluations; Shuffling; Side-Channel Attacks; Worst-Case (Multivariate) Analysis;
D O I
10.13154/tches.v2020.i2.1-25
中图分类号
学科分类号
摘要
We take advantage of a recently published open source implementation of the AES protected with a mix of countermeasures against side-channel attacks to discuss both the challenges in protecting COTS devices against such attacks and the limitations of closed source security evaluations. The target implementation has been proposed by the French ANSSI (Agence Nationale de la Sécurité des Systèmes d’Information) to stimulate research on the design and evaluation of side-channel secure implementations. It combines additive and multiplicative secret sharings into an affine masking scheme that is additionally mixed with a shuffled execution. Its preliminary leakage assessment did not detect data dependencies with up to 100,000 measurements. We first exhibit the gap between such a preliminary leakage assessment and advanced attacks by demonstrating how a countermeasures’ dissection exploiting a mix of dimensionality reduction, multivariate information extraction and key enumeration can recover the full key with less than 2,000 measurements. We then discuss the relevance of open source evaluations to analyze such implementations efficiently, by pointing out that certain steps of the attack are hard to automate without implementation knowledge (even with machine learning tools), while performing them manually is straightforward. Our findings are not due to design flaws but from the general difficulty to prevent side-channel attacks in COTS devices with limited noise. We anticipate that high security on such devices requires significantly more shares. © 2020, Ruhr-University of Bochum. All rights reserved.
引用
收藏
页码:1 / 25
页数:24
相关论文
共 50 条
  • [41] Formal verification of side-channel countermeasures using self-composition
    Bacelar Almeida, J.
    Barbosa, Manuel
    Pinto, Jorge S.
    Vieira, Barbara
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 796 - 812
  • [42] Side-channel information leakage analysis and countermeasures in an embedded CPU microarchitecture
    Chen, Qi
    Zhao, Dongyan
    Liu, Liang
    Yan, Xuesong
    Yuan, Yidong
    Zhang, Xige
    Wu, Hongmei
    Wang, Zhe
    COMPUTER STANDARDS & INTERFACES, 2022, 80
  • [43] Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
    Gao, Pengfei
    Zhang, Yedi
    Song, Fu
    Chen, Taolue
    Standaert, Francois-Xavier
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [44] Side-Channel Analysis of a High-Throughput AES Peripheral with Countermeasures
    Heinz, Benedikt
    Heyszl, Johann
    Stumpf, Frederic
    2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), 2014, : 25 - 29
  • [45] Higher-Order DCA against Standard Side-Channel Countermeasures
    Bogdanov, Andrey
    Rivain, Matthieu
    Vejre, Philip S.
    Wang, Junwei
    CONSTRUCTIVE SIDE-CHANNEL ANALYSIS AND SECURE DESIGN (COSADE 2019), 2019, 11421 : 118 - 141
  • [46] Survey of Side-channel Attacks and Countermeasures on Post-quantum Cryptography
    Wu W.-B.
    Liu Z.
    Yang H.
    Zhang J.-P.
    Ruan Jian Xue Bao/Journal of Software, 2021, 32 (04): : 1165 - 1185
  • [47] Practical Analysis of RSA Countermeasures Against Side-Channel Electromagnetic Attacks
    Perin, Guilherme
    Imbert, Laurent
    Torres, Lionel
    Maurine, Philippe
    SMART CARD RESEARCH AND ADVANCED APPLICATIONS (CARDIS 2013), 2014, 8419 : 200 - 215
  • [48] Improved Side-Channel Resistance by Dynamic Fault-Injection Countermeasures
    Richter-Brockmann, Jan
    Guneysu, Tim
    2020 IEEE 31ST INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 2020), 2020, : 117 - 124
  • [49] Towards High-Level Synthesis of Polymorphic Side-Channel Countermeasures
    Socha, Petr
    Novotny, Martin
    2020 23RD EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2020), 2020, : 193 - 199
  • [50] Evaluation Criterion of Side-Channel Countermeasures for Elliptic Curve Cryptography Devices
    Chen, Tingding
    Li, Huiyun
    Wu, Keke
    Yu, Fengqi
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2009, : 155 - 158