一颗无法破解的芯片,什么玄学?
来源:内容由半导体行业观察(ID:icbank)转载自公众号「歪睿老哥」,谢谢。
1:"无法破解芯片?"
今年的hotchips 33 ,密歇根大学的Austin教授带来MORPHEUS II。
上一个版本的MORPUHES 最早出来的时候,被称作:"无法破解"的芯片,号称580名专家13000个小时尝试均告失败。
但是世界上没有绝对的事!
Austin教授说:"媒体上说芯片无法破解。我自己一般不会这么说,因为我认为它是可以破解的,但是这非常难破解!"
通常,当程序"调用"一个子程序时,它会在返回堆栈中存储该子程序结束时程序应返回的地址, 这个返回地址就是攻击者操纵执行所谓的缓冲区溢出或代码注入的位置。
返回地址就是很多攻击的来源。
在MORPHEUS之前就有很多手段,来保护返回地址的安全性,如一些控制流完整性的手段(CFI),这个本来也不稀奇。
MORPHEUS通过一个加密单元实现底层机器码实现每50毫秒更改一次。通过加密后的更改这些底层代码,使得每个时间段后,机器码都会发生变化,同样不同处理器运行也不一致。
这些返回地址,攻击者找不到,或者找到了,下一次就发生了改变。
这样,在时间上,代码随着时间变化,在空间上,代码随着不同机器变化,因此要想分析这些机器码,就很困难。
代码数据的自然识别系统每隔50毫秒生成一次,这意味着它可以阻止最强大的自动黑客工具。因此,即使黑客发现了一个漏洞,他们也利用不了该漏洞。当他们获得了破解漏洞必要的信息时,就会发现代码已发生了改变。
虽然宣传的不错,但是这种手段来抗攻击,川剧"变脸",每隔一段时间就"churn" 扰动,这种手段带来了开销。
虽然文章中说,开销很少,但是我还是持怀疑态度。
另外,就是这个证明要靠悬赏。580名专家13000个小时的这些操作。
搞这么多操作,用在什么地方?
控制流完整性CFI搞了这么多年,在处理器领域也是,研究的多,应用的少。
虽是如此,但是Morphus II的改进,还是令人眼前一亮。
2:MORPHEUS II的进化
MORPHEUS II 和最初的不同,这个进化设计了这个RISC-V的微结构,基于Rocket Core,把处理器外部的所有输入指令和数据都加密了,这个想法起码挺不错的,这就带来了两个好处。
第一点:所有指令和数据都是加密的。
加密的RAM和Disks,甚至,Cache内部也是加密的。包括I-Cache 和D-Cache。
也就是说,数据只有在处理器内部才是解密的,处理器外部所有的部分,全是密文。
第二点:所有的指针都是加密的。
对于抵抗攻击来说,这个是一个非常好的做法,可以有效防止对攻击者无法伪造/分析代码/指针;
我比较看好这个基于RISC-V的微架构另一个潜在应用,就是云端虚拟化的隔离。
2:云端虚拟化的隔离
云端虚拟化业务,每个租户对自身数据安全性都是无价之宝,
传统的云端隔离通道主要有四种隔离手段:
1:计算CPU隔离
Hypervisor 通过相互隔离的计算通道来控制虚拟机与主机资源的交互。从而防止用户获得对系统以及对其他租户的读,写请求,实现多租户之间的计算隔离。
2:内存DRAM隔离
Hypervisor同样负责隔离内存,确保虚拟机之间无法访问对方的内存。当实例被释放后,所有内存被Hypervisor清零,可以防止释放的物理内存页被其他用户访问;
3:磁盘SSD隔离
存储隔离,目前的存储隔离通过hypervisor截获处理,保证虚拟机只能访问虚拟机分配的物理磁盘空间,实现虚拟磁盘空间的安全隔离。
4:网络NETWORK隔离
Hypervisor复杂虚拟网络进行隔离,确保流量不被随意转发,虚拟机的网络资源只能被对应的虚拟机来获取。
目前所有的隔离全部依靠是Hypervisor。
如果租户相信Hypervisor,那就依赖Hypervisor。
但是还是很多高安全业务,例如保险,证券等等也不完全信赖公有云的隔离。
所有,更安全的方式是单租户独享物理资源,这就是裸金属云。
使用裸金属云也更安全,不用和别人共享,可以做到物理隔离。
那么虚拟化的隔离只能依赖Hypervisor?
目前通过加密实现云端虚拟化的隔离是一个理想的手段,例如磁盘加密虚拟磁盘的隔离,加密数据其他任何人不能读取内部的数据,除用户自身外,任何其他人无法读取和访问其中的数据。
这种隔离方式,是一种更为安全隔离的方式。
这些技术对于云端虚拟化安全可以提升一个层次。
以前hypervisor,是一个软件程序,计算CPU和内存DRAM目前看还不能加密。
由软的hypervisor到硬CPU架构,通过CPU架构加密实现隔离,这个应该是不错的想法,虽然还有很长的路要走。
从Morphous II来看,其架构上,可以实现,指令,数据全部加密,也就是说,内存和磁盘上存储全是加密数据,这些加密数据可以和CPU处理架构绑定,这样可以通过密码手段实现整个虚拟化运行环境的隔离。
可以通过这个处理器RISC-V的微架构来保证,计算CPU内部和DRAM内部都是密文,只有在取指(IF)后,以及读取数据(LOAD),数据才变成明文。
这个与"同态加密"技术对比来看,同态加密技术,目前效率还是比较低,还需要一段时间才能实用化。
而Morphous II 虽然没有同态加密那么高大上,但是也算是CPU架构上的创新,有可能解决很大一部分问题。
这个工作也列出了下一代的Morpheus的方向。
其中包括,高安全隐私计算,基于加密和物理隔离的防护,以及在亚马逊的AWS和微软的Azure来部署。
从这点来看,Morpheus II终于从不停"扰动"到找到方向。
*免责声明:本文由作者原创。文章内容系作者个人观点,半导体行业观察转载仅为了传达一种不同的观点,不代表半导体行业观察对该观点赞同或支持,如果有任何异议,欢迎联系半导体行业观察。
今天是《半导体行业观察》为您分享的第2809内容,欢迎关注。
晶圆|集成电路|设备|汽车芯片|存储|台积电|AI|封装
犹太教育的特点和中国教育的比较(1)背景介绍将世界上人口最多的民族与世界上人口最少之一的民族进行比较可能比较奇怪,尽管这两个国家有很多差异,但犹太人与中国人有很多相似之处。中国人和犹太人都是世界上非常古老的文明。都重视家庭传
凯特王妃以斜视著名,曾给过梅根,英女王,卡米拉和威廉等凯特以斜眼看人闻名。她对很多人都这样过,被媒体抓到。即使英国的媒体对她和威廉宽容,因为威廉给媒体施加很多压力。这里我们看到一些著名斜视。这张是凯特斜眼看威廉的出轨对象闺蜜兼邻居Ro
恐惧是什么?现今世界,许多人面临的恐惧比他们一生中遇到的恐惧更大。从西方对中国的恐惧,到对新冠疫情的恐惧,到疫苗的恐惧,层出不穷,黑白颠倒。恐惧到底是什么?按照定义,恐惧(Fear)及其紧密相
从梅根哈利脱离英国王室,媒体误导想到的什么才是真理?做人不能太CNN已经成了中国网民的口头禅。假新闻(fakenews)也进了英语词典。基本意思是记者先入为主用偏见歧视,双重标准的原则发报道,不问问题实质,事件真相,公正答案,却以人
犹太教育的特点和中国教育的比较(4)教育是犹太人的信仰探究以色列教育的成功,需要把以色列(犹太民族国家)国家和犹太民族历史联系在一起。犹太民族有五千多年的历史。当代的以色列是分散在世界各地的犹太人在二次大战后成立的民
犹太教育的特点和中国教育的比较(5)完整系统的教育模式从重视教育,确立教育的原则和目的,到教育实践,将教育理念深入融汇进人民心里和生活,这需要一整套完整全面的教育方法和体系。与中国的孔子思想经过两千年的演化实践非常相
山东,才是中国最能打的省份?提起山东,大家都能津津乐道。山东人爱喝酒,据说他们是用塑料袋来装啤酒的,东西南北中,好酒在山东!山东人爱开挖掘机,如果你问到开挖掘机是一种什么样的感受,山东人立马回你信不信用挖掘机
圣经中摩西的神杖和中国的羌族有什么关系?1896年,24岁的英国传教士陶然士来到中国成都,与四川羌族结下不解之缘。他在羌族地区传教的同时,对羌族做了大量研究。他曾执教华西协合大学(今四川大学),也是华西协合大学古物博物馆
1921到2021,中国从来不信命1919年,民国八年。这个年代总会让人想起十里洋场,旗袍红妆。甚至忘了历史书里讲的,这一年巴黎和会外交失败。那次会议,让一战中作为胜利方的中国丢了青岛。无数青年学生奋起反抗,成为军
打工人安家指南中国22座城市,哪个更容易落户?近期,深圳全面收紧落户政策。有观点认为,深圳的入户难度将仅次于北京上海。今天三节课推荐一篇文章,带大家一起盘点各地落户门槛,看看哪些城市揽才更有诚意,打工人们更容易在哪些城市安家扎
赵薇出啥事了?真应验了这句话天网恢恢,疏而不漏?前不久赵薇公司旗下的艺人张哲瀚的精日事件闹得沸沸洋洋,同时牵扯出赵薇多年前穿日本军旗服装登国际杂志封面的事件。当时我就想,赵薇也许是娱乐圈最命硬的艺人,这么多年来,赵薇没少爆出负面