International audienceThis paper presents a novel approach to the problem of bytecode verification for Java Card applets. Owing to its low memory requirements, our verification algorithm is the first that can be embedded on a smart card, thus increasing tremendously the security of post-issuance downloading of applets on Java Cards
This thesis is concerned with different aspects of Java Card application development and use of form...
Removable key carriers are most widespread devices for cryptographic key systems. The most popular p...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
International audienceBytecode verification is a crucial security component for Java applets, on the...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
Bytecode verification is a crucial security component for Java applets, on the Web and on embedded d...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
The bytecode verification is a key point of the security chain of the Java Platform. This feature is...
AbstractBytecode verification forms the corner stone of the Java security model that ensures the int...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
The bytecode verification is a key point of the security chain of the Java Platform. However, it is ...
Java applets run on a Virtual Machine that checks code's integrity and correctness before execu...
Modern multi-application smart cards can become an integrated environment where applications from di...
This thesis is concerned with different aspects of Java Card application development and use of form...
Removable key carriers are most widespread devices for cryptographic key systems. The most popular p...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
International audienceBytecode verification is a crucial security component for Java applets, on the...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
Bytecode verification is a crucial security component for Java applets, on the Web and on embedded d...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
The bytecode verification is a key point of the security chain of the Java Platform. This feature is...
AbstractBytecode verification forms the corner stone of the Java security model that ensures the int...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
The bytecode verification is a key point of the security chain of the Java Platform. However, it is ...
Java applets run on a Virtual Machine that checks code's integrity and correctness before execu...
Modern multi-application smart cards can become an integrated environment where applications from di...
This thesis is concerned with different aspects of Java Card application development and use of form...
Removable key carriers are most widespread devices for cryptographic key systems. The most popular p...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
DOI
Add to ORKG