可信软件小组

小组介绍

该小组主要方向为网络系统的安全性评估,以及软件可信性的研究,致力于主动,准确,及时地发现系统中存在的漏洞,并结合网络可能遭受到的入侵,对网络系统进行态势评估,同时通过建立可信评测平台以及软件可重构工具,达到软件的可靠,稳定的运行。

可信软件小组主要承担国家科研课题,包括国家自然科学基金集成项目1项、重点项目3项、面上和青年项目2项,以及国防、航天等领域预研项目3项。

小组发表论文30余篇,其中CCF A类4篇,B类5篇,获得2016 IEEE ISSRE会议Best Research Paper和2014 SEKE会议Best Demo Award。

小组组长

刘烃 博士

西安交通大学电信学院自动化系副教授,博士生导师。主要研究方向包括软件安全和智能电网安全。2003年本科毕业于西安交通大学电信学院信息工程专业;2010年博士毕业于西安交通大学电信学院系统工程研究所;2016-2017年美国康奈尔大学访问教授。主持和参与国家自然科学基金、重点研发计划、863计划、霍英东基金、教育部博士点基金等课题十余项。获得2015年教育部科学技术进步奖一等奖、2013年中国电子学会电子信息科学技术一等奖、2013年陕西省科学技术奖一等奖、2016年中国专利优秀奖。相关研究成果先后在IEEE TSE、IEEE TSG、IEEE TIFS、IEEE Network、IEEE ISSRE等国际顶级期刊和会议上发表论文60余篇,获得中国发明专利20余项,美国专利2项。获得2017 IEEE CPSWEEK CPSR-SG会议Best Paper Award、2016 IEEE ISSRE会议Best Research Paper和2014 SEKE会议Best Demo Award。担任IEEE TSG、IEEE TIFS、计算机学报等期刊审稿人。担任Software Quality Journal客座编辑,2019 ICST、2017 ASPLOS、2017 IEEE ICA3PP 、2016 ASE、2015 TrustCom等国际会议组织委员会委员,ICA3PP 、SEKE、TrustCom等会议程序委员会委员。

个人主页:http://gr.xjtu.edu.cn/web/tingliu

小组成员

博士后:屈宇

博 士:张晓东、范铭、晋武侠、池剑磊、崔笛

研 三:陈泽华、郝宇、佟菲菲

研 二:刘欣宇、尹文浩、金洋旭

研 一:徐茜、郭家琪、贺安成、徐一飞、农春崯

小组成果展示