Add material to cover the UC framework. Probably go for Douglas's ["Simplified Universal Composability Framework"](http://link.springer.com/chapter/10.1007/978-3-662-49096-9_24). There should of course be a mention of the original UC Framework by Canetti.