# Universal Composability TODO — describe the UC framework defined in [[Can01 - Universally composable security a new paradigm for cryptographic protocols|Canetti01]]