- Record: found
- Abstract: found
- Book Chapter: found
Computer Aided Verification
SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references41
- Record: found
- Abstract: not found
- Book Chapter: not found
Private Circuits: Securing Hardware against Probing Attacks
Yuval Ishai, Amit Sahai, David N Wagner (2003)
- Record: found
- Abstract: not found
- Book Chapter: not found
Differential fault analysis of secret key cryptosystems
Eli Biham, Adi Shamir (1997)
- Record: found
- Abstract: not found
- Book Chapter: not found
ElectroMagnetic Analysis (EMA): Measures and Counter-measures for Smart Cards
Jean-Jacques Quisquater, David Samyde (2001)