Emmanuel Bresson Olivier Chevassut David Pointcheval Provably secure authenticated group Diffie-Hellman key exchange. 2007 10 ACM Trans. Inf. Syst. Secur. 3 http://doi.acm.org/10.1145/1266977.1266979 db/journals/tissec/tissec10.html#BressonCP07