Pages that link to "Item:Q1656021"
From MaRDI portal
The following pages link to Formal verification of side-channel countermeasures via elementary circuit transformations (Q1656021):
Displaying 5 items.
- Formal verification of masked hardware implementations in the presence of glitches (Q1648840) (← links)
- Side-channel masking with pseudo-random generator (Q2055660) (← links)
- Random probing security: verification, composition, expansion and new constructions (Q2096491) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- SILVER -- statistical independence and leakage verification (Q2692368) (← links)