Sleuth: Automated Verification of Software Power Analysis Countermeasures
Additional information
Authors
Bayrak A. G.,
Regazzoni F.,
Novo Bruna D.,
Ienne P.
Type
Article in conference proceedings
Year
2013
Language
English
Conference proceedings
Workshop on Cryptographic Hardware and Embedded Systems (CHES)
Month
August
Meeting place
Santa Barbara, California, USA
