Pages that link to "Item:Q2948340"
From MaRDI portal
The following pages link to Verified Proofs of Higher-Order Masking (Q2948340):
Displaying 12 items.
- Correlation power analysis and higher-order masking implementation of WAGE (Q832394) (← links)
- Statistical properties of side-channel and fault injection attacks using coding theory (Q1749798) (← links)
- Side-channel masking with pseudo-random generator (Q2055660) (← links)
- Random probing security: verification, composition, expansion and new constructions (Q2096491) (← links)
- Proving SIFA protection of masked redundant circuits (Q2147200) (← links)
- SILVER -- statistical independence and leakage verification (Q2692368) (← links)
- Cryptanalysis of masked ciphers: a not so random idea (Q2692369) (← links)
- Security Evaluation Against Side-Channel Analysis at Compilation Time (Q3294874) (← links)
- Vectorizing Higher-Order Masking (Q3297549) (← links)
- Compositional Synthesis of Leakage Resilient Programs (Q3304821) (← links)
- Detecting Flawed Masking Schemes with Leakage Detection Tests (Q4639478) (← links)
- Masking the GLP lattice-based signature scheme at any order (Q6182002) (← links)
