Constant-time higher-order Boolean-to-arithmetic masking

被引:0
|
作者
Michael Hutter
Michael Tunstall
机构
[1] Cryptography Research,
来源
Journal of Cryptographic Engineering | 2019年 / 9卷
关键词
Side-channel analysis; Higher-order DPA; Mask switching; Countermeasures; Boolean-to-arithmetic mask conversion;
D O I
暂无
中图分类号
学科分类号
摘要
Converting a Boolean mask to an arithmetic mask, and vice versa, is often required in implementing side-channel-resistant instances of cryptographic algorithms that mix Boolean and arithmetic operations. In this paper, we describe a method for converting a Boolean mask to an arithmetic mask that runs in constant time for a fixed order and has quadratic complexity as the security order increases, a significant improvement in previous work that has exponential complexity. We propose explicit algorithms for a second-order secure Boolean-to-arithmetic mask conversion that uses 31 instructions and for a third-order secure mask conversion that uses 74 instructions. We show that our second-order secure algorithm is at least an order of magnitude faster and our third-order secure algorithm is more than twice as fast as other algorithms in the literature.
引用
收藏
页码:173 / 184
页数:11
相关论文
共 50 条
  • [1] Constant-time higher-order Boolean-to-arithmetic masking
    Hutter, Michael
    Tunstall, Michael
    JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2019, 9 (02) : 173 - 184
  • [2] On the Multiplicative Complexity of Boolean Functions and Bitsliced Higher-Order Masking
    Goudarzi, Dahmun
    Rivain, Matthieu
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2016, 2016, 9813 : 457 - 478
  • [3] Higher-order lookup table masking in essentially constant memory
    Valiveti A.
    Vivek S.
    IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, 2021 (04): : 546 - 586
  • [4] Security analysis of higher-order Boolean masking schemes for block ciphers (with conditions of perfect masking)
    Piret, G.
    Standaert, F-X.
    IET INFORMATION SECURITY, 2008, 2 (01) : 1 - 11
  • [5] Vectorizing Higher-Order Masking
    Gregoire, Benjamin
    Papagiannopoulos, Kostas
    Schwabe, Peter
    Stoffelen, Ko
    CONSTRUCTIVE SIDE-CHANNEL ANALYSIS AND SECURE DESIGN, COSADE 2018, 2018, 10815 : 23 - 43
  • [6] Boolean Masking for Arithmetic Additions at Arbitrary Order in Hardware
    Bache, Florian
    Gueneysu, Tim
    APPLIED SCIENCES-BASEL, 2022, 12 (05):
  • [7] ARITHMETIC SEQUENCES OF HIGHER-ORDER
    ALONSO, J
    FIBONACCI QUARTERLY, 1976, 14 (02): : 147 - 152
  • [8] 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
  • [9] Verified Proofs of Higher-Order Masking
    Barthe, Gilles
    Belaid, Sonia
    Dupressoir, Francois
    Fouque, Pierre-Alain
    Gregoire, Benjamin
    Strub, Pierre-Yves
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2015, PT I, 2015, 9056 : 457 - 485
  • [10] 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