Open access
Jul 2026
LFSRs and Boolean Masking: An In-depth Security Analysis
This work introduces the first verification framework that jointly analyzes a pseudorandom number generator— specifically, but not limited to, a linear feedback shift register—and a masking scheme, in the d-probing model, in the d-probing model.
Anna Guinet, J. Schoone, Niklas Höher et al.
· IACR Cryptology ePrint Archi... · 0 citations