English
分享到
师资队伍
photo
姓名: 姜宇
职称: 副教授
电子邮件: jy1989@mail.tsinghua.edu.cn
工作地点: 清华大学东配楼11区319室
研究领域: 信息物理融合系统,软件系统安全
个人简介: 重点关注数据库、内核、工控等软件系统的安全,利用深度学习与模糊测试等技术,进行软件缺陷的自动挖掘与理解,在广泛使用的系统软件中挖掘数百个漏洞被收录入中美国家信息安全漏洞库。相关自动化漏洞挖掘技术成果被谷歌,华为,微软合并应用,以第一作者或通讯作者在ACM SOSP, IEEE S&P, USNIX Security等知名会议和期刊上发表论文70余篇,并获EMSOFT,ICSE-SEIP等会议的最佳论文或提名奖6次。曾获2015年中国计算机学会优秀博士论文奖、2020年阿里巴巴达摩院青橙奖等奖励。主持华为、阿里、三菱重工等企业创新横向课题10余项及国家自然科学基金优秀青年基金,重点研发计划课题等纵向课题4项。(欢迎加入课题组攻读硕士、博士或进行博士后研究工作)
教育背景
2010.09-2015.01,清华大学计算机科学与技术,博士 2006.09-2010.07,北京邮电大学软件工程,学士
工作履历
2019.12- 清华大学软件学院,副教授 2016.09-2019.11 清华大学软件学院,助理教授 2015.04-2016.08 伊利诺伊大学厄巴纳香槟分校,博士后
学术兼职
AE, IEEE Transactions on Sustainable Computing (T-SUSC), 2021- AE, ELSEVIER Journal of Systems Architecture: Embedded Software Design(JSA), 2020- PC, 43th ACM/IEEE International Conference on Software Engineering(ICSE),2021 PC, 57th ACM/IEEE Design Automation Conference(DAC), 2020, 2021 PC, 20th ACM/IEEE International Conference on Embedded Software(EMSOFT),2020, 2021 PC, 10th ACM International Conference on Cyber-Physical System(ICCPS), 2020 PC, 25th IEEE Real-time and Embedded Technology & Applications Symposium(RTAS), 2019 PC, 22nd ACM International Conference on Model Driven Engineering Languages and Systems(MODELS), 2019
奖励与荣誉
2021年,微众银行微众学者 2020年,阿里巴巴达摩院青橙奖 2020年,ACM SIGBED EMSOFT最佳论文提名 2020年,ACM SIGSOFT ICSE工业论文最佳论文提名 2019年,ACM SIGBED EMSOFT最佳论文提名 2019年,IEEE ICII 最佳论文 2018年,微软亚洲研究院Young Rising Star Program 2017年,全国软件测试大赛优秀指导教师 2015年,中国计算机协会优秀博士学位论文
学术成果
[*] Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang*, Jianzhong Liu, Zhe Liu, Jiaguang Sun: "PATA: Fuzzing with Path Aware Taint Analysis". IEEE Security and Privacy (S&P), 2022. [*] Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang*, Ting Chen, Aiguo Cui: "HEALER: Relation Learning Guided Kernel Fuzzing". ACM Symposium on Operating Systems Principles (SOSP), 2021 [*] Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang*, Rui Wang, Chengnian Sun, Jiaguang Sun: "RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing". USENIX Annual Technical Conference (ATC), 2021. [*] Yuheng Shen, Hao Sun, Yixiao Yang, Yu Jiang*, Wanli Chang, Heyuan Shi: "Rtkaller: State-aware Task Generation for RTOS Fuzzing". ACM SIGBED International Conference on Embedded Software(EMSOFT), 2021. [*] Feilong Zuo, Zhengxiong Luo, Junze Yu, Yu Jiang*: "PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles". ACM Design Automation Conference (DAC), 2021. [*] Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, and Yu Jiang*: "Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing". ACM SIGSOFT International Conference on Software Engineering - Software Engineering in Practice(ICSE-SEIP), 2021. [*] Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, and Yu Jiang*: "IntelliGen: Automatic Driver Synthesis for Fuzz Testing". ACM SIGSOFT International Conference on Software Engineering - Software Engineering in Practice(ICSE-SEIP), 2021. [*] Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang*, Wanli Chang, Liming Fang, Wen Li, and Jiaguang Sun: "Code Synthesis for Dataflow Based Embedded Software Design". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(TCAD), 2021. [*] Jian Gao, Yiwen Xu, Yu Jiang*, Zhe Liu, Xun Jiao, Wanli Chang, and JIaguang Sun:" EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking". ACM SIGBED International Conference on Embedded Software(EMSOFT,Best Paper Candidate), 2020. [*] Chijin Zhou, Mingzhe Wang, Jie Liang, and Yu Jiang*:" Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling". ACM SIGSOFT International Conference on Automated Software Engineering(ASE), 2020. [*] Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, and Yu Jiang*: "ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation".ACM Design Automation Conference(DAC), 2020. [*] Cong Wang, Mingrui Zhang, Yu Jiang*, Huafeng Zhang, Zhenchang Xing, and Ming Gu: "Escape from Escape Analysis of Golang". ACM SIGSOFT International Conference on Software Engineering - Software Engineering in Practice(ICSE-SEIP, Best Paper Candidate), 2020. [*] Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao and Zuo Su. EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzer. USENIX Security Symposium (Security), 2019 [*] Zhengxiong Luo, Feilong Zuo, Yu Jiang*, Jian Gao, Xun Jiao, and Jiaguang Sun: "Polar: Function Code Aware Fuzz Testing of ICS Protocol". ACM SIGBED International Conference on Embedded Software(EMSOFT, Best Paper Candidate), 2019.