Universal Composability is Secure Compilation
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 the- orem 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.
Slides (2020-1-ucissc.pdf) | 1.15MiB |
Sat 25 JanDisplayed time zone: Saskatchewan, Central America change
14:00 - 15:05 | |||
14:00 24mTalk | Exploits as Insecure Compilation PriSC Jennifer Paykin Galois, Inc., Eric Mertens Galois, Inc., Mark Tullsen Galois, Inc, Luke Maurer Galois, Inc, Benoit Razet Galois, Inc, Alexander Bakst Galois, Inc, Scott Moore Galois, Inc Pre-print Media Attached File Attached | ||
14:24 24mTalk | Universal Composability is Secure Compilation PriSC Marco Patrignani Stanford University & CISPA , Riad S. Wahby Stanford University, USA, Robert Künnemann CISPA, Saarland University Media Attached File Attached | ||
14:48 8mTalk | Short Talk: Automatically Eliminating Speculative Leaks With Blade PriSC Marco Vassena CISPA Helmholtz Center for Information Security, Klaus v. Gleissenthall University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA Media Attached File Attached | ||
14:56 8mTalk | Short Talk: Everparse PriSC Tahina Ramananandro Microsoft Research, n.n. Media Attached |