马锐,博士,副教授,威尼斯87978797OpenHarmony技术俱乐部主任,北京市课程思政教学名师,北京高校继续教育高水平教学团队带头人,威尼斯87978797教学名师,在计算机科学与技术/电子信息(软件工程和计算机技术专业)/网络空间安全三个学科和专业招收工学硕士和专业硕士研究生。近年来一直在威尼斯87978797从事计算机专业的教学和科研工作,2005年8月赴爱尔兰都柏林大学计算机与信息科学技术学院访问1年。目前主要从事模糊测试(协议、二进制软件、操作系统内核等)、代码检测、人工智能可解释性、敏感数据分析等方向的研究工作,主持了科技部重点研发计划课题、工信部产业基础再造和制造业高质量发展专项、北京市科技专项、CCF-鲲鹏基金、中科院网络测试技术重点实验室开放基金、国家铁路智能运输系统工程技术研究中心开放课题等项目,作为实际负责人主持了科技部重点研发计划课题,并作为主要研究人员参与了科技部重点研发计划项目、863计划项目、国防基础科研计划重点项目及国防科技工业预先研究项目等多项国家级和省部级项目,其中“云边协同的网络安全智能运营决策关键技术研发与应用”获“CCF科技成果奖”科技进步二等奖,“辅助决策支持系统开发工具的研究”获兵器工业集团公司科学技术奖三等奖;参与国家人工智能标准化总体组全国信标委人工智能分委会组织编写的《人工智能伦理治理标准化指南》,在国内外期刊、学术会议上发表论文70余篇,获授权国家发明专利40余项;出版著译10余部,《人工神经网络原理》获北京市精品教材,获北京高校第四届青年教师教学基本功比赛理工组三等奖,北京市高等教育教学成果二等奖三项。
网络空间安全/人工智能/软件工程/OpenHarmony
论文:
1. Wang Xiajing, Ma Rui, Huo Wei, Zhang Zheng, Zhang Chaonan, Tian Donghai. SYNTONY: Potential-Aware Fuzzing with Particle Swarm Optimization,Journal of Systems and Software, 2023 (SCI)
2. Wang Xingyu, Ma Rui, He Jinyuan, Zhang Taisi, Wang Xiajing, Xue Jingfeng. INNT: Restricting Activation Distance to Enhance Consistency of Visual Interpretation in Neighborhood Noise Training,Electronics, 2023 (SCI)
3. Chen Jiaqi, Yuan Chong, Li Jiashuo, Tian Donghai, Ma Rui, Jia Xiaoqi. ELAMD: An Ensemble Learning Framework for Adversarial Malware Defense,Journal of Information Security and Applications, 2023 (SCI)
4. Li Minghui, Xue Jingfeng, Wang Yong, Ma Rui, Huo Wei. NACDA: Naming-based Access Control and Decentralized Authorization for Secure Many-to-Many Data Sharing,Electronics, 2023 (SCI)
5. Ying Qianjin, Yu Yulei, Tian Donghai, Jia Xiaoqi, Ma Rui, Hu Changzhen. CJSpector: A Novel Cryptojacking Detection Method Using Hardware Trace and Deep Learning,Journal of Grid Computing, 2022 (SCI)
6. Yuan Chong, Cai Jingxuan, Tian Donghai, Ma Rui, Jia Xiaoqi, Liu Wenmao. Towards Time Evolved Malware Identification using Two-head Neural Network, Journal of Information Security and Applications, 2022 (SCI)
7. Tian Donghai, Zhao Runze, Ma Rui, Jia Xiaoqi, Shen Qi, Hu Changzhen, Liu Wenmao. MDCD: A Malware Detection Approach in Cloud Using Deep Learning, Transactions on Emerging Telecommunications Technologies, 2022 (SCI)
8. Wang Wenjie, Tian Donghai, Ma Rui, Wei Hang, Ying Qianjin, Jia Xiaoqi, Zuo Lei. SHFuzz: A Hybrid Fuzzing Method Assisted by Static Analysis for Binary Programs, China Communications, 2021 (SCI)
9. Tian Donghai, Ying Qianjin, Jia Xiaoqi, Ma Rui, Hu Changzhen, Liu Wenmao. MDCHD: A Novel Malware Detection Method in Cloud using Hardware Trace and Deep Learning, Computer Networks, 2021 (SCI)
10. Tian Donghai, Jia Xiaoqi, Ma Rui, Liu Shuke, Liu Wenjing, Hu Changzhen. BinDeep: A Deep Learning Approach to Binary Code Similarity Detection, Expert Systems with Applications, 2021 (SCI)
11. Wang Xiajing, Hu Changzhen, Ma Rui, Tian Donghai, He Jinyuan. CMFuzz: Context-Aware Adaptive Mutation for Fuzzers, Empirical Software Engineering, 2021 (SCI)
12. Wang Wenjie, Tian Donghai, Meng Weizhi, Jia Xiaoqi, Zhao Runze, Ma Rui. MSYM: A Multichannel Communication System for Android Devices, Computer Networks, 2020 (SCI)
13. Wang Xiajing, Hu Changzhen, Ma Rui, Li Binbin, Wang Xuefei. LAFuzz: Neural Network for Efficient Fuzzing, IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020), 2020
14. Tian Donghai, Ma Rui, Jia Xiaoqi, Hu Changzhen. KEcruiser: A Novel Control Flow Protection for Kernel Extensions, Future Generation Computer Systems, 2019 (SCI)
15. Wang Xiajing, Ma Rui, Li Binbin, Tian Donghai, Wang Xuefei. E-WBM: An Effort-Based Vulnerability Discovery Model, IEEE ACCESS, 2019 (SCI)
16. Wang Xiajing, Ma Rui, Dou Bowen, Jian Zefeng, Chen Hongzhou. OFFDTAN: A New Approach of Offline Dynamic Taint Analysis for Binaries, Security and Communication Networks, 2018 (SCI)
17. Ma Rui, Ren Shuimin, Ma Ke, Hu Changzhen, Xue Jingfeng. Semi-valid Fuzzing Test C, Tsinghua Science and Technology, 2017 (SCI)
18. Ma Rui, Wang Daguang, Hu Changzhen, Ji Wendong, Xue Jingfeng. Test Data Generation for Stateful Network Protocol Fuzzing Using a Rule-Based State Machine, Tsinghua Science and Technology, 2016 (SCI)
19. Ma Rui, Guo Qiang, Hu Changzhen, Xue Jingfeng. An Improved WiFi Indoor Positioning Algorithm by Weighted Fusion, Sensors, 2015 (SCI)
20. Hu Kangwen, Xue Jingfeng, Hu Changzhen, Ma Rui, Li Zhiqiang. An Improved ID-Based Group Key Agreement Protocol, Tsinghua Science and Technology, 2014 (SCI)
授权专利:
1. 李斌斌,马锐等. 一种基于神经网络的模糊测试用例生成方法 (ZL 202310502110.7)
2. 马锐,李斌斌等. 基于在线式增量学习的模糊测试用例选择方法和装置 (ZL 202010791542.0)
3. 马锐,陈光媛等. 基于LSTM和BiLSTM的智能合约漏洞检测方法和装置 (ZL 202010768571.5)
4. 马锐,赵鹏飞等. 基于TensorFuzz的深度神经网络模糊测试框架和测试方法(ZL 202010765951.3)
5. 马锐,王雪霏等. 一种基于深度学习的输入结构推断方法和装置(ZL 202010554794.1)
6. 胡昌振,马锐,王夏菁等. 一种基于最小集合覆盖的模糊测试方法和装置 (ZL 202010790762.1)
7. 胡昌振,王夏菁,马锐等. 基于粒子群和多标准的模糊测试用例选择方法和装置 (ZL 202010791547.3)
8. 马锐,菅泽峰等. 一种基于抽象语法树的智能合约重入漏洞检测方法(ZL 201910390316.9)
9. 胡昌振,王夏菁,马锐等. 一种基于强化学习的模糊测试用例自适应变异方法和装置 (ZL 201910416959.6)
10. 马锐,李斌斌等. 一种模糊测试变异数量确定方法和装置 (ZL 201810820854.2)
11. 马锐,王夏菁等. 一种基于AFL的模糊测试变异方法和装置 (ZL 201810820845.3)
12. 马锐,任帅敏等. 一种模糊测试用例选择方法和装置 (ZL 201810819656.4)
13.马锐,朱天保等. 一种基于变量关联树的基本类型重构方法 (ZL 201810793986.0)
14.胡昌振,马锐,朱天保等. 一种基于变量关联树的复杂类型重构方法 (ZL 201810793950.2)
15.马锐,胡昌振等. 一种软件漏洞的防护方法和装置 (ZL 201710121268.4)
16.马锐,胡昌振等. 一种系统漏洞防护方法和装置 (ZL 201710121236.4)
17.胡昌振,马锐,王达光等. 基于粒子群优化算法的Android自动化测试方法 (ZL 201610069905.3)
18.胡昌振,马锐,纪文东等. 基于有限状态机网络协议半合法化模糊测试用例生成方法 (ZL 201510420047.8)
19.马锐,郭强等. 一种基于WIFI信号强度的室内定位方法 (ZL 201510119340.0)
20.马锐,张岩等. 一种分布式无线传感网络节点复制攻击检测方法 (ZL 201510107472.1)
著作:
马锐. 人工神经网络原理. 机械工业出版社, 2010.9(北京市高等教育精品教材)
白皮书:
人工智能伦理治理标准化指南. 国家人工智能标准化总体组全国信标委人工智能分委会. 2023.3
1. 科技部重点研发计划课题:高性能多协议仿真与安全测试技术研究,主持
2. 国家铁路智能运输系统工程技术研究中心开放课题:铁路敏感数据智能识别及热力图构建关键技术研究,主持
3. 基础产品创新项目子课题:异常状况识别与预警,主持
4. 工信部产业基础再造和制造业高质量发展专项:软件开发测试工具——软件开发集成系统,主持
5. 中科院网络测试技术重点实验室开放基金:自适应潜力感知模糊测试技术研究,主持
6. CCF-绿盟科技鲲鹏基金:基于静态分析和混合执行的模糊测试关键技术研究,主持
7. 北京市科技专项:基于核度理论的软件安全漏洞关联分析技术研究,主持
8. 重点研发计划课题:漏洞挖掘技术研究,主持
9. 企事业委托课题:神经网络体系结构选型评测工具,主持
10. 企事业委托课题:测评任务管理系统,主持
1. 2023,首届OpenHarmony技术峰会终端操作系统十大技术挑战方向“特别贡献奖”
2. 2022,CCF科技成果奖科技进步二等奖
3. 2003,兵器工业集团公司科学技术奖三等奖
4. 2022,北京市课程思政教学名师,北京市课程思政示范课程团队负责人
5. 2019,北京高校继续教育高水平教学团队负责人
6. 2013,北京市高等教育教学成果奖二等奖2项
7. 2011,北京高等教育精品教材
8. 2004,北京市教育教学成果(高等教育)二等奖
9. 2004,北京高校青年教师教学基本功比赛三等奖
10. 2019,北京地区高校大学生优秀创业团队二等奖指导教师
11. 2019,威尼斯87978797第四届迪文优秀教师奖(课堂教学类)一等奖
12. 2018,威尼斯87978797首届教学名师
实验室已建立良好的复杂计算环境,配备了多台高性能服务器和工作站,具备多核专业级处理器(12代i9、至强W-2250、至强Gold 6248R等)、主流高端显卡(如 RTX A6000,RTX 3090、RTX 3080Ti等)、大容量内存和快速存储系统,具备高速稳定的网络连接,内部网络环境和存储服务器(NAS)便于师生合作和资源共享,我们的实验室为研究生提供了广阔的研究空间和机会,鼓励有志于深入研究和探索的学生报考,与我们一起共同推动科学的进步和创新的发展!