High-Order Masking of Lattice Signatures in Quasilinear Time

被引:3
|
作者
del Pino, Rafael [1 ]
Prest, Thomas [1 ]
Rossi, Melissa [2 ]
Saarinen, Markku-Juhani O. [3 ]
机构
[1] PQShield SAS, Paris, France
[2] ANSSI, Paris, France
[3] PQShield LTD, Oxford, England
关键词
Post-Quantum Cryptography; Side-Channel Security; Masking Countermeasures; Raccoon signature; CONCRETE;
D O I
10.1109/SP46215.2023.10179342
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In recent years, lattice-based signature schemes have emerged as the most prominent post-quantum solutions, as illustrated by NIST's selection of Falcon and Dilithium for standardization. Both schemes enjoy good performance characteristics. However, their efficiency dwindles in the presence of side-channel protections, particularly masking - perhaps the strongest generic side-channel countermeasure. Masking at order d-1 requires randomizing all sensitive intermediate variables into d shares. With existing schemes, signature generation complexity grows quadratically with the number of shares, making high-order masking prohibitively slow. In this paper, we turn the problem upside-down: We design a lattice-based signature scheme specifically for sidechannel resistance and optimize the masked efficiency as a function of the number of shares. Our design avoids costly operations such as conversions between arithmetic and boolean encodings (A2B/B2A), masked rejection sampling, and does not require a masked SHAKE implementation or other symmetric primitives. The resulting scheme is called Raccoon and belongs to the family of Fiat-Shamir with aborts lattice-based signatures. Raccoon is the first lattice-based signature whose key generation and signing running time has only an O(d log(d)) overhead, with d being the number of shares. Our Reference C implementation confirms that Raccoon's performance is comparable to other state-of-the-art signature schemes, except that increasing the number of shares has a near-linear effect on its latency. We also present an FPGA implementation and perform a physical leakage assessment to verify its basic security properties.
引用
收藏
页码:1168 / 1185
页数:18
相关论文
共 50 条
  • [21] High-order regularization in lattice-Boltzmann equations
    Mattila, Keijo K.
    Philippi, Paulo C.
    Hegele, Luiz A., Jr.
    PHYSICS OF FLUIDS, 2017, 29 (04)
  • [22] Application of high-order lattice Boltzmann pseudopotential models
    From, C. S.
    Sauret, E.
    Galindo-Torres, S. A.
    Gu, Y. T.
    PHYSICAL REVIEW E, 2020, 101 (03)
  • [23] Signatures of transient electron localisation in high-order harmonic generation
    Miller, M. R.
    Jaron-Becker, A.
    Becker, A.
    MOLECULAR PHYSICS, 2017, 115 (15-16) : 1758 - 1767
  • [24] Pole assignment of high-order linear systems with high-order time-derivatives in the input
    Zhou, Bin
    Duan, Guang-Ren
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2020, 357 (03): : 1437 - 1456
  • [25] Finite-time stabilisation for high-order nonlinear systems with low-order and high-order nonlinearities
    Zhang, Kemei
    Zhang, Xing-Hui
    INTERNATIONAL JOURNAL OF CONTROL, 2015, 88 (08) : 1576 - 1585
  • [26] Improved High-Order Masked Generation of Masking Vector and Rejection Sampling in Dilithium
    Coron, Jean-Sébastien
    Gérard, François
    Lepoint, Tancrède
    Trannoy, Matthias
    Zeitoun, Rina
    IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (04): : 335 - 354
  • [27] Recursive regularization step for high-order lattice Boltzmann methods
    Coreixas, Christophe
    Wissocq, Gauthier
    Puigt, Guillaume
    Boussuge, Jean-Francois
    Sagaut, Pierre
    PHYSICAL REVIEW E, 2017, 96 (03)
  • [28] Dynamical distortions of structural signatures in molecular high-order harmonic spectroscopy
    Labeye, Marie
    Risoud, Francois
    Leveque, Camille
    Caillat, Jeremie
    Maquet, Alfred
    Shaaran, Tahir
    Salieres, Pascal
    Taieb, Richard
    PHYSICAL REVIEW A, 2019, 99 (01)
  • [29] High-order time discretizations in seismic modeling
    Chen, Jing-Bo
    GEOPHYSICS, 2007, 72 (05) : SM115 - SM122
  • [30] Knudsen layer theory for high-order lattice Boltzmann models
    Szalmas, L.
    EPL, 2007, 80 (02)