Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK.

Cas Cremers

Browse the full CCS paper archive.