173 search results - page 4 / 35 » Efficient One-Round Key Exchange in the Standard Model |
106
click to vote
PKC
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. An unresolved problem in research on authenticated key exchange (AKE) is to construct a secure protocol against advanced attacks such as key compromise impersonation and ...
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
105
click to vote
EUROCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
EUROCRYPT
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
121
click to vote
ACNS
2010
Springer
15 years 2 months ago
2010
Springer
In this work, we develop a family of protocols for deniable Internet Key-Exchange (IKE) with the following properties: • Highly practical efficiency, and conceptual simplicity a...