Universal Composability is Secure Compilation

POPL 2020