Universal Composability Is Robust Compilation. - Patrignani, Marco; Künnemann, Robert; Wahby, Riad S.; Cecchetti, Ethan (ACM Transactions on Programming Languages & Systems, 2024)