RusTEE: Developing Memory-Safe ARM TrustZone Applications

被引:16
|
作者
Wan, Shengye [1 ,2 ]
Sun, Mingshen [3 ]
Sun, Kun [2 ]
Zhang, Ning [4 ]
He, Xu [2 ]
机构
[1] Coll William & Mary, Williamsburg, VA 23187 USA
[2] George Mason Univ, Fairfax, VA 22030 USA
[3] Baidu Secur, Beijing, Peoples R China
[4] Washington Univ, St Louis, MO 63110 USA
关键词
TrustZone; Rust; Trusted Applications; Memory-safety;
D O I
10.1145/3427228.3427262
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In the past decade, Trusted Execution Environment (TEE) provided by ARM TrustZone is becoming one of the primary techniques for enhancing the security of mobile devices. The isolation enforced by TrustZone can protect the trusted applications running in the TEE against malicious software in the untrusted rich execution environment (REE). However, TrustZone cannot completely prevent vulnerabilities in trusted applications residing in the TEE, which can then be used to attack other trusted applications or even the trusted OS. Previously, a number of memory corruption vulnerabilities have been reported on different TAs, which are written in memory-unsafe languages like C. Recently, various memory-safe programming languages have emerged to mitigate the prevalent memory corruption bugs. In this paper, we propose RusTEE, a trusted application mechanism that leverages Rust, a newly emerged memory-safe language, to enhance the security of TAs. Though the high-level idea is quite straight-forwarding, we resolve several challenges on adopting Rust in mobile TEEs. Specifically, since Rust currently does not support any TrustZone-assisted TEE systems, we extend the existing Rust compiler for providing such support. Also, we apply comprehensive security mechanisms to resolve two security issues of trusted applications, namely, securely invoking high-privileged system services and securely communicating with untrusted REE. We implement a prototype of RusTEE as the trusted applications' SDK, which supports both emulator and real hardware devices. The experiment shows that RusTEE can compile applications with close-to-C performance on the evaluated platforms.
引用
收藏
页码:442 / 453
页数:12
相关论文
共 29 条
  • [1] MECAT: Memory-Safe Smart Contracts in ARM TrustZone
    Park, Seonghwan
    Kang, Hayoung
    Han, Sanghun
    Youn, Jonghee M.
    Kwon, Donghyun
    IEEE ACCESS, 2024, 12 : 56110 - 56119
  • [2] TEEm: Supporting Large Memory for Trusted Applications in ARM TrustZone
    Li, Jun
    Luo, Xinman
    Lei, Hong
    Cheng, Jieren
    IEEE ACCESS, 2024, 12 : 108584 - 108596
  • [3] Memory-Safe Elimination of Side Channels
    Soares, Luigi
    Quintan Pereira, Fernando Magno
    CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2021, : 200 - 210
  • [4] Cuckoo: a language for implementing memory-safe and thread-safe system
    West, R
    Wong, GT
    PLC '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGES AND COMPILERS, 2005, : 94 - 100
  • [5] Development of Fast and Memory-Safe Operating System Kernel
    Komarov, Timofey
    Ivanov, Mikhail
    Chepik, Nadezhda
    Starikovskiy, Andrey
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 1852 - 1856
  • [6] Fyr: a memory-safe and thread-safe systems programming language
    Weis, Torben
    Waltereit, Marian
    Uphoff, Maximilian
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1574 - 1577
  • [7] MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
    Michael, Alexandra E.
    Gollamudi, Anitha
    Bosamiya, Jay
    Johnson, Evan
    Denlinger, Aidan
    Disselkoen, Craig
    Watt, Conrad
    Parno, Bryan
    Patrignani, Marco
    Vassena, Marco
    Stefan, Deian
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 425 - 454
  • [8] Implementation of the Memory-safe Full ANSI-C Compiler
    Oiwa, Yutaka
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 259 - 269
  • [9] Implementation of the Memory-safe Full ANSI-C Compiler
    Oiwa, Yutaka
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 259 - 269
  • [10] TECS/Rust: Memory-safe Component Framework for Embedded Systems
    Yoshimura, Nao
    Oyama, Hiroshi
    Azumi, Takuya
    2024 IEEE 27TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING, ISORC 2024, 2024,