Java Card

Known as: STK applet, SIM Java application, Javacard 
Java Card refers to a software technology that allows Java-based applications (applets) to be run securely on smart cards and similar small memory… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Until 2009, Java Cards have been mainly threatened by Logical Attacks based on ill-formed applications. The publication of the… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Secure identity tokens such as Electronic Identity (eID) cards are emerging everywhere. At the same time user-centric identity… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2007
2007
We present a formally verified reference implementation of the JAVA CARD API. This case study has been developed with the KeY… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off… (More)
  • figure 1
  • figure 3
  • table 1
  • figure 4
  • table 2
Is this relevant?
2002
2002
Our work concerns bytecode compression on an embedded, tiny and safe environment, and more specifically JAVA CARDS. [2] and [4… (More)
  • figure 1
Is this relevant?
2001
2001
This paper presents a novel approach to the problem of bytecode verification for Java Card applets. Owing to its low memory… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This article presents a Hoare-style calculus for a substantial subset of Java Card, which we call Java . In particular, the… (More)
Is this relevant?
Review
2000
Review
2000
java card technology for smart cards architecture and java card technology for smart cards architecture and java card technology… (More)
Is this relevant?
2000
2000
Webcard is a TCP/IP stack and web server written in Java that runs on a Schlumberger Cyberflex Access smartcard. In this report… (More)
Is this relevant?
1999
1999
Java Card promises the ease of programming in Java to the world of smart cards. Java’s memory model however is resource intensive… (More)
  • figure 1
Is this relevant?