A high-level introduction to universal composability from the UC oracle himself. Watch before reading Ran’s UC Paper, which as far as I know is the only complete description of the UC framework.