Universal Composition with Global Subroutines: Capturing Global Setup within plain UCChristian BadertscherRan Canettiet al.2020TCC 2020