TSIS Lab.
研究方向：软件系统，是人的作品，更应该是人的朋友，应该尽最大可能地正确、安全、可靠、智能。相比上层应用而言，现代计算和通信平台和智能载体的基础软件的上述特性尤为重要。
|
梁洪亮，北京邮电大学副教授，博士生导师、硕士生导师。2002年于中国科学院软件研究所获得博士学位；2005年受聘为中国科学院软件研究副研究员；2009年至今为北京邮电大学副教授。荣获北京市科技进步奖一项，中国科学院软件研究所优秀研究生指导教师，北京邮电大学大学生创新创业优秀指导教师。指导毕业的研究生70余人和本科生50余人，3人获得研究生国家奖学金，10人获得北京市级或校级优秀毕业生或优秀研究生荣誉，10余人获得大创国家级项目评级。研究兴趣包括：操作系统、可信软件、人工智能安全。 |
|
|
易秋萍，北京邮电大学特聘副研究员，博士生导师、硕士生导师。2016年于中国科学院软件研究所获得博士学位；2016年至2017年于美国Texas A&M University做博士后；2018年至2019年于美国Texas State University做博士后；2020年至今为北京邮电大学特聘副研究员。研究兴趣包括：程序分析、可信软件、人工智能安全。 |
|
刘杰，北京邮电大学在读博士生。2020年于中国石油大学（华东）获得硕士学位；研究兴趣包括：漏洞检测、可利用性分析 |
|
吴国豪，北京邮电大学在读博士生。2021年于重庆大学获得硕士学位；研究兴趣包括：嵌入式系统仿真、嵌入式固件漏洞挖掘 |
|
李壮，北京邮电大学在读博士生。2022年硕博连读于北京邮电大学计算机学院；研究兴趣包括：黑盒、灰盒模糊测试；符号执行；CSA |
|
蔡金延，北京邮电大学博士生。2023年于江苏科技大学获得硕士学位；研究兴趣包括：人工智能安全 |
|
姚连达，北京邮电大学硕士生。2022年于山东科技大学获得学士学位；研究兴趣包括：程序分析。 |
|
廖开来，北京邮电大学硕士生。2021年于南开大学获得学士学位；研究兴趣包括：嵌入式仿真。 |
|
尹麓鸣，北京邮电大学硕士生。2022年于广西大学获得学士学位；研究兴趣包括：KLEE、CSA。 |
|
李怀瑾，北京邮电大学硕士生。2022年于北京工商大学获得学士学位；研究兴趣包括：嵌入式仿真。 |
|
刘胜涵，北京邮电大学硕士生。2022年于郑州大学获得学士学位；研究兴趣包括：符号执行、模糊测试。 |
|
张政，北京邮电大学硕士生，2022年于北京科技大学获得学士学位；研究兴趣包括：漏洞挖掘，自然语言处理。 |
|
孙美静，北京邮电大学硕士生。2021年于天津财经大学获得学士学位；研究兴趣包括：程序分析 |
|
杜鹏勃，北京邮电大学硕士生。2023年于哈尔滨工程大学获得学士学位；研究兴趣包括：符号执行、模糊测试。 |
|
邹顺，北京邮电大学硕士生。2022年于中国石油大学获得学士学位；研究兴趣包括：嵌入式系统仿真、漏洞挖掘。 |
|
李于翔，北京邮电大学硕士生。2023年于集美大学获得学士学位；研究兴趣包括：程序分析。 |
|
江留洋，北京邮电大学硕士生。2023年于河南大学获得学士学位；研究兴趣包括：系统仿真，程序分析 |
|
赵炜昊，北京邮电大学硕士生。2022年于燕山大学获得学士学位；研究兴趣包括：系统仿真，程序分析 |
|
李彦祺，北京邮电大学硕士生。2023年于北京化工大学获得学士学位；研究兴趣包括：程序分析、渗透测试。 |
|
于天浩，北京邮电大学硕士生。2023年于东北财经大学获得学士学位；研究兴趣包括：AI安全。 |
|
李震，北京邮电大学硕士生。2023年于XXX大学获得学士学位；研究兴趣包括：程序分析、模糊测试。 |
|
董子睿，北京邮电大学硕士生。2023年于北京语言大学获得学士学位；研究兴趣包括：内核模糊测试。 |
|
魏千越，北京邮电大学硕士生。2023年于华北电力大学获得学士学位；研究兴趣包括：嵌入式操作系统 |
潘学俭，硕士，微软（美国）
罗宇翔，硕士，谷歌（美国）
田硕，博士，某部委
胡晓昌，硕士，阿里
周鹏，硕士，阿里
易秋萍，博士，北京邮电大学
阳晓宇，硕士，创业公司CEO
董钰，硕士，某部委
高蕾，硕士，国家信息安全测评中心
徐健，硕士，南京银行
韩长垚，硕士，华为
汪雷，硕士，创业公司CTO
吴东洋，硕士，深信服
李明煜，博士，中科院软件研究所
胡文颖，硕士，微策略科技
裴萧潇，硕士，IBM
刘湿润，硕士，中科院信息工程研究所
李政宇，硕士，招商银行
张旖旎，硕士，招商银行
杨宇行，硕士，京东
陈奕修，硕士，字节跳动
姜琳，硕士，国家电网
安航，硕士，360公司
周彦杰，硕士，奇安信
郝显通，硕士，小米
位金弈，硕士，南京银行
郭子晖，硕士，华为
李翔宇，硕士，工商银行
王春霖，硕士，复旦大学读博
余一凡，硕士，
马冬雨，硕士，航天12所
于杏林，硕士，CERT
马丹丹，硕士，
张思凡，硕士，
[j15]Hongliang Liang, Xiangyu Li, Da Xiao, Jie Liu, Yanjie Zhou, Aibo Wang, Jin Li: Generative Pre-Trained Transformer-Based Reinforcement Learning for Testing Web Application Firewalls. IEEE Trans. Dependable Secur. Comput. 21(1): 309-324 (2024)
[j14]Hongliang Liang, Xinglin Yu, Xianglin Cheng, Jie Liu, Jin Li: Multiple Targets Directed Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. 21(1): 325-339 (2024)
[c37]Chunlin Wang, Hongliang Liang: Value Peripheral Register Values for Fuzzing MCU Firmware. ISSRE 2023: 718-729
[j13]Da Xiao, Dengji Hang, Lu Ai, Shengping Li, Hongliang Liang: Path context augmented statement and network for learning programs. Empir. Softw. Eng. 27(2): 37 (2022)
[j12]Hongliang Liang, Dengji Hang, Xiangyu Li: Modeling function-level interactions for file-level bug localization. Empir. Softw. Eng. 27(7): 186 (2022)
[c35]Xiantong Hao, Dandan Ma, Hongliang Liang: Detection and Privacy Leakage Analysis of Third-Party Libraries in Android Apps. SecureComm 2022: 569-587
[i3]Hongliang Liang, Xianglin Cheng, Jie Liu, Jin Li: Multiple Targets Directed Greybox Fuzzing. CoRR abs/2206.14977 (2022)
[j10]Hongliang Liang, Mingyu Li, Yixiu Chen, Tianqi Yang, Zhuosi Xie, Lin Jiang: Architectural Protection of Trusted System Services for SGX Enclaves in Cloud Computing. IEEE Trans. Cloud Comput. 9(3): 910-922 (2021)
[c33]Hongliang Liang, Lu Ai: AST-path Based Compare-Aggregate Network for Code Clone Detection. IJCNN 2021: 1-8
[j9]Hongliang Liang, Zhuosi Xie, Yixiu Chen, Hua Ning, Jianli Wang: FIT: Inspect vulnerabilities in cross-architecture firmware by deep learning and bipartite matching. Comput. Secur. 99: 102032 (2020)
[j8]Hongliang Liang, Mingyu Li, Yixiu Chen, Lin Jiang, Zhuosi Xie, Tianqi Yang: Establishing Trusted I/O Paths for SGX Client Systems With Aurora. IEEE Trans. Inf. Forensics Secur. 15: 1589-1600 (2020)
[c32]Hongliang Liang, Wenqing Yu, Lu Ai, Lin Jiang: A Practical Concolic Execution Technique for Large Scale Software Systems. EASE 2020: 312-317
[c31]Hongliang Liang, Yixiu Chen, Zhuosi Xie, Zhiyi Liang: X-AFL: a kernel fuzzer combining passive and active fuzzing. EuroSec@EuroSys 2020: 13-18
[c30]Hongliang Liang, Mingyue Li, Jianli Wang: Automated data race bugs addition. EuroSec@EuroSys 2020: 37-42
[c29]Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang: GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC 2020: 160-170
[c28]Hongliang Liang, Lin Jiang, Lu Ai, Jinyi Wei: Sequence Directed Hybrid Fuzzing. SANER 2020: 127-137
[j7]Hongliang Liang, Yue Yu, Lin Jiang, Zhuosi Xie: Seml: A Semantic LSTM Model for Software Defect Prediction. IEEE Access 7: 83812-83824 (2019)
[j6]Hongliang Liang, Lu Sun, Meilin Wang, Yuxing Yang: Deep Learning With Customized Abstract Syntax Tree for Bug Localization. IEEE Access 7: 116309-116320 (2019)
[c27]Hongliang Liang, Tianqi Yang, Lin Jiang, Yixiu Chen, Zhuosi Xie: Witness: Detecting Vulnerabilities in Android Apps Extensively and Verifiably. APSEC 2019: 434-441
[c26]Hongliang Liang, Yuxing Yang, Lu Sun, Lin Jiang: JSAC: A Novel Framework to Detect Malicious JavaScript via CNNs over AST and CFG. IJCNN 2019: 1-8
[c25]Hongliang Liang, Qiong Zhang, Mingyu Li, Jianqiang Li: Toward Migration of SGX-Enabled Containers. ISCC 2019: 1-6
[c24]Hongliang Liang, Yini Zhang, Yue Yu, Zhuosi Xie, Lin Jiang: Sequence coverage directed greybox fuzzing. ICPC 2019: 249-259
[c7]Qiuping Yi, Guowei Yang: Feedback-Driven Incremental Symbolic Execution. ISSRE 2022: 505-516
[c6]Jian Liu, Lin Yi, Weiteng Chen, Chengyu Song, Zhiyun Qian, Qiuping Yi: LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. USENIX Security Symposium 2022: 125-142
[c5]Qiuping Yi, Junye Wen, Guowei Yang: Summary-guided incremental symbolic execution. ICSE (Companion Volume) 2020: 310-311
[j2]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao: Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. 44(1): 25-43 (2018)
[c4]Qiuping Yi, Jeff Huang: Concurrency verification with maximal path causality. ESEC/SIGSOFT FSE 2018: 366-376
[j1]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang: Explaining Software Failures by Cascade Fault Localization. ACM Trans. Design Autom. Electr. Syst. 20(3): 41:1-41:28 (2015)
[c3]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, Chao Wang: A Synergistic Analysis Method for Explaining Failed Regression Tests. ICSE (1) 2015: 257-267
[c2]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao: Postconditioned Symbolic Execution. ICST 2015: 1-10
[c1]Qiuping Yi, Jian Liu, Wuwei Shen: Efficient Loop-Extended Model Checking of Data Structure Methods. FGIT-ASEA/DRBC/EL 2011: 237-24
