Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels.

Ran Canetti, Hugo Krawczyk

Browse the full EuroCrypt paper archive.