2PC ⇒ 2PC with expected-time simulation

Fully-black-box reduction · standard model · folklore · security loss: none

Statement

A two-party protocol that securely computes $f$ with abort (2PC) securely computes it with expected polynomial-time simulation: a simulator running in strict polynomial time runs in expected polynomial time — folklore.