Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal

DOI10.1007/S10623-013-9852-1zbMATH Open1351.94038DBLPjournals/dcc/CremersF15OpenAlexW1981076706WikidataQ57569029 ScholiaQ57569029MaRDI QIDQ488261FDOQ488261

C. J. F. Cremers, Michèle Feltz

Publication date: 23 January 2015

Published in: Designs, Codes and Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10623-013-9852-1

zbMATH Keywords

key exchangeactor compromiseephemeral-key revealperfect forward secrecyprotocol transformationssecurity models

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS
• HMQV: A High-Performance Secure Diffie-Hellman Protocol
• Stronger Security of Authenticated Key Exchange
• Public Key Cryptography - PKC 2006
• Advances in Cryptology - CRYPTO 2003
• Applied Cryptography and Network Security
• Public Key Cryptography - PKC 2006
• Okamoto-Tanaka Revisited: Fully Authenticated Diffie-Hellman with Minimal Overhead
• Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
• One-round key exchange in the standard model
• On Forward Secrecy in One-Round Key Exchange
• Strongly-Secure Identity-Based Key Agreement and Anonymous Extension
• Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
• Another look at HMQV
• Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
• Cryptography and Coding

Cited In (9)

• On optimal tightness for key exchange with full forward secrecy via key confirmation
• One-round identity-based key exchange with perfect forward security
• Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
• Short variable length domain extenders with beyond birthday bound security
• An efficient and generic construction for signal's handshake (X3DH): post-quantum, state leakage secure, and deniable
• State separation for code-based game-playing proofs
• Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange
• Strongly secure authenticated key exchange from factoring, codes, and lattices
• Strengthening the security of authenticated key exchange against bad randomness

Uses Software

• HMQV
• NAXOS

   Recommendations

• Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange 👍 👎
• Title not available (Why is that?) 👍 👎
• Efficient eCK-Secure Authenticated Key Exchange Protocols in the Standard Model 👍 👎
• An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles 👍 👎
• Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy 👍 👎
• Designing Efficient Authenticated Key Exchange Resilient to Leakage of Ephemeral Secret Keys 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488261)