cispa_all_3255.pdf (514.61 kB)

Universal Composability is Secure Compilation

Download (514.61 kB)
conference contribution
posted on 2023-11-29, 18:14 authored by Marco Patrignani, Riad S. Wahby, Robert KünnemannRobert Künnemann
Universal composability is a framework for the specification and analysis of cryptographic protocols with a strong compositionality guarantee: UC protocols are secure even when composed with other protocols. Secure compilation tells whether compiled programs are as secure as their source-level counterparts, no matter what target-level code they interact with. These two disciplines are studied in isolation, but we believe there is a deeper connection between them with benefits from both worlds to reap. This paper outlines the connection between universal composability and robust compilation, the latest of secure compilation theories. We show how to read the universal composability theorem in terms of a robust compilation theorem and vice-versa. This, in turn, shows which elements of one theory corresponds to which element in the other theory. We believe this is the first step towards understanding how can secure compilation theories be used in universal composability settings and vice-versa.


Preferred Citation

Marco Patrignani, Riad Wahby and Robert Künnemann. Universal Composability is Secure Compilation. In: Workshop on Principles of Secure Compilation (PriSC). 2020.

Primary Research Area

  • Reliable Security Guarantees

Secondary Research Area

  • Threat Detection and Defenses

Name of Conference

Workshop on Principles of Secure Compilation (PriSC)

Legacy Posted Date


Open Access Type

  • Unknown


@inproceedings{cispa_all_3255, title = "Universal Composability is Secure Compilation", author = "Patrignani, Marco and Wahby, Riad S. and Künnemann, Robert", booktitle="{Workshop on Principles of Secure Compilation (PriSC)}", year="2020", }

Usage metrics


    No categories selected


    Ref. manager