Write a Blog >>
Sat 25 Jan 2020 14:00 - 14:24 at Rosalie - New outlooks on secure compilation Chair(s): Cristina Cifuentes

The study of secure compilation is typically focused on building compilers that do not introduce security vulner- abilities. Unfortunately, the compilers used in practice are not secure, and linking compiled components with untrusted contexts can introduce significant security vul- nerabilities. We propose repurposing the framework of secure compilation to study insecure compilers and the vulnerabilities they give rise to.

Slides (prisc2020-expanded.pdf)421KiB

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

14:00 - 15:05: Principles of Secure Compilation 2020 - New outlooks on secure compilation at Rosalie
Chair(s): Cristina CifuentesOracle Labs
prisc-2020-papers14:00 - 14:24
Jennifer PaykinGalois, Inc., Eric MertensGalois, Inc., Mark TullsenGalois, Inc, Luke MaurerGalois, Inc, Benoit RazetGalois, Inc, Alexander BakstGalois, Inc, Scott MooreGalois, Inc
Pre-print Media Attached File Attached
prisc-2020-papers14:24 - 14:48
Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University
Media Attached File Attached
prisc-2020-papers14:48 - 14:56
Marco VassenaCISPA Helmholtz Center for Information Security, Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA
Media Attached File Attached
prisc-2020-papers14:56 - 15:04
Tahina RamananandroMicrosoft Research, n.n.
Media Attached