Security Model for Authenticated Key Exchange, Reconsidered.

Xichen Zhang, Keitaro Hashimoto, Wakaha Ogata

Browse the full SCN paper archive.