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

Displayed time zone: Tijuana, Baja California change

13:30 - 15:30
Session 2PriSC at Hershey
Chair(s): David Naumann Stevens Institute of Technology
13:30
30m
Talk
Building Secure SGX Enclaves using F*, C/C++ and X64
PriSC
Anitha Gollamudi , Cédric Fournet Microsoft Research
File Attached
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
Secure Compilation in a Production Environment
PriSC
File Attached