Sciweavers

89
Voted
CARDIS
2008
Springer
119views Hardware» more  CARDIS 2008»
15 years 4 days ago
Static Program Analysis for Java Card Applets
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
Vasilios Almaliotis, Alexandros Loizidis, Panagiot...
76
Voted
CADE
2007
Springer
15 years 10 months ago
Fully Verified Java Card API Reference Implementation
Wojciech Mostowski