Jakarta: A Toolset for Reasoning about JavaCard

Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationSmart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings
EditorsIsabelle Attali, Thomas P. Jensen
PublisherSpringer Singapore
Number of pages17
Publication statusPublished - 2001
Externally publishedYes
EventInternational Conference on Research in Smart Cards, E-smart 2001: E-smart 2001 - Cannes, France
Duration: 19 Sep 200121 Sep 2001

Publication series

NameLecture Notes in Computer Science


ConferenceInternational Conference on Research in Smart Cards, E-smart 2001
Abbreviated titleE-smart 2001

Fingerprint Dive into the research topics of 'Jakarta: A Toolset for Reasoning about JavaCard'. Together they form a unique fingerprint.

Cite this