通知信息
当前位置: 首页 >> 学术信息 >> 正文

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

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

数学家破解11选5骗局 www.14li8.cn 各系部、中心:

应电子工程学院邀请,美国西密西根大学杨子江教授,于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西邮学术讲座第五十二讲、第五十三讲、第五十四讲

下一条:关于举办《如何构建“学生学为中心”的互动课堂》专题讲座的通知

数学家破解11选5骗局

雁塔校区

电话:029-85383106

邮政编码:710061

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

长安校区

电话:029-88166105

邮政编码:710121

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

版权所有:西安邮电大学 2011-2017 中国西安长安南路563号 陕ICP备040096号
  • 政府可以处变不惊,但一些企业、股民却成了惊弓之鸟。 2019-04-15
  • 每年长个不足五厘米早就医 2019-04-15
  • 普法小课堂之“有效遗嘱” 2019-04-13
  • 我们的国际主义义务就是让那受苦受难的中东人去欧洲过上幸福,美好的生活。到中国来,又不自由,又不民主,茶叶蛋都吃不上,来干嘛泥? 2019-04-08
  • 发挥自身优势 奋力走在前列——习近平总书记在山东考察回访记 2019-04-07
  • 国美618美店升级阶梯返利-热门标签-华商网数码 2019-04-07
  • 长治旅游推介会走进晋城、郑州、安阳 2019-04-03
  • 易烊千玺押中高考作文题?不仅会押,今年还唱过! 2019-04-03
  • 36年, 绝壁凿出万米渠(全国精神文明建设先进典型巡礼) 2019-04-01
  • 世界杯“男模天团”闪亮登场 2019-03-28
  • 一师一团土地确权登记颁证工作全面展开 2019-03-25
  • 铜梁这位30岁小伙抱上吉他骑着摩托去北极过生! 2019-03-25
  • 全国移动电话用户14.7亿户  4G用户数达10.6亿户 2019-03-23
  • 陈忠:城市空间弹性:文化自觉与制度转换 2019-03-22
  • 前5月新能源汽车延续高速增长态势 销量增141.6% 2019-03-21
  • 187| 905| 709| 6| 34| 795| 828| 478| 694| 54|