362 search results - page 14 / 73 » Abstraction in Cryptography |
CORR
2004
Springer
13 years 7 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...
CRYPTO
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We introduce new and general complexity theoretic hardumptions. These assumptions abstract out concrete properties of a random oracle and are significantly stronger than ...
EUROCRYPT
2003
Springer
14 years 21 days ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
ACNS
2010
Springer
13 years 10 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security
TYPES
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...