基本信息
马恒太男硕导中国科学院软件研究所
电子邮件： hengtai@iscas.ac.cn
通信地址： 北京海淀中关村南四街4号
邮政编码： 100190
部门/实验室：天基综合信息系统重点实验室
研究领域

招生信息
招生专业081203-计算机应用技术
081220-信息安全

招生方向网络技术与应用
信息处理与集成
信息与数字工程


教育背景1997-09--2001-03中科院软件所工学博士
1995-07--1997-07武汉科技大学工学硕士
1991-09--1995-07武汉治金科技大学工学学士

学历 中科院软件所 -- 研究生

学位 中科院软件所 -- 博士


工作经历
工作简历2005-03~现在,中科院软件所,副研究员
2001-03~2005-03,中科院软件所,助理研究员

社会兼职

教授课程

专利与奖励
奖励信息（1） 基于选择符号执行的软件漏洞自动挖掘与分析技术, 二等奖, 部委级, 2017

专利成果（ 1 ） 一种基于信息属性的JPEG2000图像保护系统及方法, 发明, 2017, 第 1 作者, 专利号: CNA
（ 2 ） 一种支持透明转码的图像数据安全传输系统, 发明, 2016, 第 1 作者, 专利号: CNA
（ 3 ） 基于卫星信道编码的自适应隐蔽通信方法, 发明, 2017, 第 1 作者, 专利号: CNA
（ 4 ） 一种基于协议逆向解析的自动化漏洞挖掘系统及方法, 发明, 2014, 第 1 作者, 专利号: 1.4
（ 5 ） 一种基于进程通信的Android应用程序权限滥用检测方法和系统, 发明, 2017, 第 2 作者, 专利号: 5.0
（ 6 ） 一种CCSDS图像认证系统及方法, 发明, 2014, 第 2 作者, 专利号: 3.2
（ 7 ） 一种适用于卫星移动通信网络的入网认证方法, 发明, 2014, 第 1 作者, 专利号: 9.1
（ 8 ） 一种基于模式的动态漏洞挖掘集成系统和方法, 发明, 2018, 第 1 作者, 专利号: 8.7
（ 9 ） 基于函数调用的脆弱性关联分析辅助漏洞挖掘方法, 发明, 2017, 第 2 作者, 专利号: 7.5
（ 10 ） 一种动态标记处理控制依赖的方法, 发明, 2015, 第 1 作者, 专利号: 3.6
（ 11 ） 一种支持非均衡任务分配的动态漏洞挖掘系统和方法, 发明, 2016, 第 1 作者, 专利号: 0.X
（ 12 ） 一种内核数据访问控制方法与系统, 发明, 2017, 第 1 作者, 专利号: 2.4
（ 13 ） 一种基于薄虚拟机监控器的USB存储设备安全访问控制方法, 发明, 2017, 第 1 作者, 专利号: 20**
（ 14 ） 一种基于DCR的动态漏洞挖掘方法及系统, 发明, 2017, 第 2 作者, 专利号: 3.8


