Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems-Reference-Cited by-同舟云学术

Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems

Published:2023-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification
language:
Short-container-title:

Author:

Schuermann Leon¹^ORCID,Thomas Arun²^ORCID,Levy Amit³^ORCID

Affiliation:

1. Princeton University, Princeton, New Jersey, USA

2. zeroRISC Inc., Somerville, Massachusetts, USA

3. Princeton University, Princeton, New Jersey, United States of America

Publisher

ACM

Reference26 articles.

1. AbsInt Angewandte Informatik GmbH. [n. d.]. Analyzing execution time with aiT. https://www.absint.com/ait/features.htm Accessed 10/07/2023. AbsInt Angewandte Informatik GmbH. [n. d.]. Analyzing execution time with aiT. https://www.absint.com/ait/features.htm Accessed 10/07/2023.

2. AbsInt Angewandte Informatik GmbH. 2005. AbsInt Enhances the Safety of the A380. https://www.absint.com/releases/050427.htm Accessed 10/07/2023. AbsInt Angewandte Informatik GmbH. 2005. AbsInt Enhances the Safety of the A380. https://www.absint.com/releases/050427.htm Accessed 10/07/2023.

3. Typestate-oriented programming

4. Inyoung Bang , Martin Kayondo , HyunGon Moon , and Yunheung Paek . 2023 . TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code . In 32nd USENIX Security Symposium (USENIX Security 23) . USENIX Association, Anaheim, CA, 6947--6964. https://www.usenix.org/conference/usenixsecurity23/presentation/bang Inyoung Bang, Martin Kayondo, HyunGon Moon, and Yunheung Paek. 2023. TRust: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 6947--6964. https://www.usenix.org/conference/usenixsecurity23/presentation/bang

5. Jenny Blessing , Michael A. Specter , and Daniel J. Weitzner. 202 1. You Really Shouldn't Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries. arXiv:2107.04940 [cs.CR] Jenny Blessing, Michael A. Specter, and Daniel J. Weitzner. 2021. You Really Shouldn't Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries. arXiv:2107.04940 [cs.CR]