


default search action
1. Java Card Workshop 2000: Cannes, France
- Isabelle Attali, Thomas P. Jensen:
Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers. Lecture Notes in Computer Science 2041, Springer 2001, ISBN 3-540-42167-X
Invited Talk
- Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Context: Security and Java Card. 1-5
Contributed Papers
- Bernhard Beckert:
A Dynamic Logic for the Formal Verification of Java Card Programs. 6-24 - 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 - Rajeev Goré, Lan Duy Nguyen:
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. 38-51 - Pieter H. Hartel, Eduard de Jong:
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. 52-72 - Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman:
Secure Internet Smartcards. 73-89 - Roger Kehr, Michael Rohs, Harald Vogt:
Issues in Smartcard Middleware. 90-97 - Marc Kekicheff, Forough Kashef, David Brewer:
Open Platform Security. 98-113 - Ksheerabdhi Krishna, Michael Montgomery:
A Simple(r) Interface Distribution Mechanism for Java Card. 114-120 - Hugues Martin, Lydie du Bousquet:
Automatic Test Generation for Java-Card Applets. 121-136 - Joachim van den Berg, Bart Jacobs, Erik Poll:
Formal Specification and Verification of JavaCard's Application Identifier Class. 137-150 - Rüdiger Weis, Bastiaan Bakker, Stefan Lucks:
Security on Your Hand: Secure Filesystems with a "Non-Cryptographic" JAVA-Ring. 151-162

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.