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

  • 12月10日:王帅
    发布时间:2020-12-04  阅读次数:3983

    报告题目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.nodll.com Copyright Software Engineering Institute
    院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼
    亚博体育官网登录