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.
• Pieter H. Hartel: The State of WG 8.8.
• Jean-Jacques Quisquater: Awards.

Keynote Address

• Vincent Cordonnier:
  From the Smart Card to the Smart Assistant.
  

Digital Signatures

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

Secure Systems

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

Work in Progress and Other Outrageous Opinions

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

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.
  
• Colin D. Walter:
  Breaking the Liardet-Smart Randomized Exponentiation Algorithm. 59-68
  
• Marc Joye, Karine Villegas:
  A Protected Division Algorithm.
  

Formal Methods

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

Applications of Tamper-Resistant Hardware

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

Closing Session

Last update Tue Feb 14 03:50:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page