主页 / BlueHat Shanghai 2019 Security Conference / MesaTEE SGX：借助Intel SGX 重新定义人工智能和大数据分析
-
作者Yu Ding@百度X-Lab 安全研究员
-
简介
MesaTEE SGX 借助Intel SGX 重新定义人工智能和大数据分析
- 适用于隐私保护计算的Intel SGX
- •Intel SGX 背景
- •基于Intel SGX 构建隐私保护计算软件栈所面临的挑战
- Hybrid Memory Safety
- •经验法则
- •Intel SGX 实践
- 塑造安全并且可信的人工智能/大数据分析框架
- •可信到底指什么？
- •使用Intel SGX 实现可信赖的人工智能和大数据分析
英特尔SGX为其“安全飞地”提供完整性和机密性保证，以保护用户的数据。尽管存在侧通道漏洞，但Intel SGX似乎是业内最实用的解决方案，具有最清晰的安全边界、众多手册和远程认证服务。目前，没有任何东西（包括trustzone、sev等）能与IntelSGX竞争。很容易理解，内存安全对IntelSGX非常重要。Intel SGX旨在保护用户隐私和私钥，而SGX Enclaves中的简单缓冲区溢出将泄漏这些宝贵的数据/密钥，并导致数十亿美元的损失。内存损坏是英特尔SGX飞地的第一个敌人。我们需要一个完整的解决方案来构建内存安全的IntelSGX飞地。在本文中，我们将介绍MesateSGX软件栈。MesateSGX软件栈提供了用rust/rpython编写的内存安全库，并提供了一系列有用的内存安全库，如序列化程序/反序列化程序、TLS终止、更多的加密原语、FastML库、WASM解释器，甚至还有一个内存安全的pypypy解释器。开发人员可以使用这些库轻松开发IntelSGX应用程序，并通过几个简单步骤将更多rust/python库移植到Enclaves中。我们在SGX软件设计和实现中遇到了大量的陷阱，并希望在本文中与大家分享。这些陷阱通常与可信/不可信的输入和分区方法/哲学有关。他们相应的解决方案以前没有介绍过，我们认为我们应该将我们的故事作为“当前已知的最佳实践”来分享。我们将详细讨论“混合内存拇指安全规则”的理念，以及面向安全的标准库设计、基于认证的TLS、安全快速的解释程序/ML实现等，我们坚信这一讨论将使Bluehat的用户受益匪浅。一种新型的面向安全的软件设计与实现。
- 适用于隐私保护计算的Intel SGX
-
援引https://www.microsoft.com/china/bluehatshanghai/2019/#Agenda
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2016-09-08 11:59:39 -
2016-03-20 09:11:29 -
2021-01-22 07:38:12.734382 -
2016-04-24 03:13:27
