PINPAS JC, Program INferred Power-Analysis in Software for Java Card (TIF.6687)

The PINPAS JC project studies side-channel attacks on smartcards, in particular fault attacks for the JavaCard platform. Various fault-based and related attacks will be assessed on their impact for JavaCard, both at the source code as well as the assembler code level. The formal method JML will be used to specify security requirements and to prove safety of reference applets. In order to facilitate experiments a software environment will be constructed. This tool can also be exploited for the validation of the impact rating and counter measures developed during the project.