常瑞
博士
副教授
|
博士生导师
2024-09-10
39393
- crix1021@zju.edu.cn
- 玉泉校区曹光彪楼
-
- · 硬件辅助安全(可信执行环境、启动安全、内核安全、进程隔离、异构计算)
- · 形式化验证（定理证明、模型检测、自动验证）
- · 程序分析（符号执行、模糊测试、值集分析等）