• 搜基本信息
  • 搜全文
  • 搜全文
  • 搜基本信息
常瑞 博士
副教授 | 博士生导师
二维码

2024-09-10

39060

  • 玉泉校区曹光彪楼
    • · 硬件辅助安全(可信执行环境、启动安全、内核安全、进程隔离、异构计算)
    • · 形式化验证(定理证明、模型检测、自动验证)
    • · 程序分析(符号执行、模糊测试、值集分析等)
  • 个人简介
  • 教学与课程
  • 研究与成果