08-常瑞.pdf

1、基于RISC-V处理器架构搭建真实的计算机系统2024.08.23常常 瑞瑞浙江大学浙江大学个人简介个人简介浙江大学副教授，博士生导师，AAA战队指导教师全军优秀教师、ACM中国优博奖、TCTF金牌指导教师CCF杰出会员、体系结构、系统软件、形式化方法专委委员研究方向：系统安全、程序分析、形式化验证Email:https:/ 2007-2019年在中国人民解放军信息工程大学任教，2019年11月至今任教浙江大学；国家信息安全标准委员会成员，IEEE P2866.1(Standard for Device TrustedExtension:Software Architecture)标准立项副主

2、席；在ASPLOS、TIFS、CCS、S&P、TDSC、TSE、ISSTA等国际顶级会议/期刊上发表系统安全相关学术论文四十余篇；研究兴趣包括体系结构安全、可信执行环境安全、程序分析、形式化验证等。研究兴趣研究兴趣Architecture securityTEE securityFormal specificationTheorem provingValue set analysisSecure bootFormalMethodProgram AnalysisModel checkingDomainARM/RISC-VMethodologySymbolic executionAbstract

3、interpretationFirmware securityKernel securityFuzzingConstraint solvingSoftware securityJava,C,go,rustGPU SecurityAI for FM/Program Analysis研究研究基础基础未来未来研究研究TIFS 2024TSE 2024ASPLOS23DAC22TSE 2022ISSTA24CCS23S&P23TDSC 2023TSE 2023Zer0Con23TDSC 2024ISSRE23ICWS23TDSC 2022ICSE24TDSC 2023Tosem 2023教学经历教学经

4、历 TCTF 总决赛第一名（总决赛第一名（2023）XCTF 总决赛第二名（总决赛第二名（2023）信安大赛全国一等奖（信安大赛全国一等奖（2022，2020）“逐梦杯”全国冠军（“逐梦杯”全国冠军（2022）“强网杯”最佳高校战队、全国一等奖（“强网杯”最佳高校战队、全国一等奖（2021）“龙芯杯”全国一等奖（“龙芯杯”全国一等奖（2021，浙大首次），浙大首次）信息安全课程综合实践（大一暑）信息安全课程综合实践（大一暑）计算机系统计算机系统 I（大一下）（大一下）计算机系统计算机系统 II（大二上）（大二上）计算机系统计算机系统 III（大二下）（大二下）计算机体系结构（大三上）计算机体系

5、结构（大三上）软硬件综合实践（大二暑）软硬件综合实践（大二暑）Amipsel、MMM 可配置的五段可配置的五段32位流水线处理器核位流水线处理器核 “龙芯杯”全国一等奖（“龙芯杯”全国一等奖（2021）、二等奖（）、二等奖（2022）性能全国第一名性能全国第一名 Build secure systemZJV（浙大安全芯）（浙大安全芯）from 2022（ZJV1.02022,ZJV2.02023,求是求是I号号2024）New Hardware Features for Security EnhancementMicrokernel-Based Automotive System Securi

6、ty本本科科课课程程学学科科竞竞赛赛搭搭建建系系统统参考书目参考书目程序视角：CSAPP硬件CPU设计视角软件OS设计视角计算机系统贯通课程安全视角2021年第一届RISC-V峰会专题报告2022年第二届RISC-V峰会专题报告如何搭建真实的计算机系统？如何从设计者角度理解计算机系统的运行？如何从设计者角度理解计算机系统的运行？系统软硬件是如何配合协同工作的？系统软硬件是如何配合协同工作的？不同的层次之间是如何互相影响的？不同的层次之间是如何互相影响的？运行一个程序，需要什么硬件设备和哪些运行一个程序，需要什么硬件设备和哪些系统软件的支持？系统软件的支持？怎样的计算机系统设计是简洁的、高效的、