Conferences in DBLP
Dominique Bolignano , Daniel Le Métayer , Claire Loiseaux Formal Methods in Context: Security and Java Card. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:1-5 [Conf ] Bernhard Beckert A Dynamic Logic for the Formal Verification of Java Card Programs. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:6-24 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:25-37 [Conf ] Rajeev Goré , Lan Duy Nguyen CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:38-51 [Conf ] Pieter H. Hartel , Eduard de Jong A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:52-72 [Conf ] Naomaru Itoi , Tomoko Fukuzawa , Peter Honeyman Secure Internet Smartcards. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:73-89 [Conf ] Roger Kehr , Michael Rohs , Harald Vogt Issues in Smartcard Middleware. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:90-97 [Conf ] Marc Kekicheff , Forough Kashef , David Brewer Open Platform Security. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:98-113 [Conf ] Ksheerabdhi Krishna , Michael Montgomery A Simple(r) Interface Distribution Mechanism for Java Card. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:114-120 [Conf ] Hugues Martin , Lydie du Bousquet Automatic Test Generation for Java-Card Applets. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:121-136 [Conf ] Joachim van den Berg , Bart Jacobs , Erik Poll Formal Specification and Verification of JavaCard's Application Identifier Class. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:137-150 [Conf ] Rüdiger Weis , Bastiaan Bakker , Stefan Lucks Security on Your Hand: Secure Filesystems with a ``Non-Cryptographic'' JAVA-Ring. [Citation Graph (0, 0)][DBLP ] Java Card Workshop, 2000, pp:151-162 [Conf ]