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

Conference Day
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 DiesteUniversidad 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 GhosalIndian Institute of Technology, Bombay, R.K. ShyamasundarIndian Institute of Technology, Bombay
Pre-print Media Attached
16:55
20m
Paper
Abacus: Precise Side-Channel AnalysisArtifact ReusableTechnical Track
Technical Track
Qinkun BaoThe Pennsylvania State University, Zihao WangThe Pennsylvania State University, Xiaoting LiPenn State University, James LarusEPFL, Dinghao WuThe 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 WangUniversity of Southern California, Chungha SungUniversity of Southern California, Mukund RaghothamanUniversity of Southern California, Chao WangUSC
Pre-print Media Attached

Conference Day
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 GhosalIndian Institute of Technology, Bombay, R.K. ShyamasundarIndian Institute of Technology, Bombay
Pre-print Media Attached
04:55
20m
Paper
Abacus: Precise Side-Channel AnalysisArtifact ReusableTechnical Track
Technical Track
Qinkun BaoThe Pennsylvania State University, Zihao WangThe Pennsylvania State University, Xiaoting LiPenn State University, James LarusEPFL, Dinghao WuThe 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 WangUniversity of Southern California, Chungha SungUniversity of Southern California, Mukund RaghothamanUniversity of Southern California, Chao WangUSC
Pre-print Media Attached