On the Multiplicative Complexity of Boolean Functions and Bitsliced Higher-Order Masking

被引:10
|
作者
Goudarzi, Dahmun [1 ]
Rivain, Matthieu [1 ,2 ]
机构
[1] CryptoExperts, Paris, France
[2] INRIA & PSL Res Univ, CNRS, ENS, Paris, France
关键词
D O I
10.1007/978-3-662-53140-2_22
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Higher-order masking is a widely used countermeasure to make software implementations of blockciphers achieve high security levels against side-channel attacks. Unfortunately, it often comes with a strong impact in terms of performances which may be prohibitive in some contexts. This situation has motivated the research for efficient schemes that apply higher-order masking with minimal performance overheads. The most widely used approach is based on a polynomial representation of the ciphers-box(es) allowing the application of standard higher-order masking building blocks such as the ISW scheme (Ishai-Sahai-Wagner, Crypto 2003). Recently, an alternative approach has been considered which is based on a bitslicing of the s-boxes. This approach has been shown to enjoy important efficiency benefits, but it has only been applied to specific blockciphers such as AES, PRESENT, or custom designs. In this paper, we present a generic method to find a Boolean representation of an s-box with efficient bitsliced higher-order masking. Specifically, we propose a method to construct a circuit with low multiplicative complexity. Compared to previous work on this subject, our method can be applied to any s-box of common size and not necessarily to small s-boxes. We use it to derive higher-order masked s-box implementations that achieve important performance gain compared to optimized stateof-the-art implementations.
引用
收藏
页码:457 / 478
页数:22
相关论文
共 50 条
  • [31] Provably Secure Higher-Order Masking of AES
    Rivain, Matthieu
    Prouff, Emmanuel
    CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2010, 2010, 6225 : 413 - 427
  • [32] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [33] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [34] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [35] Automated higher-order complexity analysis
    Benzinger, R
    THEORETICAL COMPUTER SCIENCE, 2004, 318 (1-2) : 79 - 103
  • [36] Higher-order interpretations and program complexity
    Baillot, Patrick
    Dal Lago, Ugo
    INFORMATION AND COMPUTATION, 2016, 248 : 56 - 81
  • [37] Reduction of multiplicative noise using higher-order statistics
    Kozaitis, SP
    Ingun, A
    Cofer, RH
    ALGORITHM FOR SYNTHETIC APERTURE RADAR IMAGERY X, 2003, 5095 : 119 - 125
  • [38] How Fast Can Higher-Order Masking Be in Software?
    Goudarzi, Dahmun
    Rivain, Matthieu
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT I, 2017, 10210 : 567 - 597
  • [39] Higher-Order Masking Schemes for S-Boxes
    Carlet, Claude
    Goubin, Louis
    Prouff, Emmanuel
    Quisquater, Michael
    Rivain, Matthieu
    FAST SOFTWARE ENCRYPTION (FSE 2012), 2012, 7549 : 366 - 384
  • [40] On the masking countermeasure and higher-order power analysis attacks
    Standaert, FX
    Peeters, E
    Quisquater, JJ
    ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, 2005, : 562 - 567