Secure Compilation in a Production Environment
There are several security and privacy concerns that arise in a distributed computing environment where thousands of engineers develop and deploy binaries. These concerns can broadly be classified in terms of whether they are defense mechanisms against a dedicated attacker, general protection mechanisms for either the engineer or the computing environment, or techniques for detection and response to either security or privacy incidents. In this talk I will provide an overview of a few efforts of each of these types, with special emphasis on tools and techniques that may not have adopted recent research ideas. Audience willing, I will also speculate on analogies between the landscape of secure compilation and data privacy issues that receive significant attention in the industry.
extended abstract (prisc18-paper10.pdf) | 276KiB |
slides (Secure Compilation in Production (1).pdf) | 826KiB |
Sat 13 JanDisplayed time zone: Tijuana, Baja California change
13:30 - 15:30 | |||
13:30 30mTalk | Building Secure SGX Enclaves using F*, C/C++ and X64 PriSC File Attached | ||
14:00 30mTalk | Robust Hyperproperty Preservation for Secure Compilation PriSC Deepak Garg Max Planck Institute for Software Systems, Cătălin Hriţcu Inria Paris, Marco Patrignani Saarland University, CISPA, Marco Stronati , David Swasey MPI-SWS Pre-print File Attached | ||
14:30 30mTalk | Formally Secure Compilation of Unsafe Low-Level Components PriSC Guglielmo Fachini Inria Paris, Cătălin Hriţcu Inria Paris, Marco Stronati , Ana Nora Evans University of Virginia, USA, Théo Laurent , Arthur Azevedo de Amorim Carnegie Mellon University, USA, Benjamin C. Pierce University of Pennsylvania, Andrew Tolmach Portland State University Pre-print File Attached | ||
15:00 30mTalk | Secure Compilation in a Production Environment PriSC Vijay D'Silva Google File Attached |