公开(公告)号：CN114817910A

公开(公告)日：2022-07-29

申请号：CN202210489619.8

申请日：2022-05-06

Applicant: 北京智芯微电子科技有限公司 ,  武汉大学 ,  国网宁夏电力有限公司营销服务中心(国网宁夏电力有限公司计量中心) ,  国家电网有限公司

Inventor： 张茜歌 ,  刘亮 ,  唐明 ,  赵东艳 ,  燕雪松 ,  王梦醒 ,  周永忠 ,  姜义初 ,  田瑞

IPC: G06F21/55 ,  G06F8/75

Abstract: 本发明公开了一种程序缓存泄露的检测方法和检测装置、存储介质、处理器，所述方法包括：获取程序的控制流图，并确定控制流图中敏感结点的结点类型；根据敏感结点的结点类型获取相应的泄露检测算法；根据泄露检测算法确定敏感结点是否存在缓存泄露。本发明的检测方法，能够有效检测到程序中是否存在缓存泄露，保证程序的理论安全性和提高程序的扩展性。

公开(公告)号：CN116886263A

公开(公告)日：2023-10-13

申请号：CN202310835858.9

申请日：2023-07-07

Applicant: 武汉大学

Inventor： 唐明 ,  王娅茹 ,  张尧 ,  王梦醒 ,  胡玄宇

IPC: H04L9/00 ,  H04L9/06

Abstract: 本申请在利用TVLA进行侧信道泄漏检测时，发现泄漏点聚集分布，且泄漏点分布段内的功耗序列间，对相关序列进行自相关性检验，发现存在较高的自相关性。如果忽视序列间的相关性，进行对序列进行T‑检验可能存在漏检风险。为了解决上述问题，本申请提出了改进的TVLA的检测流程，在检测过程增加了对功耗序列间自相关性的评估，并提出基于离散Fréchet距离相似性的侧信道泄漏检测方法，将序列间自相关系数较高功耗时间序列看成一个整体，进行检验。最后根据检测流程形成基于离散Fréchet距离相似性检验泄漏检测平台，用于实际的侧信道泄漏检测。本发明可以解决传统TVLA进行在泄漏检测时，忽视序列间的相关性，T‑检验存在的漏检风险问题。