研读：Shielding applications from an untrusted cloud with Haven

最新推荐文章于 2022-06-04 18:00:53 发布
最新推荐文章于 2022-06-04 18:00:53 发布
阅读量1.9k 收藏 2
点赞数 3
分类专栏： 可信执行环境（TEE） 文章标签： Intel SGX CPU Usenix Virtualization
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/trustbo/article/details/44242075
版权
本文深入探讨了如何利用Intel SGX（Software Guard Extensions）技术来保护应用程序，使其在不可信的云环境中运行。通过Haven项目，实现了在虚拟化环境下的安全隔离，确保敏感数据的安全。文章详细阐述了Haven的设计原理及其在CPU硬件支持下的安全保障。
摘要由CSDN通过智能技术生成
最低0.47元/天 解锁文章
Trust-Bo
关注
专栏目录
数字后端概念——shielding
qq_36480087的博客
02-15 5566
文章目录Performing Shielded Routing使用createShield命令创建shielding nets使用editPowerVia命令在shielding net和power stripe连接处增加更多via使用GUI界面添加shield routing 在数字后端设计中使用shielding的目的主要是保护敏感net，减小其受到noise的影响。常用的shielding net是VDD和GND net。 查看Innovus UG > Design Implementatio
论文阅读（三）
lwyeluo的专栏
01-11 3461
所有论文笔记请戳：http://blog.csdn.net/lwyeluo/article/details/54017718    SGX SGXIntel开发的新的处理器技术，可以在计算平台上提供一个可信的空间，保障用户关键代码和数据的机密性和完整性，从SGX提出后，其吸引了一批系统和网络安全的研究者，NCCGroupSGX方面的资料进行了一个初步的总结，对研究者学习SGX技术具
POJ 1096 Space Station Shielding 已被翻译
woniupengpeng的专栏
12-03 395
研读：The CloudProxy Tao for Trusted Computing
Trust Bo
09-21 1002
本PPT是对来源于UCB的Technical Report No. UCB/EECS-2013-135的文章进行的研读解析，文章利用可信计算技术为PC平台设计了一套可用于云计算的安全套机，是的云端服务器主机与本地主机可以进行可信认证与数据传输保护！
数字后端面试问答No.16-18
weixin_37584728的博客
05-21 5608
数字后端面试问答No.16-18 今天继续更新三道数字后端设计实现笔试面试题目。第一道题为 CDC 问题及其解决方案。第二道题考察 setup 及 hold check 机制。第三道题考察逻辑综合阶段常用的几种 wire load model。小编目前已经开通知识星球，建立了一个连接你和我私密交流的 IC 圈子，欢迎各位上车，进行深度交流和提问。 1.What is CDC (Clock Domain Crossing)? And how to fix CDC metastability? 被不同 clo
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
zhyjunFov的专栏
03-17 1229
本PPT是对发表在Security&Privacy 2015 上的一篇文章的研读和解析，该论文介绍了一种针对InkTag,Haven两类主流shielding system提出的一种确定性控制侧信道攻击。Inktag和Haven主要针对不可信的云主机，云OS，利用可信硬件(hypervisor和Intel SGX)为云端敏感应用和隐私数据提供隔离保障。该攻击基于操作系统敌手对敏感应用的页错误中断的
matlabfig生成代码-Stochastic_shielding:Matlab的
05-26
Matlab的无花果生成代码Pu和Thomas神经计算论文的Matlab代码 随机Hodgkin-Huxley动力学的快速准确的Langevin模拟 图1（HH图）由tex代码生成。 可以从文件夹“ Figure2”中的代码生成图2（4D和14D ...
Ultralow-noise single-photon detection based on precise temperature controlled photomultiplier with enhanced electromagnetic shielding
02-04
We demonstrate an ultralow-noise single-photon detection system based on a sensitive photomultiplier tube (PMT) with precise temperature control, which can capture fast single photons with intervals ...
PR-CTS-Specify Clock Tree Synthesis Options
m0_68447251的博客
06-04 701
PR-CTS-Specify Clock Tree Synthesis Options
吾爱IC社区知识星球问答精选
weixin_37584728的博客
05-02 1672
吾爱IC社区知识星球问答精选 又到周末了，吾爱 IC 社区小编今天给大家分享几道非常经典的数字后端面试问题，这些题目摘选自小编知识星球上。希望今天的分享对大家的工作有所帮助。 2019 年数字 IC 后端校招笔试题目（附数字后端培训视频教程） 史上最全的数字 IC 后端设计实现培训教程（整理版） 1. 匿名用户提问：大佬，可以讲一下 CCD 吗？看资料说 CCD 可以同时优化时钟路径和 data 路径，那平时我们用的普通优化是只能对 data 路径做优化吗？看网上有人说，CCD 的效果有点像工具自己使用 u
合理的时钟结构能够加速Timing收敛（时钟树综合中级篇）
weixin_37584728的博客
05-23 3487
合理的时钟结构能够加速Timing收敛（时钟树综合中级篇） 时钟树综合（Clock Tree Synthesis）一直是数字后端实现中最为重要的步骤之一。随着芯片时钟越来越多，设计阶段都采用了时钟切换电路，时钟结构越来越复杂（除了 func mode 外，还有 test mode 和 mbist 等模式）。针对复杂的时钟结构，想单纯依靠 EAD TOOL 的 CTS engine 来实现一个比较好的 clock tree 质量，几乎不太可能。而且一个比较理想的 clock tree，都是要通过若干次的迭代而
时钟树综合专题（Clock Tree Synthesis)
weixin_37584728的博客
04-25 5035
时钟树综合专题（Clock Tree Synthesis) 转载至：https://mp.weixin.qq.com/s/9c2gmTwJvzaVsd8xgK6Nnw 吾爱 IC 社区 最近小编知识星球上有小伙伴们提问，提到一个大部分同学都比较感兴趣的话题。今天小编简要做个分享，希望对大家有所帮助。如果觉得有用，请分享给你的朋友，或许你的分享可以帮助到有需要的人。 如何 Trace 时钟结构? 我们都知道想要做好时钟树综合，需要事先了解设计的时钟结构，然后才能有时钟树综合的策略，最后写工具认识的约束来
可信执行环境（TEE）技术介绍（Trusted Execution Environment）
热门推荐
Trust Bo
10-14 3万+
本文对当前流行的移动终端TEE技术做简要概述，并对一些细节展开讨论。1. 当前移动安全背景当前移动终端面临这严重的安全威胁，威胁点如下图所示：因此移动厂商、用户、服务提供商等各方都对移动安全提出了强烈的需求。2. REE介绍（Rich Execution Environment）REE简介所有移动设备都支持REE运行通用OS：Android、iOS、Linux为上层App提供设备的所有功能开放的、...
可信计算（Trusted Computing）技术理论与应用研究概述
Trust Bo
09-29 7529
本文对可信计算技术及相关应用（包括移动平台应用）给出了综述性的介绍，内容涵盖TPM、TCM和TrustZone技术。
可信引导
Trust Bo
07-10 7093
1 可信引导的提出 可信计算组织TCG提出了“信任链”和“信任度量”的概念，认为如果从一个初始的“信任根”出发，在平台计算环境的每一次转换时，这种信任可以通过传递的方式保持下去不被破坏，那么可信环境下的各种操作也是可信任的，不存在不被信任的实体，这样就不会破坏平台本身的完整性，从而可以很好的保证平台及应用的安全。 可信引导确保了系统按照经过严格验证的路径进行引导。它对主引导记录、操作系统装载器
TPM 2.0 近况及模拟器开发
Trust Bo
09-12 5490
可信计算平台模块TPM 2.0的相关标准和技术准则由 TCG （ Trust Computing Group ）于2011年前后提出，至今已经过了多次修改。该标准无疑将成为下一代可信计算平台模块的业界规范，各大硬件厂商正着手根据标准研发新一代TPM芯片，Windows 8也增加了对TPM的更多支持。     相比于TPM 1.2，TPM 2.0 的标准进行了较大幅度的调整和修改，改进了授权模式，
电磁屏蔽：理论与实践
"Electromagnetic Shielding" 是一本由Salvatore Celozzi、Rodolfo Araujo和Gianpietro Lovat合著的专业书籍，由Wiley-IEEE Press在2008年出版。这本书是关于电磁屏蔽的权威参考，包含376页，ISBN10为0470055367，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值