International Association for Cryptologic Research
IACR paper details
| Title | Sleuth: Automated Verification of Software Power Analysis Countermeasures |
|---|---|
| Booktitle | CHES |
| Pages | 293-310 |
| Year | 2013 |
| URL | https://www.iacr.org/archive/ches2013/80860192/80860192.pdf |
| 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},
url={https://www.iacr.org/archive/ches2013/80860192/80860192.pdf},
doi={10.1007/978-3-642-40349-1_17},
author={Ali Galip Bayrak and Francesco Regazzoni and David Novo and Paolo Ienne},
year=2013
}