@inproceedings{7c38b6e2985547a9b3c81cf07e77dafa,
title = "Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards",
abstract = "This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study side-channel vulnerabilities. The tool can simulate side-channel leakage and has a suite of utilities to analyze this. The usage of the tool, for the analysis of a cryptographic algorithm is illustrated using the standard AES and RSA. Vulnerabilities of the implementations are identified and protective measures added. It is argued, that the tool can be instrumental for the design and realization of secure smartcard implementations in a systematic way.",
keywords = "Smartcad, Side-channel attack, Power analysis, Fault analysis, DPA, Simulation, Countermeasures, Systematic hardening",
author = "{den Hartog}, Jerry and {de Vink}, Erik",
year = "2004",
month = aug,
doi = "10.1007/0-387-24098-5_7",
language = "English",
isbn = "978-0-387-24050-3",
series = "IFIP International Federation for Information Processing",
publisher = "Springer",
pages = "85--98",
editor = "Theo Dimitrakos and Fabio Martinelli",
booktitle = "2nd Int. Workshop on Formal Aspect of Security and Trust (FAST)",
address = "Germany",
note = "IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust, FAST 2004, FAST ; Conference date: 22-08-2004 Through 27-08-2004",
}