Occlum-Reference-Cited by-同舟云学术

Occlum

Published:2020-03-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Shen Youren¹,Tian Hongliang²,Chen Yu¹,Chen Kang¹,Wang Runji¹,Xu Yi³,Xia Yubin⁴,Yan Shoumeng²

Affiliation:

1. Tsinghua University, Beijing, China

2. Ant Financial Services Group, Beijing, China

3. Purdue University, West Lafayette, IN, USA

4. Shanghai Jiao Tong University, Shanghai, China

Funder

National Key R&D Program of China

National Natural Science Foundation of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373376.3378469

Reference58 articles.

1. 2018. Overview of Intel Protected File System Library Using Software Guard Extensions. https://software.intel.com/en-us/articles/overviewof- intel-protected-file-system-library-using-software-guardextensions 2018. Overview of Intel Protected File System Library Using Software Guard Extensions. https://software.intel.com/en-us/articles/overviewof- intel-protected-file-system-library-using-software-guardextensions

2. 2019. byte-unixbench. https://github.com/kdlucas/byte-unixbench 2019. byte-unixbench. https://github.com/kdlucas/byte-unixbench

3. 2019. Download the Windows version of PostgreSQL. https:// www.postgresql.org/download/windows/ 2019. Download the Windows version of PostgreSQL. https:// www.postgresql.org/download/windows/

4. 2019. fish shell. https://fishshell.com 2019. fish shell. https://fishshell.com

5. 2019. Large single compilation-unit C programs. http:// people.csail.mit.edu/smcc/projects/single-file-programs 2019. Large single compilation-unit C programs. http:// people.csail.mit.edu/smcc/projects/single-file-programs

Cited by 85 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking;Lecture Notes in Computer Science;2024-09-13

2. Duet: Combining a Trustworthy Controller with a Confidential Computing Environment;2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2024-07-08

3. PraaS: Verifiable Proofs of Property as-a-Service with Intel SGX;2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2024-07-08

4. One System Call Hook to Rule All TEE OSes in the Cloud;2024 IEEE 17th International Conference on Cloud Computing (CLOUD);2024-07-07

5. ESem: To Harden Process Synchronization for Servers;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07