POPL 2018 (series) / PriSC 2018 (series) /
PriSC 2018 Program
This is the PriSC 2018 program - see the full program for POPL 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 13 JanDisplayed time zone: Tijuana, Baja California change
Sat 13 Jan
Displayed time zone: Tijuana, Baja California change
09:00 - 10:00 | |||
09:00 10mTalk | PriSC Welcome PriSC Cătălin Hriţcu Inria Paris File Attached | ||
09:10 50mTalk | Challenges For Compiler-backed Security: From Sanitizer to Mitigation (Invited Talk) PriSC Mathias Payer Purdue University File Attached | ||
10:30 - 11:30 | |||
10:30 30mTalk | Linear capabilities for modular fully-abstract compilation of verified code PriSC File Attached | ||
11:00 30mTalk | Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities PriSC File Attached | ||
11:30 - 12:00 | |||
11:30 5mTalk | Short talk: The Meaning of Memory Safety PriSC Arthur Azevedo de Amorim Carnegie Mellon University, USA, Cătălin Hriţcu Inria Paris, Benjamin C. Pierce University of Pennsylvania Pre-print File Attached | ||
11:35 5mTalk | Short talk: Dependently Typed Assembly for Secure Linking PriSC William J. Bowman Northeastern University, USA Link to publication File Attached | ||
11:40 5mTalk | Short talk: Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PriSC Santosh Nagarakatte Rutgers University, USA Pre-print File Attached | ||
11:45 5mTalk | Short Talk: Secure compilation from F* to WebAssembly PriSC Jonathan Protzenko Microsoft Research, n.n. File Attached | ||
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 | ||
16:00 - 18:00 | |||
16:00 30mTalk | Constant-time WebAssembly PriSC Pre-print File Attached | ||
16:30 30mTalk | Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs PriSC Rob Sison Data61, CSIRO and UNSW File Attached | ||
17:00 30mTalk | On Compositional Compiler Correctness and Fully Abstract Compilation PriSC File Attached | ||
17:30 30mTalk | Foundations of Dependent Interoperability PriSC Link to publication File Attached | ||