Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages.
['Olivier Blazy', 'Céline Chevalier', 'David Pointcheval', 'Damien Vergnaud']
Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages.