SAGE: Software-based Attestation for GPU Execution

被引:0
|
作者
Ivanov, Andrei [1 ]
Rothenberger, Benjamin [1 ]
Dethise, Arnaud [2 ]
Canini, Marco [2 ]
Hoefler, Torsten [1 ]
Perrig, Adrian [1 ]
机构
[1] Swiss Fed Inst Technol, Zurich, Switzerland
[2] KAUST, Thuwal, Saudi Arabia
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
With the application of machine learning to security-critical and sensitive domains, there is a growing need for integrity and privacy in computation using accelerators, such as GPUs. Unfortunately, the support for trusted execution on GPUs is currently very limited - trusted execution on accelerators is particularly challenging since the attestation mechanism should not reduce performance. Although hardware support for trusted execution on GPUs is emerging, we study purely software-based approaches for trusted GPU execution. A software-only approach offers distinct advantages: (1) complement hardware-based approaches, enhancing security especially when vulnerabilities in the hardware implementation degrade security, (2) operate on GPUs without hardware support for trusted execution, and (3) achieve security without reliance on secrets embedded in the hardware, which can be extracted as history has shown. In this work, we present SAGE, a software-based attestation mechanism for GPU execution. SAGE enables secure code execution on NVIDIA GPUs of the Ampere architecture (A100), providing properties of code integrity and secrecy, computation integrity, as well as data integrity and secrecy - all in the presence of malicious code running on the GPU and CPU. Our evaluation demonstrates that SAGE is already practical today for executing code in a trustworthy way on GPUs without specific hardware support.
引用
收藏
页码:485 / 499
页数:15
相关论文
共 50 条
  • [1] SBAP: Software-Based Attestation for Peripherals
    Li, Yanlin
    McCune, Jonathan M.
    Perrig, Adrian
    [J]. TRUST AND TRUSTWORTHY COMPUTING, PROCEEDINGS, 2010, 6101 : 16 - 29
  • [2] Software-Based Remote Network Attestation
    Kumar, Seema
    Eugster, Patrick
    Santini, Silvia
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 19 (05) : 2920 - 2933
  • [3] On the Difficulty of Software-Based Attestation of Embedded Devices
    Castelluccia, Claude
    Francillon, Aurelien
    Perito, Daniele
    Soriente, Claudio
    [J]. CCS'09: PROCEEDINGS OF THE 16TH ACM CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2009, : 400 - 409
  • [4] Towards more practical software-based attestation
    Steiner, Rodrigo Vieira
    Lupu, Emil
    [J]. COMPUTER NETWORKS, 2019, 149 : 43 - 55
  • [5] Remote software-based attestation for wireless sensors
    Shaneck, M
    Mahadevan, K
    Kher, V
    Kim, Y
    [J]. SECURITY AND PRIVACY IN AD-HOC AND SENSOR NETWORKS, 2005, 3813 : 27 - 41
  • [6] SWATT: SoftWare-based ATTestation for embedded devices
    Seshadri, Arvind
    Perrig, Adrian
    Van Doom, Leendert
    Khosla, Pradeep
    [J]. Proc. IEEE Symp. Secur. Privacy, (272-282):
  • [7] SWATT: SoftWare-based ATTestation for embedded devices
    Seshadri, A
    Perrig, A
    van Doorn, L
    Khosla, P
    [J]. 2004 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2004, : 272 - 282
  • [8] Practical Analysis Framework for Software-Based Attestation Scheme
    Li, Li
    Hu, Hong
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 284 - 299
  • [9] A Software-Based Group Attestation for Wireless Sensor Networks
    AbuHmed, Tamer
    Kang, Jeonil
    Nyang, DaeHun
    Lee, KyungHee
    [J]. AD HOC & SENSOR WIRELESS NETWORKS, 2011, 13 (1-2) : 121 - 154
  • [10] On the Reliability of Wireless Sensors with Software-based Attestation for Intrusion Detection
    Chen, Ing-Ray
    Wang, Ding-Chau
    [J]. 2009 10TH INTERNATIONAL SYMPOSIUM ON PERVASIVE SYSTEMS, ALGORITHMS, AND NETWORKS (ISPAN 2009), 2009, : 184 - +