An Axiomatic Approach to Detect Information Leaks in Concurrent Programs (ICSE 2021 - NIER - New Ideas and Emerging Results) - ICSE 2021

Write a Blog >>

Mon 17 May - Sat 5 June 2021

Who

Sandip Ghosal, R.K. Shyamasundar

Track

ICSE 2021 NIER - New Ideas and Emerging Results

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

When

Tue 25 May 2021 16:40 - 16:55 at Blended Sessions Room 3 - 1.4.3. Identifying Information Leaks Chair(s): Oscar Dieste
Wed 26 May 2021 04:40 - 04:55 at Blended Sessions Room 3 - 1.4.3. Identifying Information Leaks

Link to Preprint

https://arxiv.org/abs/2103.02171

Sandip Ghosal

Indian Institute of Technology, Bombay

India

R.K. Shyamasundar

Indian Institute of Technology, Bombay

India

YT Video

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

Session Program

Tue 25 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:40 - 17:35	1.4.3. Identifying Information LeaksNIER - New Ideas and Emerging Results / Technical Track at Blended Sessions Room 3 +12h Chair(s): Oscar Dieste Universidad Politécnica de Madrid

	16:40 15m Paper		An Axiomatic Approach to Detect Information Leaks in Concurrent ProgramsNIER NIER - New Ideas and Emerging Results Sandip Ghosal Indian Institute of Technology, Bombay, R.K. Shyamasundar Indian Institute of Technology, Bombay Pre-print Media Attached
	16:55 20m Paper		Abacus: Precise Side-Channel AnalysisTechnical Track Technical Track Qinkun Bao The Pennsylvania State University, Zihao Wang The Pennsylvania State University, Xiaoting Li Penn State University, James Larus EPFL, Dinghao Wu The Pennsylvania State University Pre-print Media Attached
	17:15 20m Paper		Data-Driven Synthesis of a Provably Sound Side Channel AnalysisTechnical Track Technical Track Jingbo Wang University of Southern California, Chungha Sung University of Southern California, Mukund Raghothaman University of Southern California, Chao Wang USC Pre-print Media Attached

Wed 26 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	04:40 - 05:35	1.4.3. Identifying Information LeaksTechnical Track / NIER - New Ideas and Emerging Results at Blended Sessions Room 3

	04:40 15m Paper		An Axiomatic Approach to Detect Information Leaks in Concurrent ProgramsNIER NIER - New Ideas and Emerging Results Sandip Ghosal Indian Institute of Technology, Bombay, R.K. Shyamasundar Indian Institute of Technology, Bombay Pre-print Media Attached
	04:55 20m Paper		Abacus: Precise Side-Channel AnalysisTechnical Track Technical Track Qinkun Bao The Pennsylvania State University, Zihao Wang The Pennsylvania State University, Xiaoting Li Penn State University, James Larus EPFL, Dinghao Wu The Pennsylvania State University Pre-print Media Attached
	05:15 20m Paper		Data-Driven Synthesis of a Provably Sound Side Channel AnalysisTechnical Track Technical Track Jingbo Wang University of Southern California, Chungha Sung University of Southern California, Mukund Raghothaman University of Southern California, Chao Wang USC Pre-print Media Attached