Overview of Validating Falcon (FIPS 206 FN-DSA) (Q12c)
The Falcon lattice-based signature scheme (upcoming NIST FIPS 206 FN-DSA) introduces complexities in validation due to its use of floating-point arithmetic, which can generate different keys or signatures from the same seed. This talk will explore steps for validating Falcon implementations, addressing challenges posed by traditional methods of comparing outputs. Joint work with Maxime Bros (NIST PQC) and Chris Celi (NIST CAVP) will be presented.