6.897: Selected Topics in Cryptography Lectures 15 and 16 Lecturers: Ran Canetti, Ron Rivest Scribes? Highlights of last week’s lectures Universal composition with joint…
Universally Composable Symbolic Analysis of Security Protocols Jonathan Herzog (Joint work with Ran Canetti) 7 June 2004 The author's affiliation with The MITRE Corporation…