VenueOmni Hotel
Room nameHershey
Floor0
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

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

11:00 - 12:00: Programming and Reasoning with Infinite Data in IsabelleTutorialFest at Hershey
11:00 - 12:00
Talk
Programming and Reasoning with Infinite Data in Isabelle/HOL.
TutorialFest
A: Mathias FleuryMPI-INF, A: Andreas Lochbihler, A: Andrei PopescuMiddlesex University, London
Media Attached
14:00 - 15:30: Introduction to Algebraic Program analysisTutorialFest at Hershey
14:00 - 15:30
Talk
Introduction to Algebraic Program analysis.
TutorialFest
Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
16:00 - 17:00: Introduction to Algebraic Program analysisTutorialFest at Hershey
16:00 - 17:00
Talk
Introduction to Algebraic Program analysis.
TutorialFest
Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached

Sat 13 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Welcome and Invited TalkPriSC at Hershey
Chair(s): Cătălin HriţcuInria Paris
09:00 - 09:10
Talk
PriSC Welcome
PriSC
File Attached
09:10 - 10:00
Talk
Challenges For Compiler-backed Security: From Sanitizer to Mitigation (Invited Talk)
PriSC
Mathias PayerPurdue University
File Attached
13:30 - 15:30: Session 2PriSC at Hershey
Chair(s): David NaumannStevens Institute of Technology
13:30 - 14:00
Talk
Building Secure SGX Enclaves using F*, C/C++ and X64
PriSC
File Attached
14:00 - 14:30
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 - 15:00
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 - 15:30
Talk
Secure Compilation in a Production Environment
PriSC
File Attached
16:00 - 18:00: Session 3PriSC at Hershey
Chair(s): Lars BirkedalAarhus University
16:00 - 16:30
Talk
Constant-time WebAssembly
PriSC
John RennerUCSD, Sunjay CauligiUCSD, Deian StefanUniversity of California, San Diego
Pre-print File Attached
16:30 - 17:00
Talk
Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs
PriSC
Robert SisonData61, CSIRO and UNSW
File Attached
17:00 - 17:30
Talk
On Compositional Compiler Correctness and Fully Abstract Compilation
PriSC
Daniel PattersonNortheastern University, Amal AhmedNortheastern University, USA
File Attached
17:30 - 18:00
Talk
Foundations of Dependent Interoperability
PriSC
Pierre-Evariste DagandLIP6/CNRS , Nicolas TabareauInria, France, Éric TanterUniversity of Chile
Link to publication File Attached

Sat 13 Jan
Times are displayed in time zone: Tijuana, Baja California change

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change