SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 16:00 - 16:20 at SPLASH-I - R-5 Chair(s): Alex Potanin, Anitha Gollamudi
Fri 20 Nov 2020 04:00 - 04:20 at SPLASH-I - R-5 Chair(s): Jan Vitek

As one of the fundamental optimizations in modern processors,
the \emph{out-of-order} execution boosts the pipeline
throughput by executing independent instructions in parallel
rather than in their program orders. However, due to the side
effects introduced by such microarchitectural optimization to
the CPU cache, secret-critical applications may suffer from
timing side-channel leaks. This paper presents a symbolic
execution-based technique, named {\sc SymO$_3$}, for exposing
cache timing leaks under the context of \emph{out-of-order}
execution. {\sc SymO$_3$} proposes new components that address
the modeling, reduction, and reasoning challenges of accommodating
program analysis to the software code \emph{out-of-order} analysis.
We implemented {\sc SymO$_3$} upon KLEE and conducted three
evaluations on it. Experimental results show that {\sc SymO$_3$}
successfully uncovers a set of cache timing leaks in five
real-world programs. Also, {\sc SymO$_3$} finds that, in general,
program transformation from compiler optimizations shrink the
surface to timing leaks. Furthermore, augmented with a speculative
execution modeling, {\sc SymO$_3$} identifies five more leaky
programs based on the compound analysis.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

15:00 - 16:20: R-5OOPSLA at SPLASH-I +12h
Chair(s): Alex PotaninVictoria University of Wellington, Anitha GollamudiHarvard University
15:00 - 15:20
Talk
OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Athens, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
15:20 - 15:40
Talk
OOPSLA
Caterina UrbanInria / ENS / CNRS / PSL University, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
15:40 - 16:00
Talk
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20: R-5OOPSLA at SPLASH-I
Chair(s): Jan VitekNortheastern University / Czech Technical University
03:00 - 03:20
Talk
OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Athens, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
03:20 - 03:40
Talk
OOPSLA
Caterina UrbanInria / ENS / CNRS / PSL University, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
03:40 - 04:00
Talk
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached