Smart Card Research and Advanced Applications

1. Front Matter

   PDF

2. Smart Cards System Security

   1. Evaluation of the Ability to Transform SIM Applications into Hostile Applications

      • Guillaume Bouffard, Jean-Louis Lanet, Jean-Baptiste Machemie, Jean-Yves Poichotte, Jean-Philippe Wary

      Pages 1-17

   2. Synchronized Attacks on Multithreaded Systems - Application to Java Card 3.0 -

      • Guillaume Barbu, Hugues Thiebeauld

      Pages 18-33

   3. A Formal Security Model of a Smart Card Web Server

      • Pierre Neron, Quang-Huy Nguyen

      Pages 34-49

3. Invasive Attacks

   1. Differential Fault Analysis of AES-128 Key Schedule Using a Single Multi-byte Fault

      • Sk Subidh Ali, Debdeep Mukhopadhyay

      Pages 50-64

   2. Combined Fault and Side-Channel Attack on Protected Implementations of AES

      • Thomas Roche, Victor Lomné, Karim Khalfallah

      Pages 65-83

   3. Memory-Efficient Fault Countermeasures

      • Marc Joye, Mohamed Karroumi

      Pages 84-101

4. New Algorithms and Protocols

   1. Redundant Modular Reduction Algorithms

      • Vincent Dupaquis, Alexandre Venelli

      Pages 102-114

   2. Fresh Re-keying II: Securing Multiple Parties against Side-Channel and Fault Attacks

      • Marcel Medwed, Christoph Petit, Francesco Regazzoni, Mathieu Renauld, François-Xavier Standaert

      Pages 115-132

   3. Fast Key Recovery Attack on ARMADILLO1 and Variants

      • Pouyan Sepehrdad, Petr Sušil, Serge Vaudenay

      Pages 133-150

5. Implementations and Hardware Security 1

   1. Implementation and Evaluation of an SCA-Resistant Embedded Processor

      • Stefan Tillich, Mario Kirschbaum, Alexander Szekely

      Pages 151-165

   2. Evaluating 16-Bit Processors for Elliptic Curve Cryptography

      • Erich Wenger, Mario Werner

      Pages 166-181

   3. A Hardware Processor Supporting Elliptic Curve Cryptography for Less than 9 kGEs

      • Erich Wenger, Michael Hutter

      Pages 182-198

6. Implementations and Hardware Security 2

   1. Memory Encryption for Smart Cards

      • Barış Ege, Elif Bilge Kavun, Tolga Yalçın

      Pages 199-216

   2. Compact FPGA Implementations of the Five SHA-3 Finalists

      • Stéphanie Kerckhof, François Durvaux, Nicolas Veyrat-Charvillon, Francesco Regazzoni, Guerric Meurice de Dormale, François-Xavier Standaert

      Pages 217-233

7. Non-invasive Attacks

   1. An Exploration of the Kolmogorov-Smirnov Test as a Competitor to Mutual Information Analysis

      • Carolyn Whitnall, Elisabeth Oswald, Luke Mather

      Pages 234-251

   2. A High-Performance Implementation of Differential Power Analysis on Graphics Cards

      • Timo Bartkewitz, Kerstin Lemke-Rust

      Pages 252-265

   3. RAM: Rapid Alignment Method

      • Ruben A. Muijrers, Jasper G. J. van Woudenberg, Lejla Batina

      Pages 266-282

8. Java Card Security

   1. Combined Software and Hardware Attacks on the Java Card Control Flow

      • Guillaume Bouffard, Julien Iguchi-Cartigny, Jean-Louis Lanet

      Pages 283-296

   2. Java Card Operand Stack: Fault Attacks, Combined Attacks and Countermeasures

      • Guillaume Barbu, Guillaume Duc, Philippe Hoogvorst

      Pages 297-313

This book constitutes the thoroughly refereed post-conference proceedings of the 10th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications, CARDIS 2011, held in Leuven, Belgium, in September 2011. The 20 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on smart cards system security, invasive attacks, new algorithms and protocols, implementations and hardware security, non-invasive attacks, and Java card security.

• AES
• elliptic curve cryptography
• embedded systems
• memory encryption
• side-channel attacks
• algorithm analysis and problem complexity

• Oberthur Technologies, Nanterre Cedex, France

  Emmanuel Prouff

Policies and ethics