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

Static analysis of smart contracts as-deployed on the Ethereum blockchain has received much recent attention.
However, high-precision analyses currently face significant challenges when dealing with the Ethereum VM (EVM) execution model.
A major such challenge is the modeling of low-level, transient memory'' (as opposed to persistent, on-blockchainstorage'') that smart contracts employ.
Statically understanding the usage patterns of memory is non-trivial, due to the dynamic allocation
nature of in-memory buffers.
We offer an analysis that models EVM memory, recovering high-level concepts (e.g., arrays, buffers, call arguments) via deep modeling of the flow of values.
Our analysis opens the door to Ethereum static analyses with drastically increased precision.
One such analysis detects the extraction of ERC20 tokens by unauthorized users.
For another practical vulnerability (redundant calls, possibly used as an attack vector), our memory modeling yields analysis precision of 89%, compared to 16% for a state-of-the-art tool without precise memory modeling.
Additionally, precise memory modeling enables the static computation of a contract's gas cost.
This gas-cost analysis has recently been instrumental in the evaluation of the impact of the EIP-1884 repricing (in terms of gas costs) of EVM operations, leading to a reward and
significant publicity from the Ethereum Foundation.

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 Malta, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
15:20 - 15:40
Talk
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure | Université PSL, 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 Malta, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
03:20 - 03:40
Talk
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure | Université PSL, 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