公开(公告)号：CN117134880A

公开(公告)日：2023-11-28

申请号：CN202311090844.5

申请日：2023-08-28

Applicant: 北京计算机技术及应用研究所

Inventor： 杨光 ,  李东方 ,  沈炜 ,  刘诗宇 ,  苏明月 ,  徐晓丽

IPC: H04L9/00 ,  H04B17/391 ,  G06F21/76

Abstract: 本发明涉及一种基于QEMU仿真的C代码级侧信道能量迹对齐预处理方法，属于芯片安全检测技术领域。本发明的方法较传统方法，能够完全对齐能量迹曲线，使仿真能量迹中寄存器数值与当前程序指令完全同步，减少能量迹曲线水平噪声对后续侧信道分析的影响；经过对齐预处理后，后续相关能量侧信道分析所需能量迹曲线数目更少，可减少能量迹曲线采集数量，减少整体侧信道分析时间耗时。

公开(公告)号：CN117271282A

公开(公告)日：2023-12-22

申请号：CN202311063006.9

申请日：2023-08-23

Applicant: 北京计算机技术及应用研究所

Inventor： 杨光 ,  李东方 ,  沈炜 ,  刘诗宇 ,  苏明月 ,  徐晓丽

IPC: G06F11/34 ,  G06F11/36

Abstract: 本发明涉及一种基于QEMU仿真的C代码级侧信道泄漏能量迹采集方法，属于芯片安全检测技术领域。相较于传统的侧信道评估方法(测试设备/硬件等+分析软件)，采用本发明的能量迹采集方法无需购置昂贵采集硬件设备，只需在普通计算机上即可进行快速仿真和测试。相较于物理硬件采集，本发明使用软件仿真可以消除噪声(物理采集不可避免带来噪声)，从而提高准确性并减少采集数据量。

公开(公告)号：CN115688104A

公开(公告)日：2023-02-03

申请号：CN202211424243.9

申请日：2022-11-14

Applicant: 北京计算机技术及应用研究所

Inventor： 李东方 ,  刘诗宇 ,  沈炜 ,  王志昊 ,  杨光

IPC: G06F21/56 ,  G06F21/57 ,  G06F18/22

Abstract: 本发明涉及一种基于子图同构的RTL级硬件木马检测方法，属于RTL级硬件安全性分析技术领域。本发明提供的基于子图同构的RTL级硬件木马检测方法通过添加约束和剪枝条件优化子图同构算法，以较低的代价，快速、精确地确定木马的位置，并给出检测结果的置信度与图形化表征,不依赖参考模型，便于使用、推广。