One-Time Verifier-Based Encrypted Key Exchange.

Michel Abdalla, Olivier Chevassut, David Pointcheval

Browse the full PKC paper archive.