@misc{cryptoeprint:2012:284, author = {Olivier Blazy and Céline Chevalier and David Pointcheval and Damien Vergnaud}, title = {Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages}, howpublished = {Cryptology ePrint Archive, Report 2012/284}, year = {2012}, url = {http://eprint.iacr.org/2012/284}, }