网络空间安全研究及应用团队·天津大学导师团队

团队简介

Team Introduction

网络空间安全研究及应用团队主要从事软件与系统安全，网络安全、密码理论与应用领域的研究工作。主持和参与科技部“863”计划、国家重点研发项目、国家基金重点和面上、天津市重点等项目20余项，在包括S&P, USENIX Security, CCS, TDSC, TIFS, ICSE, FSE, ASE, ISSTA, TSE, TOSEM等国际学术会议或期刊上发表论文200余篇。团队三次获得ACM SIGSOFT杰出论文奖(FSE16, ICSE18, ICSE21),其中论文“Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis”解决了符号执行中循环处理的难题,在ISSTA 2019十年最具影响力论文获奖者报告中被引用和提及，已经基于该技术发现了多个开源项目的新漏洞。荣获教育部科技进步二等奖1项，天津市科学技术进步一等奖1项，湖北省科技进步一等奖1项、天津科技进步二等奖和三等奖多项，团队指导的博士生荣获2019年中国计算学会CCF优秀博士学位论文和2019年天津市优秀博士论文，指导的硕士毕业生论文连续三年获得天津市优秀硕士学位论文。

研究方向Research Directions

软件与系统安全,网络安全,密码学理论与应用,区块链安全

2. 机电结构优化与控制研究内容：在对机电结构进行分析和优化的基础上，运用控制理论进行结构参数的调整，使结构性能满足设计要求。1. 仿生结构材料拓扑优化设计, 仿生机械设计研究内容：以仿生结构为研究对象，运用连续体结构拓扑优化设计理论和方法，对多相仿生结构(机构)材料进行2. 机电结构优化与控制研究内容：在对机电结构进行分析和优化的基础上，运用控制理论进行结构参数的调整，使结构性能满足设计要求。1. 仿生结构材料拓扑优化设计, 仿生机械设计研究内容：以仿生结构为研究对象，运用连续体结构拓扑优化设计理论和方法，对多相仿生结构(机构)材料进行整体布局设计。整体布局设计。

团队展示

团队科研方向：

实验室科研活动：

科研项目

国家电网客户服务中心基于人工智能的互联网安全技术支持服务、国家电网，300万，2020.10-2022.12。2020到账100万。（天津市科技进步一等奖1项）

基于攻击模式的可信软件的建模、度量与验证，李晓红，国家自然科学基金重大科技研究计划培育项目，50万，项目号：90718023，2008.1-2010.12（天津市科技进步三等奖1项）

可信软件构造理论与方法研究，项目号：91118003，国家基金重点项目，与武汉大学合作研究，300万，2012.01-2015.12（湖北省科技进步一等奖1项）

面向安全等级的安全需求工程方法与环境,项目号：612721068,国家基金面上项目, 80万, 2013.1-2016.12

泛在接入条件下移动应用安全关键技术研究，项目号：61572349，国家基金面上项目,直接经费66万,间接经费11.5,共计77.5万，2016.1-2019.12（天津市科技进步一等奖1项）

循环和递归的分析方法研究，项目号：61872262，国家基金面上项目,直接经费65万，2019.1-2022.12

安全协议自动验证技术服务与工具开发,中国移动通信有限公司研究院，2017.12.08-2018.12.31

研究成果

团队在包括S&P, USENIX Security, CCS, TDSC, TIFS, ICSE, FSE, ASE, ISSTA, TSE, TOSEM等国际学术会议或期刊上发表论文200余篇。团队三次获得ACM SIGSOFT杰出论文奖(FSE16, ICSE18, ICSE21),其中论文“Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis”解决了符号执行中循环处理的难题,在ISSTA 2019十年最具影响力论文获奖者报告中被引用和提及，已经基于该技术发现了多个开源项目的新漏洞。荣获教育部科技进步二等奖1项，天津市科学技术进步一等奖1项，湖北省科技进步一等奖1项、天津科技进步二等奖和三等奖多项，团队指导的博士生荣获2019年中国计算学会CCF优秀博士学位论文和2019年天津市优秀博士论文，指导的硕士毕业生论文连续三年获得天津市优秀硕士学位论文。

团队主要成员

team