程亮 男 软件研究所
电子邮件: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
参与会议
(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-计算机技术