中国足彩-中国足彩官方网站(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,中国足彩-中国足彩官方网站值得信赖,期待广大游戏爱好者前来体验,中国足彩-中国足彩官方网站将把最好的游戏体验带给大家!

<menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>
12月10日:王帅
发布时间:2020-12-04  阅读次数:1400

报告题目Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

报告人:王帅 助理教授  香港科技大学

报告时间:2020121016:0017:00

报告形式:线上报告

会议链接:https://meeting.tecent.com/s/9fiHVB8YCoY1

会议号:283 365 502

 

报告摘要:Despite rapid growth of the Ethereum block-chain system and the smart contract ecosystem, errors and exploitations have been constantly reported from online contract systems, which has put financial stability at risk with losses totaling millions of US dorllars. In this talk, Shuai Wang will introduce an approach to analyzing the inherent nondeterminism in the Ethereum blockchain system and its influence on smart contract payments. Shuai will show that the new focus on nondeterminism-related smart contract payment bugs captures the root causes of many common vulnerabilities without relying on any known patterns and also encompasses recently disclosed issues that are not handled by existing research.

 

报告人简介:王帅教授的研究方向位软件与系统安全,包括软件测试,逆向工程,二进制分析等。在软件工程,变成语言理论以及计算机安全的国际一流会议和期刊(ICSE, ASE, TSE, OOPSLA, USENIX Security)等发表文章十余篇。他同时也是国际一流会议和期刊(ICSE, ICSE-SEIP, FSE, CCS, TSE)等的委员和审稿人。

华东师范大学软件工程学院
www.dmsio.com Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼
中国足彩-中国足彩官方网站古风小说 君子以泽 好看的课外书 古风君子以泽 好看的小说完本推荐 盗墓笔记第二季 唐家三少 好看的电视剧 完美世界前传下载 已完本玄幻小说排行榜 小说 玄幻小说排行榜 <menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>