WGT 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameRosalie
Floor3
Room InformationNo extra information available
Program

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