3115 search results - page 168 / 623 » Synthesizing Secure Protocols |
122
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Private Information Retrieval (PIR) protocols allow users to learn data items stored at a server which is not fully trusted, without disclosing to the server the particular data e...
146
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
142
click to vote
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
130
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
137
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...