Securing unsafe rust programs with XRust-Reference-Cited by-同舟云学术

Securing unsafe rust programs with XRust

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

Author:

Liu Peiming¹,Zhao Gang¹,Huang Jeff¹

Affiliation:

1. Texas A&M University

Publisher

ACM

Link

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

Reference50 articles.

1. Control-flow integrity

2. Fidelius Charm

3. andigena. 2016. ptmalloc fanzine. https://lwn.net/Articles/725832/. andigena. 2016. ptmalloc fanzine. https://lwn.net/Articles/725832/.

4. Rust base64 project. 2017. CVE-2017-1000430. https://www.cvedetails.com/cve/CVE-2017-1000430/. Rust base64 project. 2017. CVE-2017-1000430. https://www.cvedetails.com/cve/CVE-2017-1000430/.

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

1. When Is Parallelism Fearless and Zero-Cost with Rust?;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17

2. Understanding and Detecting Real-World Safety Issues in Rust;IEEE Transactions on Software Engineering;2024-06

3. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach;Software Testing, Verification and Reliability;2024-03-02

5. Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23