Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards

Share/Save/Bookmark

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

open access
[img]
Preview
PDF
179kB
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:
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

 

Repository Staff Only: item control page

Metis ID: 222265