Reasoning about JavaCard

Gilles Barthe

Projet Lemme
INRIA Sophia Antipolis

Thursday, 15 May 2003, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B216

Abstract: JavaCard is a dialect of Java that enables Java technology to run on new generation smart cards and other devices with limited memory. As JavaCard is increasingly popular, there has been a strong interest, both from academics and industrials, to reason formally about the JavaCard platform and JavaCard applications.

This talk will report about ongoing work about the specification and verification of the JavaCard platform and of JavaCard programs.

For more information, check:

Tarmo Uustalu
Last update 6.5.2003