• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2002
• 
  Richard Brinkman, Jaap-Henk Hoepman:
  Secure Method Invocation in JASON. CARDIS 2002: 29-40
• 
  Sébastien Canard, Marc Girault:
  Implementing Group Signature Schemes with Smart Cards. CARDIS 2002: 1-10
• 
  Ulf Carlsen:
  The QX Smart Card Operating System. CARDIS 2002
• 
  Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov:
  Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96
• 
  Vincent Cordonnier:
  From the Smart Card to the Smart Assistant. CARDIS 2002
• 
  Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé:
  MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services. CARDIS 2002: 125-134
• 
  Marc Éluard, Thomas P. Jensen:
  Secure Object Flow Analysis for Java Card. CARDIS 2002: 97-110
• 
  Antonio Valverde Garcia, Jean-Pierre Seifert:
  On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor. CARDIS 2002: 135-146
• 
  Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen:
  Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders. CARDIS 2002
• 
  Pieter H. Hartel:
  The State of WG 8.8. CARDIS 2002
• 
  Peter Honeyman:
  Welcome to CARDIS 02. CARDIS 2002
• 
  David Hwang, Bo-Cheng Lai, Patrick Schaumont, Ingrid Verbauwhede:
  A Security Protocol for Biometric Smart Cards. CARDIS 2002
• 
  Marc Joye, Karine Villegas:
  A Protected Division Algorithm. CARDIS 2002
• 
  Roger Kilian-Kehr, Joachim Posegga:
  Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18
• 
  Sergio Loureiro, Laurent Bussard, Yves Roudier:
  Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. CARDIS 2002: 111-124
• 
  Erik Poll, Pieter H. Hartel, Eduard de Jong:
  A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002: 75-86
• 
  Jean-Jacques Quisquater:
  Awards. CARDIS 2002
• 
  Jean-Jacques Quisquater, David Samyde:
  Automatic Code Recognition for Smartcards Using a Kohonen Neural Network. CARDIS 2002
• 
  Luciano Rila, Chris J. Mitchell:
  Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication. CARDIS 2002
• 
  Colin D. Walter:
  Breaking the Liardet-Smart Randomized Exponentiation Algorithm. CARDIS 2002: 59-68
• 
  Peter Honeyman:
  Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS '02, November 21-22, 2002, San Jose, CA, USA. USENIX 2002, ISBN 1-931971-04-8 [contents]