刘剑 男 硕导 信息工程研究所
电子邮件：
联系电话：
手机号码：
通信地址：北京市海淀区杏石口路益园文创基地C1楼中段三层（益园园区）
邮政编码：100195
部门/实验室：第六研究室
研究领域软件与网络安全、系统安全和攻防

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

招生方向网络与软件安全,系统安全与测评


教育背景
学历1993~2000 云南大学计算机科学系 硕士&学士
2000~2005 中国科学院软件研究所 博士

学位
出国学习工作2000~2001 澳大利亚昆士兰大学高级访问
学历

工作经历
工作简历
社会兼职

教授课程软件测试与安全分析


专利与奖励易秋萍、刘剑、汪孙律、一种快速的循环扩展检测方法 （3.8）
汪孙律、张弦、李斌、刘剑、严俊 进程通信系统建模和分析软件（2010R11S069155）
汪孙律、张弦、李斌、刘剑、严俊 过程间代码边界检测软件（2010SR056505）

奖励信息
专利成果

出版信息
发表论文（1）Explaining software failures by cascade fault localization,ACM Transactions on Design Automation of Electronic Systems,2015,通讯作者
（2）A synergistic analysis method for explaining failed regression tests,The 37th International Conference on Software Engineering (ICSE),2015,通讯作者
（3）Postconditioned Symbolic Execution,The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST),2015,通讯作者
（4）一种基于微内核操作系统进程间通信恢复方法,计算机应用与软件,2014,第3作者
（5）一种基于单条程序执行路径的错误定位方法,计算机系统应用,2014,第3作者
（6）Program Structure Aware Fault Localization,Procceding of InnoSWDev workshop, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering，2014,2014,第4作者
（7）航天嵌入式操作系统的分析与验证,载人航天,2012,第4作者
（8）一种并发程序原子性错误的检测方法及工具,计算机应用与软件,2012,第3作者
（9）基于控制流挖掘的Android系统代码漏洞分析,清华大学学报,2012,第1作者
（10）Effficient Loop-extended Model Checking of Data Structure Methods,Proceeding of ASEA 2011,2011,第2作者
（11）Supporting Flexibile Reification of Design Patterns,Proceeding of APSIC 2010,2010,第3作者
（12）Model Checking a Secure Hypervisor,Procedding of WCSE2010,2010,第2作者
（13）传值进程模型检测中诊断信息的生成,软件学报,2003,第1作者
（14）谓词u演算和模态图的语义一致性,软件学报,2003,第1作者
（15）Diagnose Model Checking for Value-passing CCS,In Proc. of the Automated Technology for Verification and Analysis(ATVA’2003),2003,第1作者
（16）交互式环境下基于层次分解的并行变换技术,计算机研究与发展,1999,第3作者
（17）一种并发软件规约方法的框架,计算机科学,1999,第1作者

发表著作

科研活动
科研项目（ 1 ） 面向国标第五级安全操作系统原型系统研发, 参与,部委级,2008-10--2012-06
（ 2 ） “核高基”, 参与,国家级,2012-01--2014-12
（ 3 ） 某云计算平台安全分析, 主持,省级,2015-06--2017-06

参与会议

合作情况
项目协作单位

指导学生现指导学生
王云飞硕士研究生081202-计算机软件与理论