POPL 2020 (series) / PriSC 2020 (series) / Principles of Secure Compilation 2020 /
WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing
Sat 25 Jan 2020 16:57 - 17:21 at Rosalie - Compartmentalization, memory safety, and isolation Chair(s): Marco Patrignani, Jonathan Protzenko
Lightweight, safe, and fast execution of untrusted code is valuable in many contexts and can, in theory, be achieved via software fault isolation (SFI). Unfortunately, technological and marketplace hurdles have prevent mass adoption of previous SFI technologies. We propose to use WebAssembly to overcome these hurdles. Conceretely, we describe ongoing work on a formally verified sandboxing compiler, from WebAssembly to native code, towards this goal.
WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing (WebAssembly-as-an-Intermediate-Language-for-Provably-Safe-Software-Sandboxing.pdf) | 473KiB |
Sat 25 Jan Times are displayed in time zone: Saskatchewan, Central America change
Sat 25 Jan
Times are displayed in time zone: Saskatchewan, Central America change
15:35 - 17:45: Compartmentalization, memory safety, and isolationPriSC at Rosalie Chair(s): Marco PatrignaniStanford University & CISPA , Jonathan ProtzenkoMicrosoft Research, Redmond | |||
15:35 - 15:59 Talk | Flexible Tag-based Policies for Compartmentalized C PriSC Sean AndersonPortland State University, Andrew TolmachPortland State University, CHR ChhakPortland State University Media Attached File Attached | ||
15:59 - 16:23 Talk | Mechanized Reasoning about a Capability Machine PriSC Media Attached | ||
16:23 - 16:47 Talk | Securing Interruptible Enclaves PriSC Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Job Noormanimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Jo Van Bulckimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Letterio GallettaIMT School for Advanced Studies, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Jan Tobias Mühlbergimec-DistriNet, Dept. of Computer Science, KU Leuven, Belgium, Frank PiessensKU Leuven Media Attached File Attached | ||
16:47 - 16:57 Break | Mini-break PriSC | ||
16:57 - 17:21 Talk | WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing PriSC Jay BosamiyaCarnegie Mellon University, Benjamin LimCarnegie Mellon University, Bryan ParnoCarnegie Mellon University Media Attached File Attached | ||
17:21 - 17:45 Talk | Memory Safety Preservation for WebAssembly PriSC Marco VassenaCISPA Helmholtz Center for Information Security, Marco PatrignaniStanford University & CISPA Link to publication Media Attached File Attached |