Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

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 AnalysisArtifact ReusableTechnical 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
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 AnalysisArtifact ReusableTechnical 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