Proving SIFA protection of masked redundant circuits
From MaRDI portal
Publication:2147200
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
Uses Software
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