当前位置: X-MOL首页全球导师 国内导师 › 程亮

个人简介

招生专业 083900-网络空间安全 招生方向 可信操作系统与系统保障,程序安全性分析,信息物理系统安全 教育背景 2003-09--2009-06 中国科学技术大学 工学博士 1999-09--2003-06 中国科学技术大学 工学学士 工作简历 2014-01~2016-01,宾夕法尼亚大学, 访问学者 2013-12~现在, 中国科学院软件研究所, 副研究员 2009-07~2013-12,中国科学院软件研究所, 助理研究员 科研项目 ( 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

研究领域

软件与系统安全

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

(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 作者

推荐链接
down
wechat
bug