MPC ⇒ MPC with expected-time simulation
Statement
A protocol that securely computes with abort against corruptions (MPC) securely computes it with expected polynomial-time simulation: a simulator running in strict polynomial time runs in expected polynomial time — folklore.