常瑞
工学博士
副教授
博士生导师
-
单位:
计算机科学与技术学院
- 地址: 玉泉校区曹光彪楼
- 邮箱: crix1021@zju.edu.cn
-
研究方向:
- · 硬件辅助安全(体系架构安全、可信执行环境、内核安全、异构计算)
- · 形式化验证（定理证明、模型检测、自动化验证）
- · 程序分析（符号执行、模糊测试、LLM辅助的静态分析）
- 个人简介
- 教学与课程
- 研究与成果
换一批
更新时间
2025-01-31
总访问量:41372