This paper presents a smart-card applet that is able to verify X.509 certificates and to use the public key contained in the certificate for verifying digital signatures that have been created using the corresponding private key, e.g. for the purpose of authenticating the certificate owner against the card. The approach has been implemented as an operating prototype on Java cards
Abstract: One major challenge for digitally signing a document is the so called “what you see is wha...
Modern multi-application smart cards can become an integrated environment where applications from di...
Authentic program modification is very important for a multi-application smart card system since ap-...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
This article presents a solution to the problem of strong authentication, portable and expandable us...
This paper describes an elementary protocol to prove possession of anonymous credentials together wi...
International audienceThis paper describes an elementary protocol to prove possession of anonymous c...
Abstract. Identity based encryption and signature schemes are public key schemes where an identity, ...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
Fingerprint has usually been used for verification function in order to resist illegal access to sec...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Abstract: The paper presents an application developed for Java Card smart cards, with multiapplicati...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
The Direct Anonymous Attestation scheme allows to map proce-dures with an imperative requirement for...
Abstract: One major challenge for digitally signing a document is the so called “what you see is wha...
Modern multi-application smart cards can become an integrated environment where applications from di...
Authentic program modification is very important for a multi-application smart card system since ap-...
This paper presents a smart-card applet that is able to verify X.509 certificates and to use the pub...
International audienceThis paper presents a novel approach to the problem of bytecode verification f...
This article presents a solution to the problem of strong authentication, portable and expandable us...
This paper describes an elementary protocol to prove possession of anonymous credentials together wi...
International audienceThis paper describes an elementary protocol to prove possession of anonymous c...
Abstract. Identity based encryption and signature schemes are public key schemes where an identity, ...
AbstractThis paper discusses a case study in formal verification and development of secure smart car...
Fingerprint has usually been used for verification function in order to resist illegal access to sec...
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet s...
Abstract: The paper presents an application developed for Java Card smart cards, with multiapplicati...
There is a growing interest for using "intelligent" or "smart" cards such as Sun...
The Direct Anonymous Attestation scheme allows to map proce-dures with an imperative requirement for...
Abstract: One major challenge for digitally signing a document is the so called “what you see is wha...
Modern multi-application smart cards can become an integrated environment where applications from di...
Authentic program modification is very important for a multi-application smart card system since ap-...