10 2023 档案
摘要:Abstract
阅读全文
摘要:Abstract 背景:过去的快照是静态的,例如the one placed by a fork server at the program entry point or generalizations for annotated APIs, drivers, networked servers,
阅读全文
摘要:Abstract 本文: PolyCruise Method: 跨编程语言的holistic dynamic information flow analysis(DIFA) use a light language-specific analysis和language-agnostic online
阅读全文
摘要:Abstract 背景:hypervisor(virtual machine monitor, VMM) 保障了不同虚拟机之间的安全隔离(security boundaries) 用户:攻击场景:在云服务上运行自身的VM instances, 提升权限 本文:Nyx 目的:coverage guid
阅读全文