Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
1-WireAnswer to resetAppletContactless smart card

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Context-aware multiagent system: Planning home care tasks
Context-aware systems are able to capture information from the context in which they are executed, assign a meaning to the… 
2011
2011
Fuzzing on the HTTP protocol implementation in mobile embedded web server
The fuzzing is a technique which allows to generate invalid, unexpected, or random data to supply them in the various inputs of… 
2007
2007
Fully Verified Java Card API Reference Implementation
We present a formally verified reference implementation of the JAVA CARD API. This case study has been developed with the KeY… 
Highly Cited
2003
Highly Cited
2003
Smart Card operating systems: Past Present and Future
Over the last twenty years, the software in smart cards has radically changed. This has happened for several reasons, smart card… 
2003
2003
Using Coq to Verify Java Card Applet Isolation Properties
This paper reports on the use of the Coq proof assistant for the formal verification of applet isolation properties in Java Card… 
2002
2002
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
Many formal specifications of the JavaCard Virtual Machine are defensive, in that they perform type-checking at run-time. In this… 
2002
2002
A Method for Secure Smartcard Applications
We have presented a method for the formal development of secure smartcard applications. The method combines and integrates… 
2001
2001
Towards a Full Formal Specification of the JavaCard API
This paper reports on ongoing work to develop a formal specification of the JAVACARD API using the specification language JML. It… 
Highly Cited
2001
Highly Cited
2001
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and… 
1999
1999
Transactions in Java Card
A smart-card run-time environment must provide proper transaction support for the reliable updating of data, especially on multi… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)