基于符号执行的软件缓存侧信道脆弱性检测技术

• 作者: 刘文彦 扈红超 杨超 王亚文 郭云飞 霍树民
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 缓存侧信道攻击 符号执行 脆弱性检测 差分缓存访问 污点分析 数据传播 脆弱点 可利用性
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 1194-1200
• 页数: 7页
• 分类号: TP309.2
• 字数: 4957字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2019.06.002

摘要

缓存侧信道攻击的基础是程序针对不同敏感信息将访问不同的缓存地址.本文提出基于符号执行的缓存侧信道脆弱性检测技术,通过符号化敏感信息的数据传播过程定位潜在的脆弱点,并通过比较其可能的不同缓存访问地址,判断上述代码在缓存攻击中的可利用性.本文开发了原型系统CSCVulDiscover,并针对RSA等3种密码算法的12类实现代码进行测试,总共发现了125个脆弱点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭云飞		73	486	13.0	19.0
2	扈红超		49	194	7.0	12.0
3	刘文彦		10	23	3.0	4.0
4	霍树民		12	22	3.0	4.0
5	王亚文		11	24	3.0	4.0
6	杨超		3	1	1.0	1.0