ICSE 2020 (series) / Demonstrations / Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsDemo
Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change
Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change
08:05 - 09:05 | I17-Contracts and AnalysisDemonstrations / Technical Papers / Software Engineering in Practice / Journal First at Goguryeo Chair(s): Jaechang Nam Handong Global University | ||
08:05 10mTalk | How to reduce risk effectively in fixed price software developmentSEIP Software Engineering in Practice | ||
08:15 10mTalk | Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart ContractsDemo Demonstrations Zhiqiang Yang Oxford-Hainan Blockchain Research Institute, Han Liu Tsinghua University, Yue Li Oxford-Hainan Blockchain Research Institute, Huixuan Zheng Oxford-Hainan Blockchain Research Institute, Lei Wang Oxford-Hainan Blockchain Research Institute, Bangdao Chen Oxford-Hainan Blockchain Research Institute | ||
08:25 10mTalk | Escape from Escape Analysis of GolangSEIP Software Engineering in Practice Cong Wang Tsinghua University, Mingrui Zhang Tsinghua University, Beijing, China, Yu Jiang , Huafeng Zhang Huawei Technologies, Hangzhou, China, Zhenchang Xing Australia National University, Ming Gu | ||
08:35 10mTalk | Smart Contract Development: Challenges and OpportunitiesJ1 Journal First Weiqin Zou Nanjing University, David Lo Singapore Management University, Pavneet Singh Kochhar Microsoft, Xuan-Bach D. Le Singapore Management University, Singapore, Xin Xia Monash University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University | ||
08:45 10mTalk | Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts Technical Papers Thomas Durieux KTH Royal Institute of Technology, Sweden, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID, Pedro Cruz IST, University of Lisbon, Portugal Pre-print | ||
08:55 10mTalk | An Extended Abstract of “METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains”J1 Journal First Chang-ai Sun University of Science and Technology Beijing, An Fu University of Science and Technology Beijing, Pak-Lok Poon School of Engineering & Technology, Central Queensland University, Australia, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Huai Liu Swinburne University of Technology, Tsong Yueh Chen Swinburne University of Technology | ||