程亮 男软件研究所
电子邮件：chengliang@tca.iscas.ac.cn
通信地址：北京市中关村南四街4号，5号楼809
邮政编码：100190


研究领域
招生信息

招生专业 计算机软件与理论



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


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


学历

学位
工作经历

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


社会兼职
教授课程
专利与奖励

奖励信息

专利成果
出版信息

发表论文 （1） Refining the pointer analysis by exploiting constraints on the CFL-paths，The 20th Asia-Pacific Software Engineering Conference (APSEC 2013)，2013，第2作者
（2） 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作者
（3） Measuring and Comparing the Protection Quality in Different Operating Systems ，IEEE 7th International Conference on Network and System Security (NSS)，2013，第2作者
（4） Quantitatively Measure Access Control Mechanisms Across Different Operating Systems ，IEEE 7th International Conference on Software Security and Reliability，2013，第1作者


发表著作
科研活动

科研项目 （1） 逻辑驱动的跨操作系统安全机制评价方法研究，主持，国家级，2012-01--2014-12


参与会议
合作情况

项目协作单位
指导学生