1. Java Card Workshop 2000: Cannes, France

@proceedings{DBLP:conf/javacard/2000,
  editor    = {Isabelle Attali and
               Thomas P. Jensen},
  title     = {Java on Smart Cards: Programming and Security, First International
               Workshop, JavaCard 2000, Cannes, France, September 14, 2000,
               Revised Papers},
  booktitle = {Java Card},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2041},
  year      = {2001},
  isbn      = {3-540-42167-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
  Formal Methods in Context: Security and Java Card. 1-5
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Bernhard Beckert:
  A Dynamic Logic for the Formal Verification of Java Card Programs. 6-24
  Electronic Edition (Springer LINK) BibTeX
• Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon:
  The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. 25-37
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Goré, Lan Duy Nguyen:
  CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. 38-51
  Electronic Edition (Springer LINK) BibTeX
• Pieter H. Hartel, Eduard de Jong:
  A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. 52-72
  Electronic Edition (Springer LINK) BibTeX
• Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman:
  Secure Internet Smartcards. 73-89
  Electronic Edition (Springer LINK) BibTeX
• Roger Kehr, Michael Rohs, Harald Vogt:
  Issues in Smartcard Middleware. 90-97
  Electronic Edition (Springer LINK) BibTeX
• Marc Kekicheff, Forough Kashef, David Brewer:
  Open Platform Security. 98-113
  Electronic Edition (Springer LINK) BibTeX
• Ksheerabdhi Krishna, Michael Montgomery:
  A Simple(r) Interface Distribution Mechanism for Java Card. 114-120
  Electronic Edition (Springer LINK) BibTeX
• Hugues Martin, Lydie du Bousquet:
  Automatic Test Generation for Java-Card Applets. 121-136
  Electronic Edition (Springer LINK) BibTeX
• Joachim van den Berg, Bart Jacobs, Erik Poll:
  Formal Specification and Verification of JavaCard's Application Identifier Class. 137-150
  Electronic Edition (Springer LINK) BibTeX
• Rüdiger Weis, Bastiaan Bakker, Stefan Lucks:
  Security on Your Hand: Secure Filesystems with a ``Non-Cryptographic'' JAVA-Ring. 151-162
  Electronic Edition (Springer LINK) BibTeX