Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
VenueOnline (How to POPL in 2021)
Room namePriSC
Additional informationThere is no additional information of this room available.
Program

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

Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Secure compilers & cryptographyPriSC at PriSC
Chair(s): Fraser BrownStanford University, USA, Aastha MehtaMPI-SWS, Germany and University of British Columbia, Canada
16:00 - 16:18
Talk
High-level high-speed high-assurance crypto
PriSC
Jonathan CoganStanford, Fraser BrownStanford University, USA, Alex OzdemirStanford, Riad S. WahbyStanford University, USA
Media Attached
16:18 - 16:36
Talk
Cross-Architecture Testing for Compiler-Introduced Security Bugs
PriSC
Jianhao XuNanjing University, Kangjie LuUniversity of Minnesota, Bing MaoNanjing University
Media Attached File Attached
16:36 - 16:54
Talk
High-Assurance Cryptography in the Spectre Era
PriSC
Gilles BartheMPI-SP, Germany / IMDEA Software Institute, Spain, Sunjay CauligiUniversity of California at San Diego, USA, Benjamin GregoireINRIA, Adrien KoutsosINRIA Paris, Kevin LiaoMax Planck Institute for Security and Privacy, Tiago OliveiraUniversity of Porto (FCUP) and INESC TEC, Swarn PriyaPurdue University, Tamara RezkInria, France, Peter SchwabeMax Planck Institute for Security and Privacy
Media Attached
16:54 - 17:12
Talk
Compilation as Multi-Language Semantics
PriSC
William J. BowmanUniversity of British Columbia
Pre-print Media Attached
17:12 - 17:30
Talk
Viaduct: An Optimizing, Extensible Compiler for Secure Distributed Programs
PriSC
Coşku AcayCornell University, Rolph Recto, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University
Media Attached
18:00 - 19:00: Invited talkPriSC at PriSC
Chair(s): Deian StefanUniversity of California at San Diego, USA
18:00 - 19:00
Keynote
Frontiers in Secure Compilation – an Industrial Perspective (invited talk)
PriSC
Hugo VincentArm Research
19:00 - 20:30: Formal analysis & proof techniquesPriSC at PriSC
Chair(s): Marco PatrignaniStanford University, USA / CISPA, Germany, Jonathan ProtzenkoMicrosoft Research, Redmond
19:00 - 19:18
Talk
Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs
PriSC
Pre-print Media Attached
19:18 - 19:36
Talk
Explicit Leakage: Handling Side-Channel Behavior in Program Rewriting and Analysis
PriSC
Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbH
Media Attached
19:36 - 19:54
Talk
Secure Optimization Through Opaque Observations
PriSC
Son Tuan VuSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert CohenGoogle, Karine HeydemannSorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Arnaud de GrandmaisonARM, Christophe GuillonSTMicroelectronics
Pre-print Media Attached File Attached
19:54 - 20:12
Talk
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation
PriSC
Carmine AbateMax Planck Institute for Security and Privacy, Bochum, Germany, Matteo BusiUniversità di Pisa - Dipartimento di Informatica
Pre-print Media Attached File Attached
20:12 - 20:30
Talk
Toward Complete Stack Safety for Capability Machines
PriSC
Aina Linn GeorgesAarhus University, Armaël GuéneauAarhus University, Alix TrieuAarhus University, Lars BirkedalAarhus University
Media Attached File Attached
21:00 - 21:30: Short talksPriSC at PriSC
Chair(s): Deian StefanUniversity of California at San Diego, USA
21:00 - 21:15
Talk
A Categorical Approach to Secure Compilation (and others things) (short talk)
PriSC
Stylianos Tsampas, Andreas NuytsKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Frank PiessensKU Leuven
21:15 - 21:30
Talk
Contract-aware Secure Compilation (short talk)
PriSC
Marco GuarnieriETH Zurich, Switzerland, Marco PatrignaniStanford University, USA / CISPA, Germany
Pre-print

Sun 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change