SecWasm: Information Flow Control for WebAssembly (SAS 2022 - Papers)

Who

Iulia Bastys, Maximilian Algehed, Alexander Sjösten, Andrei Sabelfeld

Track

SAS 2022

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Tue 6 Dec 2022 10:30 - 11:00 at AMRF Auditorium - Security Chair(s): Emanuele D’Osualdo

Abstract

We introduce SecWasm, the first general purpose information-flow control system for WebAssembly (Wasm), thus extending the safety guarantees offered by Wasm with guarantees that applications manipulate sensitive data in a secure way.

SecWasm is a hybrid system enforcing termination-insensitive noninterference, which overcomes the challenges posed by the uncommon characteristics for machine languages in Wasm in an elegant and thorough way.

Iulia Bastys

Chalmers University of Technology

Sweden

Maximilian Algehed

Chalmers University of Technology, Sweden

Sweden

Alexander Sjösten

TU Wien

Austria

Andrei Sabelfeld

Chalmers University of Technology

Sweden

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:00	SecuritySAS at AMRF Auditorium Chair(s): Emanuele D’Osualdo MPI-SWS

10:30 30m Talk		SecWasm: Information Flow Control for WebAssemblyVirtual SAS Iulia Bastys Chalmers University of Technology, Maximilian Algehed Chalmers University of Technology, Sweden, Alexander Sjösten TU Wien, Andrei Sabelfeld Chalmers University of Technology
11:00 30m Talk		Adversarial Logic SAS Julien Vanegue Bloomberg
11:30 30m Talk		Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation SAS Roberto Giacobazzi University of Verona, Isabella Mastroeni University of Verona, Italy