SGXRay笔记

百度XLab的SGXRay在BlackHat2021上演讲了，目前还没有相关YouTube视频。相关链接如BlackHat官网链接、Github和“百度安全实验室”公众号

SGXRay提到了针对Enclave内存建模，关注跨越Enclave边界的数据流，基于SMACK进行程序验证，应该可以将其归为静态方法（这个工作的关键大概就在于ToolChain的构建和检查策略的设计吧？）。下图来自其Github仓库。

在此之前有COIN Attack和TeeRex两篇使用符号执行技术进行SGX漏洞自动化挖掘的工作，TeeRex关注了Enclave输入产生的危害。

目前其Github仓库里似乎都是文档和二进制文件或IR，没有源码。