@inproceedings{343dff2be8de4239911d5c2d73ec876b,
title = "Jakarta: A Toolset for Reasoning about JavaCard",
abstract = "JavaCard [22] 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 becomingincr easingly popular, there has been a strong interest, both from academics and industrials, to reason formally about the JavaCard platform.",
author = "Gilles Barthe and Guillaume Dufay and Marieke Huisman and Sousa, {Sim{\~a}o Melo de}",
year = "2001",
doi = "10.1007/3-540-45418-7_2",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "2--18",
editor = "Isabelle Attali and Jensen, {Thomas P.}",
booktitle = "Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings",
address = "Germany",
note = "International Conference on Research in Smart Cards, E-smart 2001 : E-smart 2001, E-smart 2001 ; Conference date: 19-09-2001 Through 21-09-2001",
}