Title | Sleuth: Automated Verification of Software Power Analysis Countermeasures |
---|---|
Booktitle | CHES |
Pages | 293-310 |
Year | 2013 |
URL | Search for the paper |
DOI | 10.1007/978-3-642-40349-1_17 (link) |
Author | Ali Galip Bayrak |
Author | Francesco Regazzoni |
Author | David Novo |
Author | Paolo Ienne |
@inproceedings{ches-2013-24765, title={Sleuth: Automated Verification of Software Power Analysis Countermeasures}, booktitle={CHES}, publisher={Springer}, pages={293-310}, doi={10.1007/978-3-642-40349-1_17}, author={Ali Galip Bayrak and Francesco Regazzoni and David Novo and Paolo Ienne}, year=2013 }