Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.

Ran Canetti

Browse the full ICALP paper archive.