Abstract is missing.
- Formal Methods in Context: Security and Java CardDominique Bolignano, Daniel Le Métayer, Claire Loiseaux. 1-5 [doi]
- A Dynamic Logic for the Formal Verification of Java Card ProgramsBernhard Beckert. 6-24 [doi]
- The PACAP Prototype: A Tool for Detecting Java Card Illegal FlowPierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon. 25-37 [doi]
- CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application SecurityRajeev Goré, Lan Duy Nguyen. 38-51 [doi]
- A Programming and a Modelling Perspective on the Evaluation of Java Card ImplementationsPieter H. Hartel, Eduard de Jong. 52-72 [doi]
- Secure Internet SmartcardsNaomaru Itoi, Tomoko Fukuzawa, Peter Honeyman. 73-89 [doi]
- Issues in Smartcard MiddlewareRoger Kehr, Michael Rohs, Harald Vogt. 90-97 [doi]
- Open Platform SecurityMarc Kekicheff, Forough Kashef, David Brewer. 98-113 [doi]
- A Simple(r) Interface Distribution Mechanism for Java CardKsheerabdhi Krishna, Michael Montgomery. 114-120 [doi]
- Automatic Test Generation for Java-Card AppletsHugues Martin, Lydie du Bousquet. 121-136 [doi]
- Formal Specification and Verification of JavaCard s Application Identifier ClassJoachim van den Berg, Bart Jacobs, Erik Poll. 137-150 [doi]
- Security on Your Hand: Secure Filesystems with a Non-Cryptographic JAVA-RingRüdiger Weis, Bastiaan Bakker, Stefan Lucks. 151-162 [doi]