主页 / 议题
《书安》-第六期 安全冷兵器
- 作者:
- 收录:
Control Flow Integrity for COTS Binaries
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
SKEE: A Lightweight Secure Kernel-level Execution Environment for ARM
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
Combining Symbolic Execution and Model Checking for Data Flow Testing
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
