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 条
  • [21] Beyond the PDP-11: Architectural support for a memory-safe C abstract machine
    Chisnall, David
    Rothwell, Colin
    Watson, Robert N. M.
    Woodruff, Jonathan
    Vadera, Munraj
    Moore, Simon W.
    Roe, Michael
    Davis, Brooks
    Neumann, Peter G.
    ACM SIGPLAN NOTICES, 2015, 50 (04) : 117 - 130
  • [22] Developing safe biocolourants for consumer applications
    Raisanen, R.
    TOXICOLOGY LETTERS, 2022, 368 : S74 - S74
  • [23] Developing safe concurrent and distributed applications with an architectural environment
    Duval, G
    Cattel, T
    TOOLS 29: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 1999, 29 : 20 - 32
  • [24] GEM: A Framework for Developing Shared-Memory Parallel GEnomic Applications on Memory Constrained Architectures
    Kutlu, Mucahid
    Agrawal, Gagan
    2015 44TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP), 2015, : 829 - 838
  • [25] Safe arm design with MR-based passive compliant joints and visco—elastic covering for service robot applications
    Seong-Sik Yoon
    Sungchul Kang
    Seung-kook Yun
    Seung-Jong Kim
    Young-Hwan Kim
    Munsang Kim
    Journal of Mechanical Science and Technology, 2005, 19 : 1835 - 1845
  • [26] Design and implementation of the compiler with secure coding rules for developing secure mobile applications in memory usages
    Son, Yun Sik
    Lee, Yang Sun
    Oh, Se Man
    International Journal of Smart Home, 2012, 6 (04): : 153 - 168
  • [27] Safe arm design with MR-based passive compliant joints and visco-elastic covering for service robot applications
    Yoon, SS
    Kang, SC
    Yun, SK
    Kim, SJ
    Kim, YH
    Kim, M
    JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2005, 19 (10) : 1835 - 1845
  • [28] Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU plus GPU Systems (Part I)
    Grinberg, Leopold
    Bertolli, Carlo
    Haque, Riyaz
    SCALING OPENMP FOR EXASCALE PERFORMANCE AND PORTABILITY (IWOMP 2017), 2017, 10468 : 3 - 16
  • [29] Hands on with OpenMP4.5 and Unified Memory: Developing Applications for IBM's Hybrid CPU plus GPU Systems (Part II)
    Grinberg, Leopold
    Bertolli, Carlo
    Haque, Riyaz
    SCALING OPENMP FOR EXASCALE PERFORMANCE AND PORTABILITY (IWOMP 2017), 2017, 10468 : 17 - 29