Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon

Gaëtan Cassiers, Thorben Moos, Amir Moradi 0001, Nicolai Müller, François-Xavier Standaert. Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon. IACR Cryptology ePrint Archive, 2026:809, 2026. [doi]

Abstract

Abstract is missing.