3115 search results - page 47 / 623 » Synthesizing Secure Protocols |
120
Voted
ICISC
2007
15 years 4 months ago
2007
Query-response based protocols between a client and a server such as SSL, TLS, SSH are asymmetric in the sense that the querying client and the responding server play different ro...
117
Voted
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
Encrypted Key Exchange (EKE) [1, 2] allows two parties sharing a password to exchange authenticated information over an insecure network by using a combination of public and secre...
ACNS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
107
Voted
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
POPL
2010
ACM
16 years 19 hour ago
2010
ACM