基于符号执行的软件缓存侧信道脆弱性检测技术
杨超, 郭云飞, 扈红超, 刘文彦, 霍树民, 王亚文
Cache-Based Side-Channel Vulnerability Detection Based on Symbolic Execution
YANG Chao, GUO Yun-fei, HU Hong-chao, LIU Wen-yan, HUO Shu-min, WANG Ya-wen
电子学报
.
2019, (6): 1194
-1200
.
DOI: 10.3969/j.issn.0372-2112.2019.06.002
