欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
     
    通知公告
    青年学者学术报告《Scrutinizing Security Software and Protocols with Formal Methods》
    发布时间:2019-11-07 09:18:53

    计算机软件新技术国家重点实验室


    摘 要:

    This talk will brief our research results on applying formal methods for security analytics. It will show how formal analysis identifies logic flaws from various real-world applications, including web authentication, online payment and mobile apps. This talk will then focus on our approach that uses software model checking technique to verify Android apps. We have built a general framework named DroidPF which enables to explore the concrete state spaces, addresses the challenge caused by event-driven execution paradigm, and alleviates state space explosion.


    报告人简介:

    Dr. Guangdong Bai is a Senior Lecturer in the University of Queensland, Australia. He obtained his PhD degree from National University of Singapore, and master and bachelor degrees from Peking University. His research interest includes security, software engineering and formal methods. During his previous research, he has worked on analyzing Web protocols, online payment, Android security and IoT security. His research has produced impactful results which contribute to security enhancement of widely-used websites/applications like Sina Weibo, Facebook, Helium, Mozilla and Hadoop, and mobile device vendors like Samsung and Huawei (under CVE and SVE). His work appears on top academic conferences and journals such as NDSS, TSE, ASE and FM.

    时间:11月7日(星期四) 10:00

    地点:计算机科学技术楼230室



    上一篇:青年学者学术报告《面向环境非确定性的信息物理融合系统测试》
    下一篇:学术报告《无线推动无人机群体智能:从蚁群到类人社群》
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第5793395位来客!

    在线客服

    点击这里给我发消息