Skip to main content
SpringerLink
Log in

Smart Card. Research and Applications

Third International Conference, CARDIS'98 Louvain-la-Neuve, Belgium, September 14-16, 1998 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Jean-Jacques Quisquater

    1. UCL Crypto Group,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruce Schneier

    1. BT Counterpane, Santa Clara

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1820)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Session 1: Electronic Money and Commerce

    1. User-Defined Divisibility of Ecash and a Practical Implementation

      • Eli Biham, Amichai Shulman
      Pages 1-18

    2. An Operational Model of QuickPay

      • Pieter H. Hartel, Jake Hill, Matt Sims
      Pages 19-28

    3. Interoperable and Untraceable Debit-Tokens for Electronic Fee Collection

      • Cristian Radu, Frederic Klopfert, Jan de Meester
      Pages 29-42

    4. The Banksys Signature Transport (BST) Protocol

      • Michel Dawirs, Joan Daemen
      Pages 43-51

  3. Session 2: The Java Card I

    1. The OpenCard Framework

      • Reto Hermann, Dirk Husemann, Peter Trommler
      Pages 52-70

    2. Smartcards – From Security Tokens to Intelligent Adjuncts

      • Boris Balacheff, Bruno van Wilder, David Chan
      Pages 71-84

    3. Formal Proof of Smart Card Applets Correctness

      • Jean-Louis Lanet, Antoine Requet
      Pages 85-97

  4. Session 3: The Java Card II

    1. Smart Card Payment over Internet with Privacy Protection

      • Pui-Nang Chan, Samuel T. Chanson, Ricci Ieong, James Pang
      Pages 98-104

    2. Developing Smart Card-Based Applications Using Java Card

      • Jean-Jacques Vandewalle, Eric Vétillard
      Pages 105-124

    3. The Performance of Modern Block Ciphers in JAVA

      • Rüdiger Weis, Stefan Lucks
      Pages 125-133

    4. Recoverable Persistent Memory for SmartCard

      • Didier Donsez, Gilles Grimaud, Sylvain Lecomte
      Pages 134-140

  5. Session 4: Attacks and Dealing with Speci c Threats

    1. Pirate Card Rejection

      • David M. Goldschlag, David W. Kravitz
      Pages 141-149

    2. Secure Authentication with Multiple Parallel Keys

      • John Kelsey, Bruce Schneier
      Pages 150-156

    3. Relaxing Tamper-Resistance Requirements for Smart Cards by Using (Auto-)Proxy Signatures

      • Marc Girault
      Pages 157-166

    4. A Practical Implementation of the Timing Attack

      • Jean-François Dhem, François Koeune, Philippe-Alexandre Leroux, Patrick Mestré, Jean-Jacques Quisquater, Jean-Louis Willems
      Pages 167-182

  6. Session 5: Authentication

    1. Techniques for Low Cost Authentication and Message Authentication

      • Henri Gilbert
      Pages 183-192

    2. Enhancing SESAMEV4 with Smart Cards

      • Mark Looi, Paul Ashley, Loo Tang Seet, Richard Au, Gary Gaskell, Mark Vandenwauver
      Pages 193-202

    3. How to Say “YES” with Smart Cards

      • Yair Frankel, Moti Yung
      Pages 203-212

  7. Session 6: Cryptography and Applications

    1. An Efficient Verifiable Encryption Scheme for Encryption of Discrete Logarithms

      • Feng Bao
      Pages 213-220
Back to top

Keywords

About this book

Smart cards have been driven by the need for a secure, portable, computing platform. Hence it is no surprise that security considerations dominated their research. The CARDIS conferences were created to provide a forum for this research. CARDIS 1998 is the third international conference on Smart Card Research and Advanced Applications, held in Louvain-la-Neuve, Belgium, 14-16 Sept- ber 1998. The ?rst CARDIS was held in Lille, France in November 1994, and the second was held in Amsterdam, The Netherlands in September 1996. The fourth CARDIS is scheduled to take place in Bristol, UK in September 2000 (http://www.cardis.org). This volume contains the refereed papers presented at CARDIS 1998. These 35 papers were ?rst published in a pre-proceedings and distributed to the - tendees at the conference; they have subsequently been revised and updated for this volume. The papers discuss all aspects of smart-card research: Java cards, elect- nic commerce applications, e?ciency, security (including cryptographic al- rithms, cryptographic protocols, and authentication), and architecture. Subm- sions from Europe, the U.S., Asia, and Australia show that this is indeed an international area of research, and one that is becoming more popular as pr- tical demand for smart cards increase. We wish to thank the Program Committee members who did an excellent job in reviewing papers and providing feedback to the authors.

Editors and Affiliations

  • UCL Crypto Group,  

    Jean-Jacques Quisquater

  • BT Counterpane, Santa Clara

    Bruce Schneier

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation