导师代码： 12010
导师姓名： 陈厅
性别： 男
特称：

职称： 教授
学位： 工学博士学位
属性： 专职
电子邮件： brokendragon@uestc.edu.cn

---

学术经历： 2010-2013，电子科技大学，计算机软件与理论，博士2014-至今，电子科技大学，博士后2012-2013，美国普渡大学，联合培养博士2012国家科技进步二等奖2010四川省科技进步一等奖2013 ACM Chengdu Chapter优秀博士学位论文奖2013 成电杰出学生(研究生)

---

个人简介： 研究方向为软件安全、程序分析、软件漏洞发现、定位、分析与修复。发表SCI检索论文10余篇，包括顶级期刊及中科院2区、3区，以及CCF推荐B、C论文。获得国家发明专利9项，国际发明专利1项。获得国家自然基金、博士后面上基金、博士后特别基金、华为合作项目等国家级、省部级以及企业合作项目近10项。欢迎访问个人主页http://staff.uestc.edu.cn/chenting

---

科研项目： 1. 动态符号执行用于测试生成技术项目 华为公司合作项目 2014 主持2. 云计算环境下的并行动态符号执行技术研究 博士后面上基金 2015-2016 主持3. 基于云计算与动态符号执行的大型软件自动化测试研究 国家自然科学基金 2015-2017 主持4. 白盒fuzzing项目 华为公司合作项目 2015 主持5. 动态符号执行用于测试生成技术项目第二期 华为公司合作项目 2015 主持6. 动态符号执行中路径分歧与路径爆炸问题的研究 博士后特别资助 2016-2018 主持 7. 嵌入式软件系统脆弱性分析理论研究 中央高校基本业务费 — 优秀博士生支持计划 2011-2013 主持8. 基于多层代理的分布式联动入侵检测系统的研发 四川省科技支撑计划 2008-2009 主研9. 基于蠕虫动态行为和统计特征的检测方法研究与验证 华为高校科技基金项目 2008-2009 主研10. 基于蠕虫动态行为和统计特征的检测方法研究与验证 华为高校科技基金项目 2008-2009 主研11. 基于Windows的恶意软件行为密罐分析研究 华为高校科技基金项目 2007-2008 主研

---

研究成果： 1. Ting Chen, Xiaodong Lin, Jin Huang, Abel Bacchus, Xiaosong Zhang. An Empirical Investigation into Path Divergences for Concolic Execution using CREST. Security and Communication Networks, 2015. (SCI, CCF C, Accepted)2. Ting Chen, Xiao-song Zhang, Xiao-li Ji, Cong Zhu, Yang Bai, Yue Wu. Test Generation for Embedded Executables via Concolic Execution in a Real Environment. IEEE Transactions on Reliability, 2015, 64(1): 284-296. (SCI, top in reliability)3. Ting Chen, Xiao-song Zhang, Yue Wu. FPM: Four-factors Propagation Model for passive P2P worms. Future Generation Computer Systems, 2014, 36: 133-141. (SCI, 2区)4. Ting Chen, Xiao-song Zhang, Rui-dong Chen, Bo Yang, Yang Bai. Conpy: Concolic Execution Engine for Python Applications. Algorithms and Architectures for Parallel Processing. Springer International Publishing, 2014. 150-163. (CCF C)5. Ting Chen, Xiao-song Zhang, Shi-ze Guo, Hong-yuan Li, Yue Wu. State of the art: Dynamic symbolic execution for automated test generation. Future Generation Computer Systems, 2013, 29(7): 1758-1773. (SCI, 2区)6. Ting Chen, Xiao-song Zhang, Cong Zhu, Xiao-i Ji, Shi-ze Guo, Yue Wu. Design and implementation of a dynamic symbolic execution tool for windows executables. 6. Journal of Software: Evolution and Process 25.12 (2013): 1249-1272. (SCI, CCF B)7. Xiao-song Zhang, Ting Chen, Chun-xiang Xu, Xiao-hui Pan, Xue-yang Wu. Proactive P2P worm containment via automatic authentication. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 2013, 32(2): 661-673. (SCI)8. Ting Chen, Xiao-song Zhang, Hong-yuan Li, Dong Wang, Yue Wu. Propagation modeling of active P2P worms based on ternary matrix. Journal of Network and Computer Applications, 2013, 36(5): 1387-1394. (SCI, CCF C)9. Zhi Liu, Xiao-song Zhang, Yue Wu, Ting Chen. An effective taint-based software vulnerability miner. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 2013, 32(2): 467-484. (SCI)10. Ting Chen, Xiao-song Zhang, Xu Xiao, Yue Wu, Chun-xiang Xu, Hong-tian Zhao. SEVE: Symbolic Execution based Vulnerability Exploring system. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic 11. Ting Chen, Xiao-song Zhang, Hua Li, Xiong-da Li, Yue Wu. Fast quarantining of proactive worms in unstructured P2P networks. Journal of Network and Computer Applications, 2011, 34(5): 1648-1659. (SCI, CCF C)12. Xiao-song Zhang, Ting Chen, Da-peng Chen, Zhi Liu. SISG: self-immune automated signature generation for polymorphic worms. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 2010, 29(2): 445-467. (SCI)13. Xiao-song Zhang, Ting Chen, Jiong Zheng, Hua Li. Proactive worm propagation modeling and analysis in unstructured peer-to-peer networks. Journal of Zhejiang University SCIENCE C, 2010, 11(2): 119-129. (SCI)

---

专业研究方向： 专业名称 研究方向 招生类别
083900网络空间安全 02软件安全与可靠性技术 博士
083900网络空间安全 06区块链理论与应用 博士
085400电子信息 07不区分研究方向 博士
083900网络空间安全 02软件安全与可靠性技术 硕士
083900网络空间安全 06区块链理论与应用 硕士

---