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)

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.
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
Pages2-18
Number of pages17
DOIs
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
PublisherSpringer
Volume2140

Conference

ConferenceInternational Conference on Research in Smart Cards, E-smart 2001
Abbreviated titleE-smart 2001
CountryFrance
CityCannes
Period19/09/0121/09/01

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

Cite this