Proving SIFA protection of masked redundant circuits

DOI10.1007/978-3-030-88885-5_17zbMath1497.68076arXiv2107.01917OpenAlexW3189973470MaRDI QIDQ2147200

Robert Primas, Vedad Hadzic, Roderick Bloem

Publication date: 22 June 2022

Full work available at URL: https://arxiv.org/abs/2107.01917

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Uses Software

• maskVerif

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• My gadget just cares for me -- how NINA can prove security against combined attacks
• Formal verification of masked hardware implementations in the presence of glitches
• Statistical ineffective fault attacks on masked AES with fault countermeasures
• Fault attacks on nonce-based authenticated encryption: application to Keyak and Ketje
• SILVER -- statistical independence and leakage verification
• Verified Proofs of Higher-Order Masking
• Reconciling $$d+1$$ Masking in Hardware and Software
• Advances in Cryptology - CRYPTO 2003
• Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

This page was built for publication: Proving SIFA protection of masked redundant circuits