4111 search results - page 155 / 823 » Security, Protocols, and Trust |
87
Voted
IJNSEC
2008
15 years 24 days ago
2008
The notion of rational exchange introduced by Syverson in 1998 is a particularly interesting alternative when an efficient scheme for fair exchange is required but the existence o...
103
Voted
TRUST
2010
Springer
15 years 5 months ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
103
Voted
FORTE
2004
15 years 2 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
88
Voted
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
The common random string model introduced by Blum, Feldman and Micali permits the construction of cryptographic protocols that are provably impossible to realize in the standard m...
104
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...