浙江大学 常瑞 副教授
报告生成时间：2026年8月25日
个人主页：常瑞
所属团队：浙江大学网络空间安全学院 / 区块链与数据安全全国重点实验室
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 常瑞（Rui Chang），女 |
| 出生年份 | （待核实） |
| 职称 | 副教授（长聘轨，计算机科学与技术学院）、博士生导师 |
| 所属单位 | 浙江大学计算机科学与技术学院 / 网络空间安全学院（学科方向：网络空间安全） |
| 实验室职务 | 依托区块链与数据安全全国重点实验室，任奎"人工智能安全"团队成员；曾任浙江大学信息安全系副系主任 |
| 学术头衔 | CCF杰出会员；CCF体系结构专委执行委员、CCF系统软件专委执行委员、CCF形式化方法专委执行委员；国家信息标准委员会专家；IEEE可信设备扩展标准项目副主席 |
| 国家级人才 | （待核实） |
| 其他任职 | 浙江大学AAA战队（CTF战队）指导教师；曾兼任研究生德育导师 |
| 邮箱 | crix1021@zju.edu.cn |
| 研究方向 | 智能计算系统及安全（硬件辅助安全、体系结构安全、智能车载系统安全、AI Agent安全）；形式化方法（定理证明、模型检测、智能增强的自动化证明）；LLM程序分析（Java/Rust/Go/C/C++生态） |
二、教育背景与职业履历
常瑞的本、硕、博均为计算机专业。她在解放军信息工程大学获得计算机科学与技术工学博士学位，博士论文获ACM中国优秀博士学位论文分会奖。此后她在军校任教十余载，长期从事教学与科研工作，期间获得全军优秀教师、巾帼建功先进个人、网络空间安全教学尖兵等荣誉，形成了系统安全与形式化方法交叉的研究底色。
加入浙江大学计算机科学与技术学院后，她继续从事系统安全方向的科研与教学工作，历任副教授、博士生导师，曾任信息安全系副系主任，并作为核心成员进入网络空间安全学院（与计算机学院一体建设）任奎院长麾下的系统安全/人工智能安全研究团队。她主讲计算机体系结构、计算机操作系统、嵌入式系统原理等课程，牵头编写清华大学出版社出版的《计算机系统贯通课程实践教材（RISC-V架构）》（与申文博、吴磊、周亚金合著），主持完成国家、省部级课题十余项，申请国内外发明专利二十余项（含2项美国专利授权）。其具体加入浙大的年份（待核实）。
三、学生培养情况
1. 郭若容（浙江大学博士生，博士导师直接指导/联合指导）
系统安全团队核心成员，ZJV安全芯"逐梦杯"全国冠军团队成员。以第一作者在 ACM TOCS 发表 RegVault II（硬件辅助内核数据随机化），并参与 TIFS 2026 的 PA-Boot 多处理器安全启动形式化验证工作；曾获全国大学生信息安全竞赛一等奖（面向构建环境的软件供应链安全性分析系统）。
2. 张卓若 Zhuoruo Zhang（浙江大学研究生，博士导师直接指导）
常瑞与赵永望联合指导的博士生。以第一作者在 OOPSLA 2025 发表 eBPF 指令集形式语义（面向 Solana）的工作，另以第一作者完成 ASPLOS 2025 的处理器瞬态执行漏洞模糊测试工具 DejaVuzz（与周亚金、Yinqian Zhang、沈文博等合作）。
3. 胡嘉懿 Jiayi Hu（浙江大学研究生，联合指导）
与沈文博、常瑞等联合指导。以第一作者在 NDSS 2026 发表 GPU 辅助内核利用 PhantomMap，并参与 S&P 2026 的 NVIDIA GPU ASLR 研究论文，是浙大系统安全方向的代表性青年学生之一。
4. 沈栩捷、孙志博、潘子曰、苑子琦等（ZJV安全芯团队学生，团队培养）
由常瑞、周亚金、申文博三位老师共同指导，基于开源RISC-V架构设计实现ZJV系列"安全芯"处理器核，2022年获首届"逐梦杯"中国青年芯片科技创新大赛全国冠军，研究成果被人民日报网络专题报道。潘子曰亦为全国大学生信息安全竞赛一等奖团队成员。
5. 其他代表性学生（姓名待核实）
常瑞指导的学生中，有人获浙江省优秀硕士学位论文奖（浙江大学网络空间安全学科首例）、入选三星"移动安全名人堂"Top10、"阿里星"顶尖人才计划等；她指导的AAA战队2023年获TCTF新星邀请赛全国总冠军、2025年获第九届XCTF国际网络攻防联赛总决赛高校组季军（浙大历史最好成绩）。
四、学术合作网络
4.1 实验室内部合作
常瑞身处任奎教授领衔的网络空间安全学院"人工智能安全/系统安全"团队，与沈文博（百人计划研究员）、周亚金（百人计划研究员，BlockSec联合创始人）、申文博（百人计划研究员）、吴磊（副教授）、赵永望（教授）等构成稳定的核心合作圈。ZJV安全芯、DejaVuzz、PhantomMap、RegVault 等成果均由这一教师组合共同指导产出。她与周亚金、Yajin Zhou（周亚金）团队在区块链安全（如 TDSC 2025 的 MFGSCOPE 图分析框架、以太坊钓鱼合约实证研究）方面亦有合作。
4.2 跨机构合作
形式化方法方向与 David Sanán（南方科技大学）合作完成 eBPF 形式语义（OOPSLA 2025）；与 Yinqian Zhang（香港中文大学（深圳），SOLAR 团队）合作完成 DejaVuzz（ASPLOS 2025）；与 Zhiyun Qian（UC Riverside）合作完成 Linux 数据流攻击研究（TDSC 2026）。产业端，其团队研究生培养与华为、阿里巴巴、蚂蚁集团等共建实践基地，并长期指导学生参加腾讯TCTF、龙芯杯等企业深度参与的竞赛。
4.3 国际合作
通过 Zhiyun Qian（UC Riverside）、Ting Yu、Lei Wu 等海外/海归学者的论文合作，以及与 IEEE 标准组织（可信设备扩展标准项目副主席身份）的参与，常瑞保持着面向国际学术共同体的合作通道；其在 S&P、USENIX Security、NDSS、ASPLOS、OOPSLA 等会议的持续发表也构成了国际学术影响的载体。
五、业界合作关系深度分析
5.1 产业合作
常瑞团队的系统安全研究具有鲜明的产业面向：ZJV安全芯基于开源RISC-V生态，回应国产处理器"自主可控"需求；她本人担任 IEEE 可信设备扩展标准项目副主席、国家信息标准委员会专家，直接参与安全标准的产业落地。学院层面与华为、阿里巴巴、蚂蚁等共建十余个产学研协同创新平台，常瑞所在的任奎团队是其中人工智能安全方向的骨干力量；她指导的学生多人进入头部安全企业（含"阿里星"顶尖人才计划入选者）。
5.2 创业孵化与开源生态
其合作教师周亚金与吴磊联合创立的区块链安全公司 BlockSec（杭州）（常瑞本人非联合创始人），是浙大网安学院系内成果转化的代表性案例；ZJV安全芯及配套教材则属于面向开源芯片（RISC-V）与开源软件供应链（npm/Rust生态研究见 ICSE 2025 论文）的教育与开源生态建设。她本人未见直接的创业持股信息（待核实）。
六、重要奖项与学术兼职
| 类别 | 名称 | 年份 | 说明 |
|---|---|---|---|
| 学术荣誉 | ACM中国优秀博士学位论文分会奖 | （待核实） | 解放军信息工程大学博士论文 |
| 国家/军队级荣誉 | 全军优秀教师 | （待核实） | 军校任教期间 |
| 国家/军队级荣誉 | 巾帼建功先进个人、网络空间安全教学尖兵 | （待核实） | 军校任教期间 |
| 教学成果 | 省部级教学成果一等奖 | （待核实） | |
| 科技成果 | 省部级科技进步二等奖（2项） | （待核实） | |
| 教学竞赛 | 全国微课竞赛二等奖、教学竞赛省部级一等奖 | （待核实） | |
| 校级荣誉 | 浙江大学"三育人"先进个人、竺可桢学院十佳任课教师、优秀德育导师 | （待核实） | |
| 竞赛指导 | TCTF金牌指导教师、XCTF优秀指导教师、"龙芯杯"优秀教师、全国大学生信息安全竞赛优秀指导教师 | 2021-2023 | 指导AAA战队等 |
| 兼职 | 期限 |
|---|---|
| CCF体系结构专委执行委员 | 现任 |
| CCF系统软件专委执行委员 | 现任 |
| CCF形式化方法专委执行委员 | 现任 |
| IEEE可信设备扩展标准项目副主席 | 现任 |
| 国家信息标准委员会专家 | 现任 |
| 浙江大学AAA战队指导教师 | 现任 |
七、Connection圈层总结
第一圈层（核心圈层）是浙大系统安全教师共同体：任奎（院长、团队带头人）、沈文博、周亚金、申文博、赵永望、吴磊等，共同指导学生并联合发表，构成ZJV安全芯与系列顶会论文的产出核心；其直接指导的学生（郭若容、张卓若、胡嘉懿及ZJV团队成员）构成这一圈层的学术传承脉络。
第二圈层是学术合作网络：David Sanán（南科大）、Yinqian Zhang（港中深）、Zhiyun Qian（UC Riverside）等形式化方法与系统安全方向的国内外合作者，以及CCF体系结构、系统软件、形式化方法三个专委的学术共同体。
第三圈层是产业与竞赛生态：华为、阿里巴巴、蚂蚁、腾讯（TCTF）、龙芯（龙芯杯）等企业及其人才计划（阿里星、三星移动安全名人堂），加上BlockSec等系内孵化企业与RISC-V开源社区，使其影响力从学术研究延伸至国产芯片与安全产业一线。总体而言，常瑞的网络呈现出"军校治学打底、浙大平台放大、系统安全教研贯通、竞赛育人出圈"的独特结构。