面向软件安全漏洞检测与分析的智能化符号执行方法研究
61872386
2018
F0205.网络与系统安全
马金鑫
面上项目
研究员
中国信息安全测评中心
64万元
漏洞分析;关键路径;人工智能;符号执行
2019-01-01到2022-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | InsFuzz: Fuzzing Binaries with Location Sensitivity | 期刊论文 | Hanfang Zhang;Anmin Zhou;Peng Jia;Luping Liu;Jinxin Ma;Liang Liu |
| 2 | HFuzz: Towards automatic fuzzing testing of NB-IoT core network protocols implementations | 期刊论文 | Liu Xinyao;Cui Baojiang;Fu Junsong;Ma Jinxin |
| 3 | 二进制分析实战 | 专著 | 刘杰宏;马金鑫;崔宝江 |
| 4 | 网络安全之机器学习 | 专著 | 马金鑫;张利;张江宵 |
| 5 | Mining String Feature for Malicious Binary Detection Based on Normalized CNN | 会议论文 | Xiaomeng Wang;Jiajie Wang;Zhibin Guan;Wei Xin;Jing Cui |
| 6 | IoTCID: A Dynamic Detection Technology for Command Injection Vulnerabilities in IoT Devices | 期刊论文 | Hao Chen;Jinxin Ma;Baojiang Cui;Junsong Fu |
| 7 | 一种样本生成方法及装置 | 专利 | 邹权臣;马金鑫;张利;吴润浦;王欣 |
| 8 | IoTSIT: A Static Instrumentation Tool for IoT Devices | 期刊论文 | Chen Chen;Jing Zhe;Ma Jinxin;Cui Baojiang;Xu Han;Zou Quanchen |
| 9 | Simulation-Based Fuzzing for Smart IoT Devices | 会议论文 | Fanglei Zhang;Baojiang Cui;Chen Chen;Yiqi Sun;Kairui Gong;Jinxin Ma |
| 10 | Research on 6G Satellite-Terrestrial Integrated Network Architecture | 会议论文 | Zhihao Zhou;Jinxin Ma;Guangnian Wan;Li Su;Haitao Du;Baojiang Cui |
| 11 | 符号执行中的约束求解问题研究进展 | 期刊论文 | 邹权臣;吴润浦;马金鑫;王欣;辛伟;侯长玉;李美聪 |
| 12 | 一种测试样本生成方法及装置 | 专利 | 马金鑫;张利;吴润浦;王欣;陈晨 |
| 13 | Firmware code instrumentation technology for internet of things-based services | 期刊论文 | Chen Chen;Ma Jinxin;Qi Tao;Cui Baojiang;Qi Weikong;Zhang Zhaolei;Sun Peng |
| 14 | 一种基于智能化符号执行的漏洞分析方法及系统 | 专利 | 马金鑫;张涛;吴润浦;王欣 |
查看更多信息请先登录或注册
