Add to ORKGRemovable key carriers are most widespread devices for cryptographic key systems. The most popular platform for them is JavaCard. However, an on-card bytecode verifier is only optional on JavaCard smartcards, and indeed most cards do not include it. That’s why the task of developing off-card verification system is set
Abstract. Smartcards and PKCS #11 are an appealing solution for combined storage and certificate man...
Abstract. We present a formally verified reference implementation of the JAVA CARD API. This case st...
We present how common Java Card security properties can be formalised in Dynamic Logic and verified,...
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...
The bytecode verification is a key point of the security chain of the Java Platform. However, it is ...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
AbstractBytecode verification forms the corner stone of the Java security model that ensures the int...
The bytecode verification is a key point of the security chain of the Java Platform. This feature is...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
International audienceBytecode verification is a crucial security component for Java applets, on the...
Smart-cards are considered to be one of the most secure, tamper-resistant, and trusted devices for i...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
Abstract. Smartcards and PKCS #11 are an appealing solution for combined storage and certificate man...
Abstract. We present a formally verified reference implementation of the JAVA CARD API. This case st...
We present how common Java Card security properties can be formalised in Dynamic Logic and verified,...
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...
The bytecode verification is a key point of the security chain of the Java Platform. However, it is ...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
AbstractBytecode verification forms the corner stone of the Java security model that ensures the int...
The bytecode verification is a key point of the security chain of the Java Platform. This feature is...
Bytecode verification forms the corner stone of the Java security model that ensures the integrity o...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
International audienceBytecode verification is a crucial security component for Java applets, on the...
Smart-cards are considered to be one of the most secure, tamper-resistant, and trusted devices for i...
This thesis is concerned with formal development of Java Card applets. Java Card is a technology tha...
Abstract. Smartcards and PKCS #11 are an appealing solution for combined storage and certificate man...
Abstract. We present a formally verified reference implementation of the JAVA CARD API. This case st...
We present how common Java Card security properties can be formalised in Dynamic Logic and verified,...