WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing (PriSC 2020 - Principles of Secure Compilation 2020)

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Jay Bosamiya, Benjamin Lim, Bryan Parno

Track

PriSC 2020 Principles of Secure Compilation

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 25 Jan 2020 16:57 - 17:21 at Rosalie - Compartmentalization, memory safety, and isolation Chair(s): Marco Patrignani, Jonathan Protzenko

Abstract

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.

File attachments

WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing (WebAssembly-as-an-Intermediate-Language-for-Provably-Safe-Software-Sandboxing.pdf)	473KiB

Jay Bosamiya

Carnegie Mellon University

Benjamin Lim

Carnegie Mellon University

Bryan Parno

Carnegie Mellon University

United States

Presentation

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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 24m 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 24m Talk		Mechanized Reasoning about a Capability Machine PriSC Aina Linn GeorgesAarhus University, Alix TrieuAarhus University, Lars BirkedalAarhus University Media Attached
16:23 24m 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 10m Break		Mini-break PriSC
16:57 24m 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 24m 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