Smart Card Research and Advanced Applications

TheseproceedingscontainthepapersselectedforpresentationatCARDIS 2010, the 9th IFIP Conference on Smart Card Research and Advanced Application hosted by the Institute of IT-Security and Security Law (ISL) of the University ofPassau,Germany.CARDISisorganizedbyIFIPWorkingGroupsWG8.8and WG 11.2. Since 1994, CARDIS has been the foremost international conference dedicated to smart card research and applications. Every second year leading researchers and practitioners meet to present new ideas and discuss recent - velopments in smart card technologies. Thefastevolutioninthe?eldofinformationsecurityrequiresadequatemeans for representing the user in human-machine interactions. Smart cards, and by extension smart devices with their processing power and their direct association with the user, are considered the ?rst choice for this purpose. A wide range of areas including hardware design, operating systems, systems modelling, cr- tography, and distributed systems contribute to this fast-growing technology. The submissions to CARDIS were reviewed by at least three members of the ProgramCommittee,followedbyatwo-weekdiscussionphaseheldelectronically, wherecommittee memberscouldcomment onall papersand allreviews.Finally, 16 papers were selected for presentation at CARDIS. There aremany volunteerswho o?ered their time and energy to put together the symposium and who deserve our acknowledgment. We want to thank all the members of the Program Committee and the external reviewers for their hard work in evaluating and discussing the submissions. We are also very grateful to JoachimPosegga,the GeneralChairof CARDIS 2010,andhisteam for thelocal conference management. Last, but certainly not least, our thanks go to all the authors who submitted papers and all the attendees. We hope you ?nd the proceedings stimulating.

Inhalt

Mathematical Algorithms.- The Polynomial Composition Problem in (?/n?)[X].- Enhance Multi-bit Spectral Analysis on Hiding in Temporal Dimension.- Secure Delegation of Elliptic-Curve Pairing.- Side Channel Analysis.- Side-Channel Leakage across Borders.- Designing a Side Channel Resistant Random Number Generator.- Simple Power Analysis on Exponentiation Revisited.- Atomicity Improvement for Elliptic Curve Scalar Multiplication.- Systems.- Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale.- Firewall Mechanism in a User Centric Smart Card Ownership Model.- Logical Attacks.- Combined Attacks and Countermeasures.- Attacks on Java Card 3.0 Combining Fault and Logical Attacks.- Fault Analysis.- Improved Fault Analysis of Signature Schemes.- When Clocks Fail: On Critical Paths and Clock Faults.- Privacy.- Modeling Privacy for Off-Line RFID Systems.- Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings.- On the Design and Implementation of an Efficient DAA Scheme.