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… 
2009
2009
Improving Resiliency of JavaCard Code Against Power Analysis
The power analysis of smart cards is powerful side channel attack, originally introduced by Kocher et al. The observation 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… 
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… 
2002
2002
Model Checking of Multi-Applet JavaCard Applications
The paper describes a framework for model checking JavaCard applets on the bytecode level. From a set of JavaCard applets we… 
2002
2002
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods
The Java security policy is implemented using security components such as a Java Virtual Machine (JVM), API, verifier, and a… 
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)