Paper 2026/1534
Masking, Sequences, and FALCON: A Theoretical Study on Masking Strategies Using Sequences for Non-Linear Operators in the FALCON Post-Quantum Signature
, CEA LETIAbstract
Post-Quantum Cryptography is now in its deployment phase. Amongst the threats encountered in real-world applications is Side Channel Analysis, a cryptanalysis branch relying on the study of physical leakages from unsecured implementations. However, the FALCON post-quantum signature includes non-linear functions on real numbers, and applying the generic masking countermeasure to these functions has only been recently studied. In this work, we use convergent sequences to approximate the function and a minimax polynomial to compute the first term of the sequence. The method is applied to the computation of the inverse, the inverse square root and the square root in FALCON. A theoretical analysis of the security in the t-probing model using the NI criterion and its variants is proposed. Compared to the existing state-of-the-art which only covers the inversion for floating-point implementation, this paper is generic and works with any representation and precision for real numbers.
Metadata
- Available format(s)
-
PDF
- Category
- Public-key cryptography
- Publication info
- Preprint.
- Keywords
- Post-Quantum CryptographyFALCONSide-Channel AnalysisMaskingSequencesArithmetisationSNI
- Contact author(s)
- pierre-augustin berthet @ cea fr
- History
- 2026-08-04: revised
- 2026-07-27: received
- See all versions
- Short URL
- https://ia.cr/2026/1534
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2026/1534,
author = {Pierre-Augustin Berthet},
title = {Masking, Sequences, and {FALCON}: A Theoretical Study on Masking Strategies Using Sequences for Non-Linear Operators in the {FALCON} Post-Quantum Signature},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/1534},
year = {2026},
url = {https://eprint.iacr.org/2026/1534}
}
