jcw-program

Program for the Java Card workshop, 14 september, 2000.

9.00 - 10.15: Session 1.

Krishna and Montgomery, Schlumberger (US): Interface distribution mechanism for Java Card.
R. Kehr et al: Deutsche Telekom (DE) and ETH Zurich (CH): Issues in Smarcard Middleware.
Itoi et al, Univ. of Michigan (US): Secure Internet smartcards.

10.45 - 12.00: Session 2:

Weis et al, cryptolabs Amsterdam (NL), TU Delft (NL) and Universitaet Mannheim (D): Security on your hand: secure file systems with a "non-cryptographic" Java-Ring.
Hartel, Univ. of Southampton (UK) and de Jong, Sun Microsystems (US): A programming and a modelling perspective on the evaluation of Java Card implementations.
Du Bousquet, IRISA (F) and Martin, Gemplus (F): Automating Java Card applet testing: a case study.

14.00 - 15.15: Session 3:

van den Berg et al, Univ. of Nijmegen (NL): Formal specification and verification of JavaCard's Application Identifier Class.
Ahrendt et al, Univ. of Karlsruhe (D) and Chalmers Univ (S) The Key approach: integrating design and formal verification of Java Card programs.
R. Gore and L. Nguyen: CardKt: Automated Logical deduction on Java Cards.

15.45 - 16.35: Session 4:

Kashef et al, Visa (US), Gamma Secure Systems (UK): Open platform security.
Bieber et al, ONERA-CERT (F), Gemplus (F): Detection of Illegal Flow in Java Card applets.

16.35 - 17.10: Invited talk followed by a panel discussion:

D. Le Metayer, Trusted Logic (FR): Formal methods and smart card security.
Panel:

Christian Goire, Bull CP8 (chairman)
Joachim Posegga, SAP Corporate Research
Dominique Bolignano, Trusted Logic
Jean-Louis Lanet, Gemplus Research
Bertrand Du Castel, Schlumberger