default search action

combined dblp search
author search
venue search
publication search

ask others

1. Java Card Workshop 2000: Cannes, France

> Home > Conferences and Workshops > Java Card Workshop

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/javacard/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/2000
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

- view
  authority control:
- export record
  dblp key:
  - conf/javacard/BolignanoML00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/BolignanoML00
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Context: Security and Java Card. 1-5

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/javacard/Beckert00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/Beckert00
Bernhard Beckert:
A Dynamic Logic for the Formal Verification of Java Card Programs. 6-24
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/BieberCMGLWZ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/BieberCMGLWZ00
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
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/GoreN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/GoreN00
Rajeev Goré, Lan Duy Nguyen:
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. 38-51
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/HartelJ00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/HartelJ00
Pieter H. Hartel, Eduard de Jong:
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. 52-72
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/ItoiFH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/ItoiFH00
Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman:
Secure Internet Smartcards. 73-89
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/KehrRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/KehrRV00
Roger Kehr, Michael Rohs, Harald Vogt:
Issues in Smartcard Middleware. 90-97
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/KekicheffKB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/KekicheffKB00
Marc Kekicheff, Forough Kashef, David Brewer:
Open Platform Security. 98-113
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/KrishnaM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/KrishnaM00
Ksheerabdhi Krishna, Michael Montgomery:
A Simple(r) Interface Distribution Mechanism for Java Card. 114-120
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/MartinB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/MartinB00
Hugues Martin, Lydie du Bousquet:
Automatic Test Generation for Java-Card Applets. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/BergJP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/BergJP00
Joachim van den Berg, Bart Jacobs, Erik Poll:
Formal Specification and Verification of JavaCard's Application Identifier Class. 137-150
- view
  authority control:
- export record
  dblp key:
  - conf/javacard/WeisBL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/javacard/WeisBL00
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.