|Speaker:||Gilles BARTHE, INRIA Sophia Antipolis, France|
|Place:||Room B 216, Institute of Cybernetics, Akadeemia tee 21, Tallinn, Estonia|
|Time:||Thursday, May 15, 2003, 14:00|
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:http://www-sop.inria.fr/lemme/Gilles.Barthe