Detection of Spectre vulnerabilities via static analysis (SALAD 2018)

Blogs (61) >>

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Track

SALAD 2018

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Thu 19 Jul 2018 17:15 - 17:52 at Paris - SALAD 3 Chair(s): Jan Vitek

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:30	SALAD 3SALAD at Paris Chair(s): Jan Vitek Northeastern University

16:00 37m Talk		On the Effectiveness of Kernel Debloating via Compile-time Configuration SALAD Mansour Alharthi , Hong Hu Georgia Institute of Technology, Hyungon Moon Georgia Tech, Taesoo Kim Georgia Tech
16:37 37m Talk		WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support SALAD Julian Dolby IBM Thomas J. Watson Research Center
17:15 37m Talk		Detection of Spectre vulnerabilities via static analysis SALAD Omer Tripp Google Inc.
17:52 37m Talk		BinRec: Attack Surface Reduction Through Dynamic Binary Recovery SALAD Taddeus Kroes Vrije Universiteit Amsterdam, Anil Altinay , Joseph Nash , Yeoul Na , Stijn Volckaert University of California, Irvine, Herbert Bos , Michael Franz University of California, Irvine, Cristiano Giuffrida

Detection of Spectre vulnerabilities via static analysis

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Omer Tripp

Google Inc.

Tracks

Co-hosted Conferences

Workshops

Detection of Spectre vulnerabilities via static analysis

Program Display Configuration

Program Display Configuration

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Omer Tripp

Google Inc.

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change