科研专业方向
研究领域：
系统与软件安全技术
研究方向：
云计算、可信计算
严教授
副教授
湖北武汉市
科研重点分布
近年科研重点
2022
云计算 可信计算 安全威胁 可信云计算2023
侧信道 掩码 乱序 轻量级防护 随机探针模型 模糊测试 HDF5 深度学习模型科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：23
互联网技术：5
电信技术：3
自动化技术：2
计算机硬件技术：2
高等教育：1
数学：1
总数:
28
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 空天信息安全与可信计算教育部重点实验室 | 10 |
| 武汉理工大学计算机科学与技术学院 | 2 |
| 鹏城实验室网络空间安全研究中心 | 1 |
| 烽火技术服务有限公司 | 1 |
| 湖北省政府采购中心 | 1 |
| 武汉数字工程研究所 | 1 |
| 武汉轻工大学数学与计算机学院 | 1 |
| 广东电网有限责任公司信息中心 | 1 |
| 北京工业大学 | 1 |
| 国防科技大学计算机学院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 软件安全课程教学方法探究 | 武汉大学教改项目 |
| SGX技术的分析和研究 | 国家自然科学基金 |
| 基于ARM指针认证的信息流控制系统 | 国家自然科学基金项目 |
| 实现高阶安全的一阶掩码与乱序方法研究 | 国家自然科学基金 |
| 面向第三方的云平台可信性在线评测及分析技术 | 国家高技术研究发展基金资金项目 |
| 基于边界值不变量的对抗样本检测方法 | 国家重点基础研究发展计划 |
| 可信云计算研究综述 | 国家自然科学基金项目 |
| 面向HDF5格式预训练模型的模糊测试方法 | 国家自然科学基金项目 |
| 基于软件定义网络的非集中式信息流控制系统——S-DIFC | 国家自然科学基金资助项目 |
| 基于模型检测的可信软件栈测试 | 国家高技术研究发展计划 |
| 基于中国邮递员问题的可信平台模块测试序列生成优化研究 | 国家高技术研究发展计划 |
| IaaS下虚拟机的安全存储和可信启动 | 国家自然科学基金资助项目 |
| Flume系统的隐蔽信道搜索问题研究 | 国家自然科学基金项目 |
| 基于标记变迁系统的可信计算平台信任链测试 | 国家八六三高技术研究发展计划项目基金 |
| 可信计算平台测评理论与关键技术研究 | 国家高技术研究发展计划 |
| VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 | 国家自然科学基金资助项目 |
| VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 | 61272452 |
| VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 | 91118003 |
| VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 | 61173138 |
| VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现 | 61003185） |
| vTSE:一种基于SGX的vTPM安全增强方案 | 国家自然科学基金资助项目 |
| vTSE:一种基于SGX的vTPM安全增强方案 | 61303024 |
| vTSE:一种基于SGX的vTPM安全增强方案 | 61003268）国家重点基础研究发展计划资助项目 |
| 一种以用户为中心的移动互联网身份管理及认证系统 | 国家自然科学基金青年基金资助项目 |
| 一种基于手机令牌和NFC技术的身份认证系统 | 国家自然科学基金 |
| Ng-vTPM:新一代TPM虚拟化框架设计 | 国家重点基础研究发展计划 |
| 静态可信度量根安全证明方法 | 国家自然科学基金资助项目 |
| 静态可信度量根安全证明方法 | 61272452）湖北省自然科学基金重点项目 |
| HBROP:基于硬件性能计数器的函数级ROP检测 | 国家自然科学基金 |
| HyperSpector:基于UEFI的VMM动态可信监控基的设计与实现 | 国家自然科学基金资助项目 |
| 一种基于VT-d技术的虚拟机安全隔离框架研究 | 国家自然科学基金[6127245261003268611731389111800361303024]国家重点基础研究发展计划 |
| 可信计算研究进展 | 国家自然科学基金资助项目 |
| 基于无干扰理论的并发程序隐私性分析模型研究 | 国家自然科学基金 |
展开全部
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 技术成果
- 专利
实现高阶安全的一阶掩码与乱序方法研究
面向HDF5格式预训练模型的模糊测试方法
可信云计算研究综述
智能网联场景下工业控制系统一体化安全防护
基于ARM指针认证的信息流控制系统
软件安全课程教学方法探究
基于边界值不变量的对抗样本检测方法
面向第三方的云平台可信性在线评测及分析技术
SGX技术的分析和研究
vTSE:一种基于SGX的vTPM安全增强方案
HBROP:基于硬件性能计数器的函数级ROP检测
静态可信度量根安全证明方法
HyperSpector:基于UEFI的VMM动态可信监控基的设计与实现
基于软件定义网络的非集中式信息流控制系统——S-DIFC
Ng-vTPM:新一代TPM虚拟化框架设计
一种基于VT-d技术的虚拟机安全隔离框架研究
IaaS下虚拟机的安全存储和可信启动
VirtinSpector:一种基于UEFI的虚拟机动态安全度量框架设计与实现
Flume系统的隐蔽信道搜索问题研究
一种基于手机令牌和NFC技术的身份认证系统
一种以用户为中心的移动互联网身份管理及认证系统
基于无干扰理论的并发程序隐私性分析模型研究
基于模型检测的可信软件栈测试
基于中国邮递员问题的可信平台模块测试序列生成优化研究
可信计算平台测评理论与关键技术研究
可信计算的研究与发展
基于标记变迁系统的可信计算平台信任链测试
可信计算研究进展
自主可控的可信计算关键技术及应用
网络安全威胁主动感知及研判的方法与技术
可信软件的构造方法和技术
一种基于区块链的安全高效长程自主泊车预约服务方法
一种基于MPX的内存时间错误防护方法
一种基于SGX的图片验证码保护方法及系统
基于硬件事务内存的vTPM安全保护方法
一种TPM密钥及其授权数据备份恢复系统及方法
一种针对云平台虚拟机度量的主动远程证明方法
基于模糊技术的可信软件栈测试系统
基于可信平台模块的计算机安全启动系统
可信软件栈测试装置
可信平台模块测试装置
基于最小测试集的可信PC信任链测试系统
展开全部
数据信息来源于网络，若有侵权请联系客服