Pages that link to "Item:Q2692368"
From MaRDI portal
The following pages link to SILVER -- statistical independence and leakage verification (Q2692368):
Displaying 8 items.
- Formal verification of masked hardware implementations in the presence of glitches (Q1648840) (← 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)
- Effective and efficient masking with low noise using small-Mersenne-prime ciphers (Q6061536) (← links)
- Analyzing masked ciphers against transition and coupling effects (Q6157583) (← links)
- Improving first-order threshold implementations of \textsf{SKINNY} (Q6157588) (← links)
- Formal verification of arithmetic masking in hardware and software (Q6535070) (← links)