Rosalie - POPL 2020

VenueJW Marriott New Orleans

Room nameRosalie

Floor3

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00	KeynotePriSC at Rosalie

09:00 5m Day opening		PriSC Introduction PriSC Dominique Devriese Vrije Universiteit Brussel File Attached
09:05 55m Industry talk		Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing PriSC K: Tyler McMullen Fastly Media Attached

10:30 - 12:30	Foundations and timing channelsPriSC at Rosalie Chair(s): Marco Vassena CISPA Helmholtz Center for Information Security

10:30 24m Talk		Exorcising Spectres with Secure Compilers PriSC Marco Patrignani Stanford University & CISPA , Marco Guarnieri IMDEA Software Institute Media Attached File Attached
10:54 24m Talk		Trace-Relating Compiler Correctness and Secure Compilation PriSC Carmine Abate Inria Paris, Roberto Blanco Inria, Stefan Ciobaca Alexandru Ioan Cuza University of Iasi, Deepak Garg Max Planck Institute for Software Systems, Cătălin Hriţcu Inria Paris, Marco Patrignani Stanford University & CISPA , Éric Tanter University of Chile, Jérémy Thibault Inria Paris Media Attached File Attached
11:18 24m Talk		Reconciling progress-insensitive noninterference and declassification PriSC Johan Bay Aarhus University, Aslan Askarov Aarhus University Media Attached File Attached
11:42 24m Talk		Hermes: Implementing Cryptography without Side-channels PriSC Ken Friis Larsen DIKU, University of Copenhagen, Torben Mogensen DIKU, University of Copenhagen, Michael Kirkedal Thomsen DIKU, University of Copenhagen File Attached
12:06 24m Talk		A CompCert Compiler that Preserves Cryptographic Constant-time PriSC Sandrine Blazy Univ Rennes- IRISA, Rémi Hutin IRISA / ENS Rennes, David Pichardie Univ Rennes, ENS Rennes, IRISA Media Attached

14:00 - 15:05	New outlooks on secure compilationPriSC at Rosalie Chair(s): Cristina Cifuentes Oracle Labs

14:00 24m Talk		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 24m Talk		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 8m Talk		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 8m Talk		Short Talk: Everparse PriSC Tahina Ramananandro Microsoft Research, n.n. Media Attached

15:35 - 17:45	Compartmentalization, memory safety, and isolationPriSC at Rosalie Chair(s): Marco Patrignani Stanford University & CISPA , Jonathan Protzenko Microsoft Research, Redmond

15:35 24m Talk		Flexible Tag-based Policies for Compartmentalized C PriSC Sean Anderson Portland State University, Andrew Tolmach Portland State University, CHR Chhak Portland State University Media Attached File Attached
15:59 24m Talk		Mechanized Reasoning about a Capability Machine PriSC Aina Linn Georges Aarhus University, Alix Trieu Aarhus University, Lars Birkedal Aarhus University Media Attached
16:23 24m Talk		Securing Interruptible Enclaves PriSC Matteo Busi Università di Pisa - Dipartimento di Informatica, Job Noorman imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Jo Van Bulck imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Letterio Galletta IMT School for Advanced Studies, Pierpaolo Degano Università di Pisa - Dipartimento di Informatica, Jan Tobias Mühlberg imec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Frank Piessens KU Leuven Media Attached File Attached
16:47 10m Break		Mini-break PriSC
16:57 24m Talk		WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing PriSC Jay Bosamiya Carnegie Mellon University, Benjamin Lim Carnegie Mellon University, Bryan Parno Carnegie Mellon University Media Attached File Attached
17:21 24m Talk		Memory Safety Preservation for WebAssembly PriSC Marco Vassena CISPA Helmholtz Center for Information Security, Marco Patrignani Stanford University & CISPA Link to publication Media Attached File Attached

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Rosalie	PriSC Keynote																		PriSC Foundations and timing channels																																										PriSC New outlooks on secure compilation																			PriSC Compartmentalization, memory safety, and isolation

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Rosalie	PriSC PriSC Introduction 09:00 - 09:05	PriSC Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing 09:05 - 10:00																	PriSC Exorcising Spectres with Secure Compilers 10:30 - 10:54					PriSC Trace-Relating Compiler Correctness and Secure Compilation 10:54 - 11:18					PriSC Reconciling progress-insensitive noninterference and declassification 11:18 - 11:42				PriSC Hermes: Implementing Cryptography without Side-channels 11:42 - 12:06					PriSC A CompCert Compiler that Preserves Cryptographic Constant-time 12:06 - 12:30																							PriSC Exploits as Insecure Compilation 14:00 - 14:24					PriSC Universal Composability is Secure Compilation 14:24 - 14:48					PriSC Short Talk: Automatically Eliminating Speculative Leaks With Blade 14:48 - 14:56	PriSC Short Talk: Everparse 14:56 - 15:04								PriSC Flexible Tag-based Policies for Compartmentalized C 15:35 - 15:59					PriSC Mechanized Reasoning about a Capability Machine 15:59 - 16:23					PriSC Securing Interruptible Enclaves 16:23 - 16:47				PriSC Mini-break 16:47 - 16:57		PriSC WebAssembly as an Intermediate Language for Provably-Safe Software Sand ... 16:57 - 17:21					PriSC Memory Safety Preservation for WebAssembly 17:21 - 17:45

Room information: Rosalie

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

PriSC

PriSC

PriSC

PriSC

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Rosalie

Program Display Configuration

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

PriSC

PriSC

PriSC

PriSC

Sat 25 JanDisplayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change

Sat 25 Jan
Displayed time zone: Saskatchewan, Central America change