International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Sleuth: Automated Verification of Software Power Analysis Countermeasures

Authors:
Ali Galip Bayrak
Francesco Regazzoni
David Novo
Paolo Ienne
Download:
DOI: 10.1007/978-3-642-40349-1_17
URL: https://www.iacr.org/archive/ches2013/80860192/80860192.pdf
Search ePrint
Search Google
Conference: CHES 2013
BibTeX
@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
}