Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards

Hartog den, J.I. and Vink de, E.P. (2004) Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. In: Proceedings 2nd Int. Workshop on Formal Aspect of Security and Trust.

Preview

PDF
175Kb

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
Item Type:	Conference or Workshop Item
Copyright:	©2004 Kluwer Academic Publishers
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/49635
Official URL:	http://dx.doi.org/10.1007/0-387-24098-5_7
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 222265