Smart Card Research and Advanced Applications

1. Front Matter

   PDF

2. Java Card Security

   1. Towards the Hardware Accelerated Defensive Virtual Machine – Type and Bound Protection

      • Michael Lackner, Reinhard Berlach, Johannes Loinig, Reinhold Weiss, Christian Steger

      Pages 1-15

   2. Dynamic Fault Injection Countermeasure

      • Guillaume Barbu, Philippe Andouard, Christophe Giraud

      Pages 16-30

   3. Java Card Combined Attacks with Localization-Agnostic Fault Injection

      • Julien Lancia

      Pages 31-45

3. Protocols

   1. Improved (and Practical) Public-Key Authentication for UHF RFID Tags

      • Sébastien Canard, Loïc Ferreira, Matt Robshaw

      Pages 46-61

   2. Unlinkable Attribute-Based Credentials with Practical Revocation on Smart-Cards

      • Jan Hajny, Lukas Malina

      Pages 62-76

4. Side-Channel Attacks I

   1. On the Use of Shamir’s Secret Sharing against Side-Channel Analysis

      • Jean-Sébastien Coron, Emmanuel Prouff, Thomas Roche

      Pages 77-90

   2. Secure Multiple SBoxes Implementation with Arithmetically Masked Input

      • Luk Bettale

      Pages 91-105

   3. Low-Cost Countermeasure against RPA

      • Jean-Luc Danger, Sylvain Guilley, Philippe Hoogvorst, Cédric Murdica, David Naccache

      Pages 106-122

   4. Efficient Removal of Random Delays from Embedded Software Implementations Using Hidden Markov Models

      • François Durvaux, Mathieu Renauld, François-Xavier Standaert, Loic van Oldeneel tot Oldenzeel, Nicolas Veyrat-Charvillon

      Pages 123-140

5. Implementations

   1. On the Implementation Aspects of Sponge-Based Authenticated Encryption for Pervasive Devices

      • Tolga Yalçın, Elif Bilge Kavun

      Pages 141-157

   2. Compact Implementation and Performance Evaluation of Hash Functions in ATtiny Devices

      • Josep Balasch, Bariş Ege, Thomas Eisenbarth, Benoit Gérard, Zheng Gong, Tim Güneysu et al.

      Pages 158-172

   3. Putting together What Fits together - GrÆStl

      • Markus Pelnar, Michael Muehlberghuber, Michael Hutter

      Pages 173-187

6. Implementations for Resource-Constrained Devices

   1. Memory Access Pattern Protection for Resource-Constrained Devices

      • Yuto Nakano, Carlos Cid, Shinsaku Kiyomoto, Yutaka Miyake

      Pages 188-202

   2. Multipurpose Cryptographic Primitive ARMADILLO3

      • Petr Sušil, Serge Vaudenay

      Pages 203-218

7. Side-Channel Attacks II

   1. Improving Side-Channel Analysis with Optimal Linear Transforms

      • David Oswald, Christof Paar

      Pages 219-233

   2. SCA with Magnitude Squared Coherence

      • Sebastien Tiran, Philippe Maurine

      Pages 234-247

   3. Strengths and Limitations of High-Resolution Electromagnetic Field Measurements for Side-Channel Analysis

      • Johann Heyszl, Dominik Merli, Benedikt Heinz, Fabrizio De Santis, Georg Sigl

      Pages 248-262

   4. Efficient Template Attacks Based on Probabilistic Multi-class Support Vector Machines

      • Timo Bartkewitz, Kerstin Lemke-Rust

      Pages 263-276

8. Invited Talk

   1. Defensive Leakage Camouflage

      • Eric Brier, Fortier Quentin, Roman Korkikian, K. W. Magld, David Naccache, Guilherme Ozari de Almeida et al.

      Pages 277-295

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Smart Card Research and Advanced Applications, CARDIS 2012, held in Graz, Austria, in November 2012. The 18 revised full papers presented together with an invited talk were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on Java card security, protocols, side-channel attacks, implementations, and implementations for resource-constrained devices.

• AES
• elliptic curve cryptosystem
• embedded systems
• pervasive computing
• side-channel attacks
• algorithm analysis and problem complexity

• Infineon Technologies AG, Neubiberg, Germany

  Stefan Mangard

Policies and ethics