电子学报2019，Vol.47Issue(6)：1194-1200,7.DOI:10.3969/j.issn.0372-2112.2019.06.002
基于符号执行的软件缓存侧信道脆弱性检测技术
Cache-Based Side-Channel Vulnerability Detection Based on Symbolic Execution
摘要
关键词
缓存侧信道攻击/符号执行/脆弱性检测/差分缓存访问/污点分析/数据传播/脆弱点/可利用性分类
信息技术与安全科学引用本文复制引用
杨超,郭云飞,扈红超,刘文彦,霍树民,王亚文..基于符号执行的软件缓存侧信道脆弱性检测技术[J].电子学报,2019,47(6):1194-1200,7.基金项目
国家自然科学基金创新群体项目( No. 61521003 ) （ No. 61521003 ）
国家自然科学基金项目( No. 61602509 ) （ No. 61602509 ）
国家重点研发计划项目( No. 2016YFB0800100,No. 2016YFB0800101) （ No. 2016YFB0800100,No. 2016YFB0800101）
河南省科技攻关计划项目(No. 172102210615) （No. 172102210615）
