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 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

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

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

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

5. Two-Chains: High Performance Framework for Function Injection and Execution;2021 IEEE International Conference on Cluster Computing (CLUSTER);2021-09