CISPA
Browse
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.

History

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

2020-10-15

Open Access Type

  • Unknown

BibTeX

@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

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC