Sat 13 Jan 2018 15:00 - 15:30 at Hershey - Session 2 Chair(s): David Naumann

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 Jan
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:30
Session 2PriSC at Hershey
Chair(s): David NaumannStevens Institute of Technology
13:30
30m
Talk
Building Secure SGX Enclaves using F*, C/C++ and X64
PriSC
File Attached
14:00
30m
Talk
Robust Hyperproperty Preservation for Secure Compilation
PriSC
Deepak GargMax Planck Institute for Software Systems, Cătălin HriţcuInria Paris, Marco PatrignaniSaarland University, CISPA, Marco Stronati, David SwaseyMPI-SWS
Pre-print File Attached
14:30
30m
Talk
Formally Secure Compilation of Unsafe Low-Level Components
PriSC
Guglielmo FachiniInria Paris, Cătălin HriţcuInria Paris, Marco Stronati, Ana Nora EvansUniversity of Virginia, USA, Théo Laurent, Arthur Azevedo de AmorimCarnegie Mellon University, USA, Benjamin C. PierceUniversity of Pennsylvania, Andrew TolmachPortland State University
Pre-print File Attached
15:00
30m
Talk
Secure Compilation in a Production Environment
PriSC
File Attached