University of South Alabama.;
机译:Kleespectre:通过符号执行通过推测性缓存攻击检测信息泄漏
机译:通过符号执行量化缓存攻击中的信息泄露
机译:符号执行技术概述
机译:使用部分有序域和符号轨迹评估技术的软件应用程序测试的覆盖率测量
机译:促进实际程序符号执行的技术
机译:爆发的象征性暴力:一种混合方法社会保护对埃博拉幸存者健康的准实验影响评估
机译:对各种攻击的软件保护技术的深入研究
机译:验证硬件设计的正确性:符号执行技术和一致性标准。