议题列表信息安全知识库 vipread.com

主页 / 议题

SKEE: A Lightweight Secure Kernel-level Execution Environment for ARM

作者: GoSSIP @ LoCCS.Shang
收录: 2016-04-15T10:46:15Z

Combining Symbolic Execution and Model Checking for Data Flow Testing

作者: GoSSIP @ LoCCS.Shang
收录: 2016-04-15T10:41:15Z

Shreds: Fine-grained Execution Units With Private Memory

作者:
收录: 2016-04-15T10:37:46Z

Web PKI: Closing the Gap Between Guidelines and Practices

作者:
收录: 2016-04-15T10:33:45Z

Code-Pointer Integrity

作者: GoSSIP @ LoCCS.Shang
收录: 2016-04-15T10:29:00Z

Modular Control-Flow Integrity

作者: GoSSIP @ LoCCS.Shang
收录: 2016-04-15T10:24:53Z