程亮 男 软件研究所
电子邮件：chengliang@tca.iscas.ac.cn
通信地址：北京市中关村南四街4号，5号楼809
邮政编码：100190
部门/实验室：可信计算与信息保障实验室
研究领域软件与系统安全



招生信息
招生专业083900-网络空间安全

招生方向 可信操作系统与系统保障，程序安全性分析，信息物理系统安全



教育背景 2003-09--2009-06 中国科学技术大学 工学博士
1999-09--2003-06 中国科学技术大学 工学学士

学历
学位

工作经历
工作简历2014-01~2016-01,宾夕法尼亚大学,访问
2013-12~现在,中国科学院软件研究所,副研究员
2009-07~2013-12,中国科学院软件研究所,助理研究员

社会兼职

教授课程

专利与奖励
奖励信息
专利成果

出版信息
发表论文（1）Improving accuracy of static integer overflow detection in binary,The 18th International Symposium on Research in Attacks, Intrusions and Defenses (RAID),2015,第4作者
（2）Operating System Security Policy Hardening via Capability Dependency Graphs,The 11th International Conference on Information Security Practice and Experience (ISPEC),2015,第2作者
（3）Evaluating and comparing the quality of access control in different operating systems,Computers & Security,2014,第1作者
（4）Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones,The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustComm),,2014,第2作者
（5）Refining the pointer analysis by exploiting constraints on the CFL-paths,The 20th Asia-Pacific Software Engineering Conference (APSEC 2013),2013,第2作者
（6）Quantitatively Measure Access Control Mechanisms Across Different Operating Systems ,IEEE 7th International Conference on Software Security and Reliability,2013,第1作者
（7）Measuring and Comparing the Protection Quality in Different Operating Systems ,IEEE 7th International Conference on Network and System Security (NSS),2013,第2作者
（8）Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerability,The 8th IEEE International Workshop on Security, Trust and Privacy for Software Applications (STPSA 2013),2013,第3作者

发表著作

科研活动
科研项目（ 1 ） 逻辑驱动的跨操作系统安全机制评价方法研究, 主持,国家级,2012-01--2014-12
（ 2 ） 操作系统访问控制错误修复方法研究, 参与,国家级,2015-01--2018-12
（ 3 ） 基于源代码的深度安全测试和漏洞挖掘研究, 主持,国家级,2016-05--2017-05
（ 4 ） 软件与系统漏洞分析与可利用判定技术研究, 参与,国家级,2017-07--2021-06
（ 5 ） 基于智能模糊测试的深度漏洞挖掘技术研究, 主持,国家级,2018-01--2018-12

参与会议（1）Improving accuracy of static integer overflow detection in binaryYang Zhang, Xiaoshan Sun, Yi Deng, Liang Cheng, Shuke Zeng, Yu Fu, Dengguo Feng2015-11-02


合作情况
项目协作单位

指导学生现指导学生
曹佳欣硕士研究生085211-计算机技术