Logo image
Designing a Provenance Analysis for SGX Enclaves
Conference proceeding

Designing a Provenance Analysis for SGX Enclaves

Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro and ASSOC COMPUTING MACHINERY
Proceedings of the 38th Annual Computer Security Applications Conference, pp.102-116
ACM Other Conferences
ACSAC: Annual Computer Security Applications Conference
05/12/2022

Abstract

Security and privacy Security and privacy -- Intrusion/anomaly detection and malware mitigation Security and privacy -- Security services Security and privacy -- Software and application security Security and privacy -- Systems security Security and privacy -- Systems security -- Operating systems security Social and professional topics Social and professional topics -- Computing -- technology policy Social and professional topics -- Computing -- technology policy -- Computer crime Software and its engineering Software and its engineering -- Software organization and properties Software and its engineering -- Software organization and properties -- Software functional properties
SGX enclaves are trusted user-space memory regions that ensure isolation from the host, which is considered malicious. However, enclaves may suffer from vulnerabilities that allow adversaries to compromise their trustworthiness. Consequently, the SGX isolation may hinder defenders from recognizing an intrusion. Ideally, to identify compromised enclaves, the owner should have privileged access to the enclave memory and a policy to recognize the attack. Most importantly, these operations should not break the SGX properties. In this work, we propose SgxMonitor, a novel provenance analysis to monitor and identify compromised enclaves. SgxMonitor is composed of two elements: (i) a technique to extract contextual runtime information from an enclave, and (ii) a novel model to recognize enclaves’ intrusions. Our evaluation shows that SgxMonitor successfully identifies enclave intrusions against state-of-the-art attacks without undermining the SGX isolation. Our experiments did not report false positives and negatives during normal enclave executions, while incurring a marginal overhead that does not affect real use cases deployment, thus supporting the use of SgxMonitor in realistic scenarios.

Metrics

1 Record Views

Details

Logo image