Smart Card Research and Advanced Applications

1. Front Matter

   Pages I-XII

   PDF

2. Security Technologies - Session Chair: Benedikt Gierlichs

   1. Front Matter

      Pages 1-1

      PDF

   2. Evaluation of ASIC Implementation of Physical Random Number Generators Using RS Latches

      • Hirotaka Kokubo, Dai Yamamoto, Masahiko Takenaka, Kouichi Itoh, Naoya Torii

      Pages 3-15

   3. From New Technologies to New Solutions

      • Stéphanie Kerckhof, François-Xavier Standaert, Eric Peeters

      Pages 16-29

3. Attacks on Masking - Session Chair: Michael Hutter

   1. Front Matter

      Pages 31-31

      PDF

   2. Low Entropy Masking Schemes, Revisited

      • Vincent Grosso, François-Xavier Standaert, Emmanuel Prouff

      Pages 33-43

   3. On the Vulnerability of Low Entropy Masking Schemes

      • Xin Ye, Thomas Eisenbarth

      Pages 44-60

   4. A Machine Learning Approach Against a Masked AES

      • Liran Lerman, Stephane Fernandes Medeiros, Gianluca Bontempi, Olivier Markowitch

      Pages 61-75

4. Side Channel Attacks - Session Chair: François-Xavier Standaert

   1. Front Matter

      Pages 77-77

      PDF

   2. Clustering Algorithms for Non-profiled Single-Execution Attacks on Exponentiations

      • Johann Heyszl, Andreas Ibing, Stefan Mangard, Fabrizio De Santis, Georg Sigl

      Pages 79-93

   3. Optimization of Power Analysis Using Neural Network

      • Zdenek Martinasek, Jan Hajny, Lukas Malina

      Pages 94-107

   4. Time-Frequency Analysis for Second-Order Attacks

      • Pierre Belgarric, Shivam Bhasin, Nicolas Bruneau, Jean-Luc Danger, Nicolas Debande, Sylvain Guilley et al.

      Pages 108-122

5. Software and Protocol Analysis - Session Chair: Lex Schoonen

   1. Front Matter

      Pages 123-123

      PDF

   2. Vulnerability Analysis of a Commercial .NET Smart Card

      • Behrang Fouladi, Konstantinos Markantonakis, Keith Mayes

      Pages 125-139

   3. Manipulating the Frame Information with an Underflow Attack

      • Emilie Faugeron

      Pages 140-151

   4. Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol

      • Ali Alshehri, Steve Schneider

      Pages 152-167

6. Side Channel Countermeasures - Session Chair: Svetla Nikova

   1. Front Matter

      Pages 169-169

      PDF

   2. Revisiting Atomic Patterns for Scalar Multiplications on Elliptic Curves

      • Franck Rondepierre

      Pages 171-186

   3. Efficient and First-Order DPA Resistant Implementations of Keccak

      • Begül Bilgin, Joan Daemen, Ventzislav Nikov, Svetla Nikova, Vincent Rijmen, Gilles Van Assche

      Pages 187-199

   4. Practical Analysis of RSA Countermeasures Against Side-Channel Electromagnetic Attacks

      • Guilherme Perin, Laurent Imbert, Lionel Torres, Philippe Maurine

      Pages 200-215

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Smart Card Research and Advanced Applications, CARDIS 2013, held in Berlin, Germany, in November 2013. The 17 revised full papers presented in this book were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on security technologies; attacks on masking; side channel attacks; software and protocol analysis; side channel countermeasures; and side channel and fault attacks.

• countermeasures
• formal methods
• human and societal aspects of security and privacy
• mask attacks
• protocol analysis
• security
• security in hardware
• security services
• side channel analysis
• smart cards
• software analysis
• software and application security

• EURECOM, Biot, France

  Aurélien Francillon

• Cryptography Research Inc., San Francisco, USA

  Pankaj Rohatgi

Policies and ethics