Pages that link to "Item:Q1648840"
From MaRDI portal
The following pages link to Formal verification of masked hardware implementations in the presence of glitches (Q1648840):
Displaying 11 items.
- Secure hardware implementation of nonlinear functions in the presence of glitches (Q656517) (← links)
- Formal verification of side-channel countermeasures via elementary circuit transformations (Q1656021) (← links)
- A methodology for the characterisation of leakages in combinatorial logic (Q1989635) (← links)
- Fast verification of masking schemes in characteristic two (Q2056733) (← links)
- Towards tight random probing security (Q2128995) (← links)
- Proving SIFA protection of masked redundant circuits (Q2147200) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- SILVER -- statistical independence and leakage verification (Q2692368) (← links)
- Effective and efficient masking with low noise using small-Mersenne-prime ciphers (Q6061536) (← links)
- Formal verification of arithmetic masking in hardware and software (Q6535070) (← links)
- Automated verification of correctness for masked arithmetic programs (Q6535686) (← links)