A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation
Universally composable security: a new paradigm for cryptographic protocols