Handcrafting: improving automated masking in hardware with manual optimizations
From MaRDI portal
Publication:6086404
DOI10.1007/978-3-030-99766-3_12OpenAlexW4221070014MaRDI QIDQ6086404
Charles Momin, François-Xavier Standaert, Gaëtan Cassiers
Publication date: 12 December 2023
Published in: Constructive Side-Channel Analysis and Secure Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-99766-3_12
formal verificationside-channel attacksmasking countermeasureAES Rijndaelefficient hardware implementations
Cites Work
- Secure hardware implementation of nonlinear functions in the presence of glitches
- Formal verification of masked hardware implementations in the presence of glitches
- Masking AES with \(d+1\) shares in hardware
- Tornado: automatic generation of probing-secure masked bitsliced implementations
- SILVER -- statistical independence and leakage verification
- Higher-Order Side Channel Security and Mask Refreshing
- Verified Proofs of Higher-Order Masking
- An Efficient Side-Channel Protected AES Implementation with Arbitrary Protection Order
- Hardware Private Circuits: From Trivial Composition to Full Verification
- Towards sound approaches to counteract power-analysis attacks
- Topics in Cryptology – CT-RSA 2005
This page was built for publication: Handcrafting: improving automated masking in hardware with manual optimizations
