程亮 男 软件研究所
电子邮件: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 binary   Yang Zhang, Xiaoshan Sun, Yi Deng, Liang Cheng, Shuke Zeng, Yu Fu, Dengguo Feng   2015-11-02

指导学生

现指导学生

曹佳欣  硕士研究生  085211-计算机技术