主页 / 议题
Combining Symbolic Execution and Model Checking for Data Flow Testing
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
Code-Pointer Integrity
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
Modular Control-Flow Integrity
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
渗透测试操作实务
- 作者: 吴鲁加@xfocus.net
- 收录: