385 search results - page 24 / 77 » Advances in smart cards |
IDTRUST
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we describe the challenges in using Personal Identity Verification (PIV) cards and PIV-like cards as federated identities to authenticate to US Federal government f...
CHES
2005
Springer
14 years 1 months ago
2005
Springer
A key step in the Advanced Encryption Standard (AES) algorithm is the “S-box.” Many implementations of AES have been proposed, for various goals, that effect the S-box in vari...
CARDIS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
APLAS
2003
ACM
14 years 1 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
IJNSEC
2006
13 years 8 months ago
2006
To enhance applications of smart cards, Miyazaki and Takaragi proposed a (t, n) threshold digital signature scheme based on the security of elliptic curve discrete logarithm (ECDL...