面向软件安全漏洞检测与分析的智能化符号执行方法研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 基于KDM4B调控H3K9甲基化介导肠道干细胞分化探讨痢泻要方重塑腹泻型肠易激综合征肠道转运稳态（国自然，马金鑫，2026）
• 基于KDM4B调控H3K9甲基化介导肠道干细胞分化探讨痛泻要方重塑腹泻型肠易激综合征肠道转运稳态的机制研究（国自然，马金鑫，2026）
• 面向二进制程序的静态结构化符号执行与动态组合方法研究（国自然，马金鑫，2015）

中国信息安全测评中心其他项目

• 基于在线评论比较关系识别的市场竞争力分析：文本挖掘方法（国自然，高松，2020）
• 科学基金网络信息系统专项安全测评（国自然，贺强，2019）
• 二进制代码特征提取与智能分析（国自然，朱瑞瑾，2018）
• 科学基金网络信息系统安全测评（国自然，贺强，2018）
• 面向特定领域的知识图谱构建与应用关键技术研究（国自然，程军军，2018）
• 基于多尺度流分析的隐蔽信道检测模型和技术（国自然，田斌，2018）
• 基于双向安全基线的工业控制系统异常检测方法研究（国自然，高洋，2017）
• 面向可控云计算的恶意行为分析与管控关键技术研究（国自然，李保珲，2017）

网络与系统安全学科其他项目

• 大规模网络下面向隐式路由链路攻击的高效跨域协同防御方法研究（国自然，鲁宁，2020）
• 面向大数据安全的密态数据处理关键技术研究（国自然，刘西蒙，2020）
• 隐私保护的云加密数据共享与分析关键技术研究（国自然，苗银宾，2020）
• 零知识条件下面向语言的模糊测试方法研究（国自然，游伟，2020）
• 低时延安全服务链并行化关键技术研究（国自然，廖丽平，2020）
• 广义网络温度及其用于网络异常预警与预防方法的研究（国自然，王昌达，2020）
• 面向工业控制系统攻击测试的智能攻击路径发现关键技术研究（国自然，孙彦斌，2020）
• 操作系统的并发缺陷检测技术研究（国自然，白家驹，2020）