ReGuard: Finding Reentrancy Bugs in Smart Contracts (* ICSE 2018 * - DEMO - Demonstrations ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Roscoe Bill

Track

* ICSE 2018 * DEMO - Demonstrations

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 30 May 2018 16:30 - 17:00 at E1/A room - Testing vulnerabilities Chair(s): Lingxiao Jiang

Chao Liu

Han Liu

Zhao Cao

Zhong Chen

Bangdao Chen

Roscoe Bill

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30: Testing vulnerabilitiesDEMO - Demonstrations at E1/A room Chair(s): Lingxiao JiangSingapore Management University

	16:00 - 16:30 Talk		SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing DEMO - Demonstrations Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun Link to publication
	16:30 - 17:00 Talk		ReGuard: Finding Reentrancy Bugs in Smart Contracts DEMO - Demonstrations Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Roscoe Bill
	17:00 - 17:30 Talk		Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis DEMO - Demonstrations Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jia-Guang Sun