@conference {18066, title = {Sleuth: Automated Verification of Software Power Analysis Countermeasures}, booktitle = {Workshop on Cryptographic Hardware and Embedded Systems (CHES)}, year = {2013}, month = {August}, address = {Santa Barbara, California, USA}, author = {Bayrak, Ali Galip and Regazzoni, Francesco and Novo Bruna, David and Ienne, Paolo} }