• 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 14 matches

• 1996
• 
  Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz:
  Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996
• 
  Thomas J. Alexandre:
  Biometrics on Smartcards: An Approach to Keyboard Behavioral Signature. CARDIS 1996
• 
  Patrick Biget, Patrick George, Jean-Jacques Vandewalle:
  How Smart Cards Can Take Benefits from Object-Oriented Technologies? CARDIS 1996
• 
  David Carlier, Sylvain Lecomte, Patrick Trane:
  Agent and Smart Card based System for User's Mobility. CARDIS 1996
• 
  Josep Domingo-Ferrer:
  Multi-Application Smart Cards and Encrypted Data Processing. CARDIS 1996
• 
  Ronald Ferreira, Ralf Malzahn, Peter Marissen, Jean-Jacques Quisquater, Thomas Wille:
  FAME: A 3rd Generation Coprocessor for Optimising Public Key Cryptosystems in Smart Card Applications. CARDIS 1996
• 
  Hugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz:
  Structuring and Visualising an IC-card Security Standard. CARDIS 1996
• 
  Pieter H. Hartel, Jean-Jacques Quisquater:
  Introduction to CARDIS 1996. CARDIS 1996
• 
  Henk D. L. Hollmann, Jean-Paul M. G. Linnartz, Jacobus H. van Lint, C. P. M. J. Baggen:
  Protection of Software Algorithms Executed on Secure Microprocessors. CARDIS 1996
• 
  Yongdae Kim, Sangjin Lee, Choonsik Park:
  On the Design of a Stream Cipher and a Hash Function Suitable to Smart Card Applications. CARDIS 1996
• 
  Renaud Lecat, Jean-Jacques Quisquater:
  Efficient Compression Algorithms for Smart Cards. CARDIS 1996
• 
  David Naccache, David M'Raïhi:
  Arithmetic co-processors for public-key cryptography: The state of the art. CARDIS 1996
• 
  Bruce Schneier, John Kelsey:
  Authenticating Outputs of Computer Software Using a Cryptographic Coprocessor. CARDIS 1996
• 
  Proceedings of the Second Smart Card Research and Advanced Application Conference, CARDIS 1996, September 18-20, 1996, CWI, Amsterdam, The Netherlands. 1996 [contents]