Universally composable two-party and multi-party secure computation