Paper 2024/709

Masked Computation the Floor Function and its Application to the FALCON Signature

Justine Paillet, Université Jean Monnet, Hensoldt SAS France
Pierre-Augustin Berthet, Institut Mines-Télécom, Hensoldt SAS France
Cédric Tavernier, Hensoldt SAS France
Abstract

FALCON is candidate for standardization of the new Post Quantum Cryptography (PQC) primitives by the National Institute of Standards and Technology (NIST). However, it remains a challenge to define efficient countermeasures against side-channel attacks (SCA) for this algorithm. FALCON is a lattice-based signature that relies on rational numbers which is unusual in the cryptography field. While recent work proposed a solution to mask the addition and the multiplication, some roadblocks remain, most noticeably how to protect the floor function. We propose in this work to complete the existing first trials of hardening FALCON against SCA. We perform the mathematical proofs of our methods as well as formal security proof in the probing model using the Non-Interference concepts.

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
Preprint.
Keywords
Floor FunctionFloating-Point ArithmeticPost-Quantum CryptographyFALCONSide-Channel AnalysisMasking
Contact author(s)
justine paillet @ univ-st-etienne fr
berthet @ telecom-paris fr
cedric tavernier @ hensoldt net
History
2024-05-10: approved
2024-05-08: received
See all versions
Short URL
https://ia.cr/2024/709
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2024/709,
      author = {Justine Paillet and Pierre-Augustin Berthet and Cédric Tavernier},
      title = {Masked Computation the Floor Function and its Application to the {FALCON} Signature},
      howpublished = {Cryptology ePrint Archive, Paper 2024/709},
      year = {2024},
      note = {\url{https://eprint.iacr.org/2024/709}},
      url = {https://eprint.iacr.org/2024/709}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.