Building and maintaining a third-party library supply chain for productive and secure SGX enclave development-Reference-Cited by-同舟云学术

Building and maintaining a third-party library supply chain for productive and secure SGX enclave development

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice
language:
Short-container-title:

Author:

Wang Pei¹,Ding Yu¹,Sun Mingshen¹,Wang Huibo¹,Li Tongxin¹,Zhou Rundong¹,Chen Zhaofeng¹,Jing Yiming¹

Affiliation:

1. Baidu Security

Publisher

ACM

Link

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

Reference25 articles.

1. [n. d.]. Asylo: An open and flexible framework for enclave applications. https://asylo.dev/ [n. d.]. Asylo: An open and flexible framework for enclave applications. https://asylo.dev/

2. [n. d.]. Open Enclave SDK. https://openenclave.io/sdk/ [n. d.]. Open Enclave SDK. https://openenclave.io/sdk/

3. Engineering the servo web browser engine using Rust

4. Verifying Rust Programs with SMACK

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

1. SoK: SGX.Fail: How Stuff Gets eXposed;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

2. ErrHunter: Detecting Error-Handling Bugs in the Linux Kernel Through Systematic Static Analysis;IEEE Transactions on Software Engineering;2023-02-01

3. Compiler-Aided Development of Trusted Enclaves with Rust;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23

4. On the Termination of Borrow Checking in Featherweight Rust;Lecture Notes in Computer Science;2022

5. Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters;Secure IT Systems;2022