Sleuth: Automated Verification of Software Power Analysis Countermeasures.

Ali Galip Bayrak, Francesco Regazzoni, David Novo, Paolo Ienne

Browse the full CHES paper archive.