Katz J, Maurer U, Tackmann B, Zikas V.  2011.  Universally composable synchronous computation.