C ∅ C ∅ : A Framework for Building Composable Zero-Knowledge Proofs
Universally composable security: a new paradigm for cryptographic protocols