Sat 22 Jan 2022 15:05 - 15:30 at Independence - Secure compilation theory Chair(s): Arthur Azevedo de Amorim
Compilers translate one programming language into another. In practice, they are not monolithic but rather an instance of several smaller compilers composed together constituting a pipeline. We present preliminary results on how formal guarantees with regards to robust compilation propagate through that pipeline, also considering that some compilers in such a pipeline might be source code instrumentations that perform translations to enforce certain properties.
| Slides (main.pdf) | 1.37MiB |
Sat 22 JanDisplayed time zone: Eastern Time (US & Canada) change
Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change
15:05 - 16:20 | |||
15:05 25mTalk | Composing Secure CompilersRemote PriSC Matthis Kruse CISPA Helmholtz Center for Information Security, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University File Attached | ||
15:30 25mTalk | SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking SimulationRemote PriSC Akram El-Korashy Max Planck Institute for Software Systems (MPI-SWS), Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Jérémy Thibault MPI-SP, Adrien Durier Max Planck Institute for Security and Privacy (MPI-SP), Cătălin Hriţcu MPI-SP, Deepak Garg MPI-SWS Pre-print Media Attached File Attached | ||
15:55 25mTalk | The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, AbstractlyRemote PriSC Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8 DOI Pre-print File Attached | ||