MIT研究人员正研发基于RISC-V的安全芯片方案

RISC-V,以及其所代表开源芯片发展趋势在近年获得了极大关注。加州大学柏克莱分校,麻省理工很早就投入RISC-V研究。

构建可信链条对隐私有需求的个人设备以及高安全性的云环境一直是重要的议题,传统 Root of Trust 构建基本上由 verifiedboot 以及 measuredboot 完成(参见hardenedboot),随着 Intel SGX 以及 ARM 上TEE 的推广,虽然当前云环境中主要的需求 attestation 并不需要 secure enclave 来实现,但这并不阻碍 secure enclave 被业界越来越关注。

https://github.com/hardenedlinux/Debian-GNU-Linux-Profiles/tree/master/docs/hardened_boot

早在 2016 年,MIT 的研究人员就在 Sanctum 项目中尝试使用 RISC-V 实现 Intel SGX 类似的功能基础PoC最新版本的Sanctum使用Rocket开放核实现了PUF,attestation以及verifiedboot相关的构建信任链条的核心功能。和Intel SGX的复杂且封闭的设计和实现完全不同,基于 RISC-V 的产品可以做到完全的开放,这让芯片生态颠覆有了可能。

https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/costan

https://github.com/pwnall/sanctum

https://eprint.iacr.org/2018/427

https://github.com/mit-sanctum

同时,MIT和UC Berkeley合作开发了另外一个叫Keystone的项目,Keystone在Sanctum的基础上使用了PMP(类似软件中PaX UDEREF)以增强本身的安全性,不论是Sanctum还是Keystone都是开放的设计和实现,也就意味着任何人都可以去审计后门和漏洞。

http://keystone-enclave.org/

https://github.com/hardenedlinux/grsecurity-101-tutorials/blob/master/grsec-code-analysis/PAX_MEMORY_UDEREF.md

这一点和Intel SGX的复杂且封闭的设计和实现完全不同,这也意味着一个让Google都感到害怕的Intel ME系统可以由从硬件到软件都是自由开放的系统来替换。

https://github.com/hardenedlinux/firmware-anatomy/blob/master/notes/sgx.md

https://www.solidot.org/story?sid=54291

上述新闻资料来源于网络,供大家参考,安智客想说的是,RISC-V的安全内核设计也是基于SEL4微内核,这个大名鼎鼎的微内核,不仅仅是苹果在用,一些TEE实现也是基于此。

https://riscv.org/software-status/#kernels

原文发布于微信公众号 - 安智客(china_safer)

原文发表时间:2018-06-05

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏MixLab科技+设计实验室

美食与人工智能,每天不知道吃什么?用人工智能为你生成食谱

本文是作者ML95-GONG,参加了 「 30天AI训练营 」首期所写的学习总结。作者是MixLab社区成员,同时是MixLab共建者,具有工业设计/交互设计/...

30220
来自专栏极客猴

总结是成长的秘方

时光荏苒,2018 年已经过去半年。你年初制定新年计划,不知现在完成的进度是多少了?不管怎样,应该好好总结下。

9330
来自专栏大数据文摘

BBC最新纪录片数据之欢(下):美女数学家讲述数据的前世今生

24130
来自专栏VRPinea

善忘星人福利贴:不再丢三落四,VR/AR助你做个精致的人儿

39640
来自专栏北京马哥教育

10年前鸟哥带我们进了Linux殿堂,今天你能在现场和他对话了

23940
来自专栏姬小光

怎样实习才能成长最快

作者 / 姬光 曾就职于淘宝/腾讯/京东,现任美的集团电子商务有限公司商城前端组负责人,译有《精彩绝伦的CSS》,业余时间维护微信公众号【姬小光】。

17820
来自专栏新智元

Nature:激光可让电脑提速百万倍,有室温下用于量子计算可能性

15830
来自专栏吉浦迅科技

有哪些主流的科学计算是可以利用GPU加速?这一篇让你看明白!

科学计算是指应用计算机处理科学研究和工程技术中所遇到的数学计算。在现代科学和工程技术中,经常会遇到大量复杂的数学计算问题,这些问题用一般的计算工具来解决非常困难...

58070
来自专栏大数据文摘

渐近永生:两种意识上传的技术实现手段

319100
来自专栏VRPinea

为了玩独占游戏的我,硬是凑齐了三款VR头显,难道还能召唤神龙?

42160

扫码关注云+社区

领取腾讯云代金券