基于符号执行的缓存侧信道漏洞检测方法 来源 计算机技术与发展 DOI 10.20165/j.cnki.ISSN1673-629X.2025.0291 下载 PDF 作者 高菲 马自强 李扬 张娟洋 单位 宁夏大学信息工程学院;宁夏“东数西算”人工智能与信息安全重点实验室;宁夏大数据与人工智能省部共建协同创新中心; 模拟退火算法 漏洞检测 符号执行 系统安全 缓存侧信道 遗传算法
Spike-FlexiCAS:支持缓存架构灵活配置的RISC-V处理器模拟器 发表于 2025-06-11 17:52 来源 软件学报 DOI 10.13328/j.cnki.jos.007358 下载 PDF 作者 韩金池 王智栋 马浩 宋威 单位 网络空间安全防御重点实验室(中国科学院信息工程研究所);中国科学院大学网络空间安全学院; RISC-V 模拟器 缓存侧信道 缓存架构
