3115 search results - page 474 / 623 » Synthesizing Secure Protocols |
144
click to vote
TCC
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
131
click to vote
WISA
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...
145
click to vote
ACSAC
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
152
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper describes the design and implementation of a scheme for hiding information in translated natural language text, and presents experimental results using the implemented ...
176
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...