Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 12:10 - 12:20 at Van-Horne - Security 1 Chair(s): Corina S Pasareanu

Despite the high stakes involved, smart contracts are often written in an undisciplined way thus far. The existence of vulnerabilities compromises the security and reliability of smart contracts, and endangers the trust of participants in their ongoing businesses. Existing vulnerability detection techniques are often designed case-by-case, making them difficult to generalize. In this paper, we design general principles for detecting vulnerable smart contracts. Our insight is that almost all the existing transaction related vulnerabilities are due to the mismatch between the actual transferred value and the amount reflected on the contract’s internal bookkeeping. Based on this, we propose a precise and generally applicable technique, VULTRON, which can detect irregular transactions due to various types of adversarial exploits. We also report on preliminary results applying our technique in real-world case studies.

Wed 29 May (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:30: Papers - Security 1 at Van-Horne
Chair(s): Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
icse-2019-Software-Engineering-in-Practice11:00 - 11:20
Charles WeirLancaster University, Lynne BlairLancaster University, Ingolf BeckerUniversity College London, M. Angela SasseUniversity College London, James NobleVictoria University of Wellington, Awais RashidUniversity of Bristol, UK
icse-2019-Software-Engineering-in-Practice11:20 - 11:40
Jinqiu YangConcordia University, Montreal, Canada, Lin TanPurdue University, John PeytonHCL America, Kristofer A DuerAppScan Source
icse-2019-Technical-Papers11:40 - 12:00
Xiaoning DuNanyang Technological University, Bihuan ChenFudan University, Yuekang LiNanyang Technological University, Jianmin GuoTsinghua University, Yaqin ZhouNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Yu Jiang
icse-2019-Journal-First-Paper12:00 - 12:10
Stanislav DashevskyiUniversity of Luxembourg, Achim D. BruckerThe University of Sheffield, Fabio MassacciUniversity of Trento
Link to publication DOI Pre-print
icse-2019-New-Ideas-and-Emerging-Reults12:10 - 12:20
Haijun WangNanyang Technological University, Yi LiNanyang Technological University, Shang-Wei LinNanyang Technological University, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore
icse-2019-Paper-Presentations12:20 - 12:30