Algorithms for Switching between Boolean and Arithmetic Masking of Second Order

被引:0
|
作者
Vadnala, Praveen Kumar [1 ]
Grossschaedl, Johann [1 ]
机构
[1] Univ Luxembourg, LACS, L-1359 Luxembourg, Luxembourg
关键词
Differential power analysis; Second-order DPA; Arithmetic masking; Boolean Masking; Provably secure masking; PROVABLY SECURE; IMPLEMENTATIONS;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Masking is a widely-used countermeasure to thwart Differential Power Analysis (DPA) attacks, which, depending on the involved operations, can be either Boolean, arithmetic, or multiplicative. When used to protect a cryptographic algorithm that performs both Boolean and arithmetic operations, it is necessary to change the masks from one form to the other in order to be able to unmask the secret value at the end of the algorithm. To date, known techniques for conversion between Boolean and arithmetic masking can only resist first-order DPA. This paper presents the first solution to the problem of converting between Boolean and arithmetic masking of second order. To set the context, we show that a straightforward extension of first-order conversion schemes to second order is not possible. Then, we introduce two algorithms to convert from Boolean to arithmetic masking based on the second-order provably secure S-box output computation method proposed by Rivain et al (FSE 2008). The same can be used to obtain second-order secure arithmetic to Boolean masking. We prove the security of our conversion algorithms using similar arguments as Rivain et al. Finally, we provide implementation results of the algorithms on three different platforms.
引用
收藏
页码:95 / 110
页数:16
相关论文
共 50 条
  • [1] Secure conversion between boolean and arithmetic masking of any order
    Coron, Jean-Sébastien
    Großschädl, Johann
    Vadnala, Praveen Kumar
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8731 : 188 - 205
  • [2] Secure Conversion between Boolean and Arithmetic Masking of Any Order
    Coron, Jean-Sebastien
    Grossschaedl, Johann
    Vadnala, Praveen Kumar
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2014, 2014, 8731 : 188 - 205
  • [3] A new algorithm for switching from arithmetic to Boolean masking
    Coron, JS
    Tchulkine, A
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS CHES 2003, PROCEEDINGS, 2003, 2779 : 89 - 97
  • [4] Boolean Masking for Arithmetic Additions at Arbitrary Order in Hardware
    Bache, Florian
    Gueneysu, Tim
    APPLIED SCIENCES-BASEL, 2022, 12 (05):
  • [5] High-Order Conversion from Boolean to Arithmetic Masking
    Coron, Jean-Sebastien
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2017, 2017, 10529 : 93 - 114
  • [6] Efficient and Provably Secure Methods for Switching from Arithmetic to Boolean Masking
    Debraize, Blandine
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2012, 2012, 7428 : 107 - 121
  • [7] A Low-Latency High-Order Arithmetic to Boolean Masking Conversion
    Liu J.
    Zhao C.
    Peng S.
    Yang B.
    Zhao H.
    Han X.
    Zhu M.
    Wei S.
    Liu L.
    IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (02): : 630 - 653
  • [8] Constant-time higher-order Boolean-to-arithmetic masking
    Hutter, Michael
    Tunstall, Michael
    JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2019, 9 (02) : 173 - 184
  • [9] Constant-time higher-order Boolean-to-arithmetic masking
    Michael Hutter
    Michael Tunstall
    Journal of Cryptographic Engineering, 2019, 9 : 173 - 184
  • [10] Conversion from Arithmetic to Boolean Masking with Logarithmic Complexity
    Coron, Jean-Sebastien
    Grossschaedl, Johann
    Tibouchi, Mehdi
    Vadnala, Praveen Kumar
    FAST SOFTWARE ENCRYPTION, FSE 2015, 2015, 9054 : 130 - 149