Smart Card Research and Advanced Applications

1. Front Matter

   PDF

2. Malicious Code on Java Card Smartcards: Attacks and Countermeasures

   • Wojciech Mostowski, Erik Poll

   Pages 1-16

3. Static Program Analysis for Java Card Applets

   • Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis

   Pages 17-31

4. On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards

   • Dorina Ghindici, Isabelle Simplot-Ryl

   Pages 32-47

5. New Differential Fault Analysis on AES Key Schedule: Two Faults Are Enough

   • Chong Hee Kim, Jean-Jacques Quisquater

   Pages 48-60

6. DSA Signature Scheme Immune to the Fault Cryptanalysis

   • Maciej Nikodem

   Pages 61-73

7. A Black Hen Lays White Eggs

   • Masayuki Yoshino, Katsuyuki Okeya, Camille Vuillaume

   Pages 74-88

8. Ultra-Lightweight Implementations for Smart Devices – Security for 1000 Gate Equivalents

   • Carsten Rolfes, Axel Poschmann, Gregor Leander, Christof Paar

   Pages 89-103

9. Fast Hash-Based Signatures on Constrained Devices

   • Sebastian Rohde, Thomas Eisenbarth, Erik Dahmen, Johannes Buchmann, Christof Paar

   Pages 104-117

10. Fraud Detection and Prevention in Smart Card Based Environments Using Artificial Intelligence

    • Wael William Zakhari Malek, Keith Mayes, Kostas Markantonakis

    Pages 118-132

11. The Trusted Execution Module: Commodity General-Purpose Trusted Computing

    • Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas

    Pages 133-148

12. Management of Multiple Cards in NFC-Devices

    • Gerald Madlmayr, Oliver Dillinger, Josef Langer, Josef Scharinger

    Pages 149-161

13. Coupon Recalculation for the GPS Authentication Scheme

    • Georg Hofferek, Johannes Wolkerstorfer

    Pages 162-175

14. Provably Secure Grouping-Proofs for RFID Tags

    • Mike Burmester, Breno de Medeiros, Rossana Motta

    Pages 176-190

15. Secure Implementation of the Stern Authentication and Signature Schemes for Low-Resource Devices

    • Pierre-Louis Cayrel, Philippe Gaborit, Emmanuel Prouff

    Pages 191-205

16. A Practical DPA Countermeasure with BDD Architecture

    • Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani

    Pages 206-217

17. SCARE of an Unknown Hardware Feistel Implementation

    • Denis Réal, Vivien Dubois, Anne-Marie Guilloux, Frédéric Valette, Mhamed Drissi

    Pages 218-227

18. Evaluation of Java Card Performance

    • Samia Bouzefrane, Julien Cordry, Hervé Meunier, Pierre Paradinas

    Pages 228-240

19. Application of Network Smart Cards to Citizens Identification Systems

    • Joaquin Torres, Mildrey Carbonell, Jesus Tellez, Jose M. Sierra

    Pages 241-254

20. SmartPro: A Smart Card Based Digital Content Protection for Professional Workflow

    • Alain Durand, Marc Éluard, Sylvain Lelievre, Christophe Vincent

    Pages 255-266

This book constitutes the refereed proceedings of the 8th International Conference on Smart Card Research and Advanced Applications, CARDIS 2008, held in London, UK, in September 2008. The 21 revised full papers presented, together with the abstract of one invited talk, were carefully reviewed and selected from 51 submissions. The papers deal with the various issues related to the use of small electronic tokens in the process of human-machine interactions. The conference scopes include numerous subfields such as networking, efficient implementations, physical security, biometrics, etc.

• IFIP
• authentication
• benchmark
• communication security
• cryptanalysis
• cryptographic protocols
• cryptology
• digital signatures
• efficient implementation
• embedded security
• hash based cryptography
• information security
• network security
• security
• trust

Policies and ethics