2303 search results - page 44 / 461 » The Cryptographic Abstract Machine |
102
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
131
Voted
TCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
118
Voted
ASIAN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Data integrity is an assurance that data has not been modified in an unknown or unauthorized manner. The goal of this paper is to allow a user to leverage a small amount...
126
click to vote
FC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
111
click to vote
FOSAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A recent branch of cryptography focuses on the physical constraints that a real-life cryptographic device must face, and attempts to exploit these constraints (running ti...