Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.

Ran Canetti, Jonathan Herzog

Browse the full TCC paper archive.