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 条
  • [21] A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time
    Beltiukov A.P.
    Journal of Mathematical Sciences, 2005, 130 (2) : 4571 - 4573
  • [22] Second order arithmetic and autonomous computability
    Gailit, EV
    SIBERIAN MATHEMATICAL JOURNAL, 2003, 44 (02) : 244 - 249
  • [23] Second Order Arithmetic and Autonomous Computability
    E. V. Gailit
    Siberian Mathematical Journal, 2003, 44 : 244 - 249
  • [24] Second Order Arithmetic and Pulsating Hierarchies
    E. V. Gailit
    Siberian Mathematical Journal, 2001, 43 : 22 - 27
  • [25] Second order arithmetic and pulsating hierarchies
    Gailit, EV
    SIBERIAN MATHEMATICAL JOURNAL, 2002, 43 (01) : 22 - 27
  • [26] Subsystems of second-order arithmetic
    Ketland, J
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2001, 52 (01): : 191 - 195
  • [27] Run-time switching between total order algorithms
    Mocito, Jose
    Rodrigues, Luis
    EURO-PAR 2006 PARALLEL PROCESSING, 2006, 4128 : 582 - 591
  • [28] A few more dissimilarities between second-order arithmetic and set theory
    Fujimoto, Kentaro
    ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (1-2) : 147 - 206
  • [29] Second Order DPA against Fixed Masking
    Dong, Xiuze
    Cui, Qi
    Wang, Sixiang
    Sun, Kewang
    Li, Dongxu
    She, Gaojian
    PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 413 - 417
  • [30] A few more dissimilarities between second-order arithmetic and set theory
    Kentaro Fujimoto
    Archive for Mathematical Logic, 2023, 62 : 147 - 206