Title | Sleuth: Automated Verification of Software Power Analysis Countermeasures |
Publication Type | Conference Paper |
Authors | Bayrak, A. Galip, F. Regazzoni, D. Novo Bruna, and P. Ienne |
Title | Sleuth: Automated Verification of Software Power Analysis Countermeasures |
Publication Type | Conference Paper |
Authors | Bayrak, A. Galip, F. Regazzoni, D. Novo Bruna, and P. Ienne |