GuaranTEE: Towards Attestable and Private ML with CCA
Sandra Siby, Sina Abdollahi, Mohammad Maheri, Marios Kogias, Hamed, Haddadi

TL;DR
GuaranTEE is a framework that leverages Confidential Computing Architecture to enable attestable and private machine learning deployment on edge devices, addressing privacy and auditability challenges with low overhead.
Contribution
This work introduces GuaranTEE, utilizing CCA to create dynamic TEEs for secure ML deployment on edge devices, and proposes improvements to CCA for better protection.
Findings
Prototype deployment demonstrates feasibility of CCA for ML models.
GuaranTEE effectively ensures model privacy and attestability.
Proposed CCA enhancements improve security and usability.
Abstract
Machine-learning (ML) models are increasingly being deployed on edge devices to provide a variety of services. However, their deployment is accompanied by challenges in model privacy and auditability. Model providers want to ensure that (i) their proprietary models are not exposed to third parties; and (ii) be able to get attestations that their genuine models are operating on edge devices in accordance with the service agreement with the user. Existing measures to address these challenges have been hindered by issues such as high overheads and limited capability (processing/secure memory) on edge devices. In this work, we propose GuaranTEE, a framework to provide attestable private machine learning on the edge. GuaranTEE uses Confidential Computing Architecture (CCA), Arm's latest architectural extension that allows for the creation and deployment of dynamic Trusted Execution…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSecurity and Verification in Computing · Logic, programming, and type systems
