Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

已完结

文献求助详情

标题	Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor 验证软件飞地虚拟机管理程序中页表的Rust实现相关领域管理程序计算机科学操作系统 Rust（编程语言）分离（微生物学）嵌入式系统覆盖云计算软件灵活性（工程）钥匙（锁）程序设计语言虚拟化统计数学微生物学生物
网址	https://doi.org/10.1145/3620665.3640398
DOI	10.1145/3620665.3640398 doi
其它	期刊：作者：Zhenyang Dai; Shuang Liu; Vilhelm Sjöberg; Xupeng Li; Yu Chen; et al 出版日期：2024-04-22
求助人	Avicii 在 2025-06-03 11:45:44 发布自江西，悬赏 12 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，破除各种障碍，优化资源分配，让科研信息充分流通

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 一盒热流来发布了新的文献求助10

1秒前; 鬼见愁发布了新的文献求助20

1秒前; 慕昊强发布了新的文献求助10

2秒前; 科目三上传了应助文件

2秒前; 田様上传了应助文件

2秒前; 在水一方的应助被wangang采纳，获得10

2秒前; 顾矜的应助被科研r采纳，获得10

2秒前; aaa关注了科研通微信公众号

3秒前; 在水一方上传了应助文件

4秒前; 嘎嘎发布了新的文献求助10

4秒前; 一一发布了新的文献求助30

4秒前; 韶冷梅发布了新的文献求助30

5秒前; 科目三的应助被randio采纳，获得30

5秒前; suzhenyue上传了应助文件

5秒前; 卢荣秀发布了新的文献求助10

5秒前; 尔信完成签到，获得积分10

6秒前; 明理楷瑞发布了新的文献求助10

7秒前; mm发布了新的文献求助30

8秒前; 科研小辣鸡发布了新的文献求助10

8秒前; yiliu0111487完成签到，获得积分20

8秒前; LYSM上传了应助文件

8秒前; 韶冷梅关闭了韶冷梅的文献求助

10秒前; FashionBoy的应助被慕昊强采纳，获得20

10秒前; 李健的小迷弟上传了应助文件

10秒前; 小刘上传了应助文件

10秒前; Mistletoe完成签到，获得积分10

11秒前; Lucas的应助被labbiqq采纳，获得10

11秒前; XCL上传了应助文件

12秒前; 所所上传了应助文件

13秒前; SciGPT的应助被shawfang采纳，获得10

13秒前; 九澄完成签到，获得积分10

13秒前; 在水一方上传了应助文件

14秒前; 桥豆麻袋完成签到，获得积分10

15秒前; 菠萝味的凤梨发布了新的文献求助10

15秒前; 脑洞疼上传了应助文件

15秒前; 万能图书馆上传了应助文件

16秒前; 科研小辣鸡完成签到，获得积分10

16秒前; shaodan发布了新的文献求助10

17秒前; kento发布了新的文献求助20

17秒前; 橘子发布了新的文献求助10

17秒前