Combining Symbolic Execution and Model Checking for Data Flow Testing
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
Shreds: Fine-grained Execution Units With Private Memory
  • 作者:
  • 收录:
Code-Pointer Integrity
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
Modular Control-Flow Integrity
  • 作者: GoSSIP @ LoCCS.Shang
  • 收录:
渗透测试操作实务
  • 作者: 吴鲁加@xfocus.net
  • 收录: