Universal Composability is Robust Compilation. (arXiv:1910.08634v3 [cs.PL] UPDATED)

This paper discusses the relationship between two frameworks: universal
composability (UC) and robust compilation (RC). In cryptography, UC is a
framework for the specification and analysis of cryptographic protocols with a
strong compositionality guarantee: UC protocols remain secure even when
composed with other protocols. In programming language security, RC is a novel
framework for determining secure compilation by proving whether compiled
programs are as secure as their source-level counterparts no matter what
target-level code they interact with. Presently, these disciplines …

composability