58 search results - page 1 / 12 » Advanced control flow in Java card programming |
LCTRTS
2004
Springer
14 years 4 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
JAVACARD
2000
14 years 2 months ago
2000
SPC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
CADE
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
SEFM
2008
IEEE
14 years 5 months ago
2008
IEEE
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...