Universal Composability is Robust Compilation

This conference talk at POPL 2025 explores how Universal Composability relates to Robust Compilation, presented by a team of researchers including Marco Patrignani, Robert Künnemann, Riad S. Wahby, and Ethan Cecchetti from University of Trento, CISPA Helmholtz Center for Information Security, Stanford University USA, and University of Wisconsin-Madison. Discover the theoretical connections between these two important concepts in programming language theory during this 23-minute presentation scheduled for the ACM SIGPLAN POPL conference taking place January 19-25, 2025.