网络空间安全小组

小组介绍

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

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

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

小组组长

刘烃 博士

博士生导师。主要研究方向包括软件安全和智能电网安全。主持和参与国家自然科学基金、重点研发划、863计划等课题十余项。获得2017年国家科技进步奖二等奖、2018年教育部自然科学二等奖、2015年教育部科学技术进步奖一等奖、2013年陕西省科学技术奖一等奖等省部级奖励6项。获选2018年西安之星,2016年霍英东青年教师基金。相关研究成果先后在ICSE、TSE、TSG、TIFS、INFOCOM、ISSTA等国际顶级期刊和会议上发表论文60余篇,获得2019 INFOCOM、2016 ISSRE等顶级会议最佳论文。获得中国发明专利20余项,美国专利2项。

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

小组成员

范铭 博士 讲师

主要研究方向为移动软件安全。2013年和2019年分别获得西安交通大学学士和博士学位;2016年12月-2018年6月香港理工大学双博士学位联合培养。在IEEE TSE、IEEE TIFS等国际权威期刊和ICSE、ISSRE、ICPC等国际会议上发表论文10余篇,获得2016年IEEE ISSRE会议最佳论文奖。获得中国发明专利5项,美国专利1项。

博士后:屈宇

博 士:池剑磊、晋武侠、崔笛、Amir Rizvi、郭家琪、徐茜

研 三:贺安成、农春崯、徐一飞

研 二:贾昂、李姝玥、金凯迪、马雪

研 一:刘静雯、魏闻英、王寅、司梓良

小组成果展示