Universally Composable Symbolic Analysis of Mutual Authentication and Key Exchange Protocols
| Title | Universally Composable Symbolic Analysis of Mutual Authentication and Key Exchange Protocols |
| Publication Type | Journal Article |
| Year of Publication | In Press |
| Authors | Canetti, Ran, and Jonathan Herzog |
| Journal | Journal of Cryptology |
