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: Saskatchewan, Central America change

14:00 - 15:05: New outlooks on secure compilationPriSC at Rosalie
Chair(s): Cristina CifuentesOracle Labs
14:00 - 14:24
Talk
PriSC
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
14:24 - 14:48
Talk
PriSC
Marco PatrignaniStanford University & CISPA , Riad S. WahbyStanford University, USA, Robert KünnemannCISPA, Saarland University
Media Attached File Attached
14:48 - 14:56
Talk
PriSC
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
14:56 - 15:04
Talk
PriSC
Tahina RamananandroMicrosoft Research, n.n.
Media Attached