56 search results - page 5 / 12 » A Protocol for Programmable Smart Cards |
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Modern high speed interconnects such as Myrinet and Gigabit Ethernet have shifted the bottleneck in communication from the interconnect to the messaging software at the sending an...
CARDIS
2000
Springer
15 years 1 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...
ASIACRYPT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. At Crypto ’88, Matsumoto, Kato and Imai proposed a protocol, known as RSA-S1, in which a smart card computes an RSA signature, with the help of an untrusted powerful se...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...
108
click to vote
PKC
1998
Springer
15 years 1 months ago
1998
Springer
One-way hash functions are an important tool in achieving authentication and data integrity. The aim of this paper is to propose a novel one-way hash function based on cellular aut...