Universal Composability in Lean A work-in-progress formalization of the Universal Composable Cryptographic framework in Lean.