Formal verification of masked hardware implementations in the presence of glitches
From MaRDI portal
(Redirected from Publication:1648840)
Recommendations
- Formal verification of side-channel countermeasures via elementary circuit transformations
- SILVER -- statistical independence and leakage verification
- Secure Hardware Implementation of Non-linear Functions in the Presence of Glitches
- Secure hardware implementation of nonlinear functions in the presence of glitches
- Detecting flawed masking schemes with leakage detection tests
Cited in
(15)- Towards tight random probing security
- A methodology for the characterisation of leakages in combinatorial logic
- Fast verification of masking schemes in characteristic two
- Secure and efficient software masking on superscalar pipelined processors
- Formal verification of side-channel countermeasures via elementary circuit transformations
- Detecting flawed masking schemes with leakage detection tests
- SILVER -- statistical independence and leakage verification
- Handcrafting: improving automated masking in hardware with manual optimizations
- Secure hardware implementation of nonlinear functions in the presence of glitches
- Effective and efficient masking with low noise using small-Mersenne-prime ciphers
- Automated verification of correctness for masked arithmetic programs
- The first thorough side-channel hardware Trojan
- Formal verification of arithmetic masking in hardware and software
- Formal verification of side-channel countermeasures using self-composition
- Proving SIFA protection of masked redundant circuits
This page was built for publication: Formal verification of masked hardware implementations in the presence of glitches
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648840)