出版信息
发表论文（1）精准执行可达性分析：理论与应用,软件学报,2018,第3作者
（2）HACS: A Hypervisor-Based Access Control Strategy to Protect Security Critical Kernel Data,International Conference on Computer Science and Technology 2017,2017,第3作者
（3）Thin Hypervisor-Based User Authentication Mechanism for Linux Security Modules,The 2nd International Conference on Computer Science and Technology (CST2017),2017,第3作者
（4）A New Static Vulnerabilities Analysis Algorithm for PHP Codes,The 3rd Annual International Conference on Network and Information Sysetms for Computers(ICNISC 2017),2017,第2作者
（5）A Static Backward Taint Data Analysis Method for Detecting Web Application Vulnerabilities,2017 9th IEEE International Conference on Communication Software and Networks(ICCSN),2017,第2作者
（6）Path Sensitive Static Analysis of Taint-style Vulnerabilities in PHP Code,17th IEEE International Conference on Communication Technology,2017,第3作者
（7）基于跨层优化资源分配的图像流认证方法,信息安全学报,2016,第2作者
（8）Secure Transmission Mechanism of Space Data Based on Information Attribute,2016 International Conference on Intelligent Control and Computer Application,2016,第1作者
（9）A Dynamic Marking Method for Implicit Information Flow in Dynamic Taint Analysis,The 8th International Conference on Security of Information and Networks,September 8-10, 2015,Sochi/Russia,2015,第2作者
（10）A method of handling control dependence in dynamic taint analysis,CIT/IUCC/DASC/PICom 2015,2015,第2作者
（11）An uneven distributed system for dynamic taint analysis Framework,CSCloud 2015,2015,第2作者
（12）压缩图像码流的分组丢失顽健可伸缩认证算法,通信学报,2014,第2作者
（13）基于有向图构造的卫星遥感图像认证算法,宇航学报,2014,第2作者
（14）A Capacity Self-Adaption Information Hiding Algorithm Based on RS Code,IEEE International Conference on Multisensor Fusion and Information Integration,2014,第1作者
（15）基于信息属性的空间数据安全传输机制研究,兵工学报,2014,第1作者
（16）An Automatic Network Protocol Reverse Engineering Method for Vulnerability Discovery,2014 International Conference on Network Security and Communication Engineering(NSCE2014),2014,第2作者
（17）Permissions Abuse Detection for Android Platform Based on DroidBox,2014 International Conference on Network Security and Communication Engineering(NSCE2014),2014,第2作者
（18）A Privilege Abuse Detection Method Based on Android Permission Model,The 4th International Conference on Electronics, Communications and Networks,2014,第2作者
（19）An Encryption Algorithm of JPEG2000 Streams for Supporting Ciphertext-based Transcoding,International Conference on Cognitive System and Information Processing,2014,第3作者
（20）卫星多组密钥管理,Satellite Multi-Group Key Management,The 3rd IEEE International Conference on Information Science and Technology (ICIST),2013,第2作者
（21）一类组密钥管理方案漏洞分析,Vulnerability Analysis of a Kind of Group Key Management Schemes,The 10th IEEE International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTICON),2013,第2作者
（22）卫星网络组播多组共享密钥管理方案,宇航学报,2013,第2作者
（23）无线网络媒体流高效认证协议,Efficient authentication of scalable media streams over wireless networks,Multimedia Tools and Applications,2013,第4作者
（24）Joint FEC codes and hash chains for optimizing authentication of JPEG2000 image streaming,In Proc. IEEE Int. Conf. on Multimedia and Expo (ICME),2013,第3作者
（25）卫星移动通信网络访问验证协议设计与分析,Design and Logical Analysis on the Access Authentication Scheme for Satellite Mobile Communication Networks,IET Information Security,2012,第2作者
（26）基于感知哈希的图像内容鉴别性能分析,Performance Analysis of Image Content Identification on Perceptual Hashing,计算机辅助设计与图形学学报,2012,第4作者
（27）针对移动代理数据完整性保护协议的一种新攻击,A New Kind of Attack to Free Roaming Mobile Agent Data Integrity Protection Protocol,软件学报,2011,第1作者
（28）一种适用于CCSDS图像数据压缩标准的可扩展加密方案,A Scalable Encryption Scheme for CCSDS Image Data Compression Standard,1st International Conference on Information Theory and Information Security,2011,第3作者
（29）基于随机网络编码的无线广播重传方案及性能分析,A wireless broadcast retransmission scheme based on random network coding and its performance analysis,信号处理,2010,第3作者

发表著作

科研活动
科研项目（ 1 ） 基于信息属性的安全防护技术, 主持,部委级,2011-03--2015-03
（ 2 ） 基于任务特征的安全防护策略研究, 参与,部委级,2011-03--2015-03
（ 3 ） 软件漏洞发现技术研究, 主持,国家级,2011-10--2016-07
（ 4 ） 卫星集群对抗技术, 主持,国家级,2012-03--2015-03
（ 5 ） 分布式动态漏洞挖掘集成系统, 主持,部委级,2015-07--2016-06
（ 6 ） 基于DCR的动态漏洞挖掘技术研究, 主持,部委级,2016-07--2017-06
（ 7 ） 安全可靠桌面计算机操作系统硬件服务框架的研发（三期）, 主持,国家级,2016-06--2017-06
（ 8 ） 面向特殊环境的漏洞挖掘技术研究, 主持,国家级,2017-07--2018-06

参与会议

合作情况
项目协作单位

指导学生已指导学生
许菁硕士研究生081203-计算机应用技术
霍亮硕士研究生430113-软件工程
傅勇硕士研究生081203-计算机应用技术
宋鑫硕士研究生081203-计算机应用技术
顾鼎锋硕士研究生085211-计算机技术
王雪飞硕士研究生081203-计算机应用技术
现指导学生
丰添硕士研究生081202-计算机软件与理论
黄涛硕士研究生081202-计算机软件与理论
邓佳星硕士研究生081202-计算机软件与理论
朱宇宸硕士研究生081202-计算机软件与理论