5. CARDIS 2002: San Jose, CA, USA

@proceedings{DBLP:conf/cardis/2002,
  title     = {Proceedings of the Fifth Smart Card Research and Advanced Application
               Conference, CARDIS '02, November 21-22, 2002, San Jose, CA, USA},
  booktitle = {CARDIS},
  publisher = {USENIX},
  year      = {2002},
  isbn      = {1-931971-04-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Opening Remarks, Best Paper Awards

• Peter Honeyman: Welcome to CARDIS 02. BibTeX
• Pieter H. Hartel: The State of WG 8.8. BibTeX
• Jean-Jacques Quisquater: Awards. BibTeX

Keynote Address

• Vincent Cordonnier:
  From the Smart Card to the Smart Assistant.
  Electronic Edition (link) BibTeX

Digital Signatures

• Sébastien Canard, Marc Girault:
  Implementing Group Signature Schemes with Smart Cards. 1-10
  Electronic Edition (link) BibTeX
• Roger Kilian-Kehr, Joachim Posegga:
  Smart Cards in Interaction: Towards Trustworthy Digital Signatures. 11-18
  Electronic Edition (link) BibTeX

Secure Systems

• Luciano Rila, Chris J. Mitchell:
  Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication.
  Electronic Edition (link) BibTeX
• Richard Brinkman, Jaap-Henk Hoepman:
  Secure Method Invocation in JASON. 29-40
  Electronic Edition (link) BibTeX
• Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen:
  Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders.
  Electronic Edition (link) BibTeX

Work in Progress and Other Outrageous Opinions

• Ulf Carlsen: The QX Smart Card Operating System. BibTeX
• David Hwang, Bo-Cheng Lai, Patrick Schaumont, Ingrid Verbauwhede: A Security Protocol for Biometric Smart Cards. BibTeX

RESET Meeting

Panel Session: Trusted Computing: Who's in Control?

Side-channel Attacks

• Jean-Jacques Quisquater, David Samyde:
  Automatic Code Recognition for Smartcards Using a Kohonen Neural Network.
  Electronic Edition (link) BibTeX
• Colin D. Walter:
  Breaking the Liardet-Smart Randomized Exponentiation Algorithm. 59-68
  Electronic Edition (link) BibTeX
• Marc Joye, Karine Villegas:
  A Protected Division Algorithm.
  Electronic Edition (link) BibTeX

Formal Methods

• Erik Poll, Pieter H. Hartel, Eduard de Jong:
  A Java Reference Model of Transacted Memory for Smart Cards. 75-86
  Electronic Edition (link) BibTeX
• Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov:
  Model Checking of Multi-Applet JavaCard Applications. 87-96
  Electronic Edition (link) BibTeX
• Marc Éluard, Thomas P. Jensen:
  Secure Object Flow Analysis for Java Card. 97-110
  Electronic Edition (link) BibTeX

Applications of Tamper-Resistant Hardware

• Sergio Loureiro, Laurent Bussard, Yves Roudier:
  Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. 111-124
  Electronic Edition (link) BibTeX
• Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé:
  MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services. 125-134
  Electronic Edition (link) BibTeX
• Antonio Valverde Garcia, Jean-Pierre Seifert:
  On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor. 135-146
  Electronic Edition (link) BibTeX

Closing Session