Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards 
J.I. den Hartog and E.P. de Vink

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.