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 条
  • [41] Complex analysis in subsystems of second order arithmetic
    Yokoyama, Keita
    ARCHIVE FOR MATHEMATICAL LOGIC, 2007, 46 (01) : 15 - 35
  • [42] THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
    Dean, Walter
    Walsh, Sean
    REVIEW OF SYMBOLIC LOGIC, 2017, 10 (02): : 357 - 396
  • [43] The limits of determinacy in second-order arithmetic
    Montalban, Antonio
    Shore, Richard A.
    PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2012, 104 : 223 - 252
  • [44] The Mean Value Theorem in second order arithmetic
    Hardin, CS
    Velleman, DJ
    JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1353 - 1358
  • [45] Admissible extensions of subtheories of second order arithmetic
    Jager, Gerhard
    Rathjen, Michael
    ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (07)
  • [46] REPRESENTABILITY IN SOME SYSTEMS OF SECOND ORDER ARITHMETIC
    ACZEL, P
    ISRAEL JOURNAL OF MATHEMATICS, 1970, 8 (04) : 309 - &
  • [47] Complete determinacy and subsystems of second order arithmetic
    Nemoto, Takako
    LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 457 - 466
  • [48] Syntactical truth predicates for second order arithmetic
    Colson, L
    Grigorieff, S
    JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 225 - 256
  • [49] Modulation masking produced by second-order modulators
    Füllgrabe, C
    Moore, BCJ
    Demany, L
    Ewert, SD
    Sheft, S
    Lorenzi, C
    JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 2005, 117 (04): : 2158 - 2168
  • [50] Second Order Analysis of Geometric Functionals of Boolean Models
    Hug, Daniel
    Klatt, Michael A.
    Last, Guenter
    Schulte, Matthias
    TENSOR VALUATIONS AND THEIR APPLICATIONS IN STOCHASTIC GEOMETRY AND IMAGING, 2017, 2177 : 339 - 383