设为首页加入收藏网站地图 中文ENGLISH
通知信息
当前位置: 首页 >> 学术信息 >> 正文

关于举办美国西密西根大学杨子江教授学术报告的通知

发布时间:2018年07月02日 15时19分32秒  浏览次数:

各系部、中心:

应电子工程学院邀请,美国西密西根大学杨子江教授,于73日下午来我校做专题学术讲座,欢迎广大师生参加!报告的具体安排如下:

报告题目:Critical Path Identification and Analysis for Smart Contracts

报告摘要:Smart contracts built on top of the blockchain technology provides aplatform for automatically executing contracts in an anonymous, distributed,and trusted way. The technology claims to have the potential to revolutionizemany industries. However, smart contracts have become a magnate forcyberattacks and millions of dollars were stolen. In the first part of the talk, we presenta symbolic execution based approach thatautomatically identify a small number of critical program paths that may havevulnerabilities. Our approach hasbeen implemented in a tool called sCompile, which has been applied to more than 10,000 smart contracts. Theexperiment results show that sCompile is efficient, i.e., it spends 6.58seconds on average to analyze a smart contract. Furthermore, we show that manyknown vulnerability can be captured if the user inspects as few as the top 5program paths generated by sCompile. Using sCompile, we identify 92 previouslyunknown vulnerabilities.

报告人:杨子江教授(Universityof Pennsylvania,美国西密西根大学)

ZijiangYang is a professor ofComputerScienceatWesternMichigan University.His research is inthe broad areas of software engineering. He has published over eightyconference and journal papers with about 1/3 ranked in CCF category A. Hereceived his Ph.D.from theUniversity of Pennsylvania, M.S. fromRice University, and B.S. from theUniversity of Science and Technology ofChina, all in computer science. He is a recipient of the2018 ACM SIGSOFT Distinguished Paper Award(ICSE best paper award),2016Google CS Engagement Award and 2008 ACM TODAES best paper award. He is thegeneral chair of the 12thIEEEConference on Software Testing, Validation and Verification (ICST).

报告时间:201873日(星期二)15:00

报告地点:长安校区西区2号楼307会议室

杨子江(ZijiangYang)是美国西密西根大学计算机科学系教授。 1996年毕业于中国科技大学,计算机科学专业,2003年毕业于美国宾夕法尼亚大学(University ofPennsylvania),获计算机与信息科学博士学位,主要研究领域为软件工程。扬子江教授先后在美国NEC公司美国研发中心任副研究员和科研顾问;2003年到美国西密西根大学工作至今。受聘于西安交通大学,大连理工大学,天津大学,西南大学,南京大学等单位的客座教授。担任美国科学基金,美国能源部,美国宇航局等基金评委;担任上海交通大学学科评审委员;在10th2017)和11th2018IEEE International Conference onSoftware Testing, Verification and Validation,19th 2017International Conference on FormalEngineering Methods国际会议评审委员;负责ACM SIGSOFT 软工邮件组(国际软工研究领域最大的交流群,有近万名注册研究人员);即将担任12th IEEE International Conference on Software Testing, Verificationand ValidationICST)大会主席(软件测试方面旗舰会议,2019年在西安召开,也是第一次在中国举行);即将担任2018Symposium on Dependable Software Engineering SETTA)程序委员会主席。曾获得谷歌计算机Engagement 奖、西密西根大学工学院研究成果奖、PADTAD 最佳会议论文奖、ACM TODAES 年度最佳期刊论文奖、西密西根大学工学院青年研究成果奖、担任国际电子电气工程师协会(IEEE)高级会员。

杨子江教授的主要研究领域为软件工程。迄今共发表论文77篇。其中包括中国计算机协会推荐A类论文17篇(期刊 5篇,会议12篇),B类论文22篇(期刊9篇,会议13篇),C类论文10篇(期刊 2篇,会议8篇)。另外有美国专利10项。

特此通知。

 

 

                  电子工程学院

                                         201872

 

上一条:关于举办信息安全国家重点研发计划子课题系列学术报告的通知---2018西邮学术讲座第五十二讲、第五十三讲、第五十四讲

下一条:关于举办李辰教授学术报告的通知--2018西邮学术讲座第五十一讲

关闭页面

雁塔校区

电话:029-85383106

邮政编码:710061

雁塔校区地址:西安市长安南路563号

长安校区

电话:029-88166105

邮政编码:710121

长安校区地址:西安市长安区西长安街618号

版权所有:西安邮电大学 2011-2017 中国西安长安南路563号 陕ICP备040096号