2303 search results - page 53 / 461 » The Cryptographic Abstract Machine |
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...
222
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Peer-to-peer content distribution networks can suffer from malicious participants that corrupt content. Current systems verify blocks with traditional cryptographic sig...
141
click to vote
CHES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A classical model is used for the power consumption of cryptographic devices. It is based on the Hamming distance of the data handled with regard to an unknown but consta...
129
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
118
click to vote
ASIACRYPT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We describe two simple, efficient and effective credential pseudonymous certificate systems, which also support anonymity without the need for a trusted third party. The ...