Universally composable security: A new paradigm for cryptographic protocols (2001)

by Ran Canetti
Venue:In 42nd Annual Symposium on Foundations of Computer Science, Las Vegas