For my Bachelor’s thesis I investigated instruction time measurements with the System Security Group at ETH Zurich. Our findings led to various improvements over existing measurement tools and the discovery of a new side-channel attack, the Frontal Attack.
SGX enclaves allow to securely execute a program on hardware owned by an untrusted entity. Since precise timestamps are not available inside enclaves and not even the OS can manipulate their computations, it is difficult to measure the timings of instructions executing inside enclaves.
This thesis serves as a reference on how to obtain accurate timings in general and especially in connection with SGX enclaves. We built on top of SGX-Step, a practical attack framework for precise enclave execution control. Nemesis goes in the same direction as our work and also modifies SGX-Step to do time measurements. However, our project further improves the observation accuracy and runs more in-depth test cases. We describe the following improvements over SGX-Step (with references to the corresponding sections in the thesis):
- We noted that different enclaves have varying enclave entry and exit times, which makes it hard to compare instruction timings of different enclaves. We added the measurement of multiple test cases inside the same enclave as well as automated plotting. (4.1)
- Better instruction serialization barriers before and after the measurement to reduce noise. (3.2.1, 3.3.3)
- Reduced cache pollution due to (almost) constant time measurement code and delayed instruction filtering and logging. (4.3, 4.4)
- Multiple consistency checks to detect imprecise APIC timers, misconfigured tests and instructions that can execute in two parts. (4.5, 4.6)
- Support for more complex test cases. (3.3.1, 4.8, 4.9, 5.1)
Furthermore, we discuss the following enhancements and new features:
- New plot types to gain more insights about measurements. (3.4.2, 3.4.3, 3.4.4, 5.1)
- Alternative measurement options that all share the same test case specifications:
- Measure timings outside the enclave to see differences to instructions inside the enclave. (3.3.2)
- Counter method to cross validate results of SGX-Step (although they have lower precision). (3.3.4)
- Filtering noise and especialy outliers at page boundaries to get a meaningful variance and compact plots. (3.4, 4.2, 4.10)
By improving the instruction granular time measurements of SGX enclaves, we show that even more detailed information about the enclave’s execution state can be leaked than previously assumed. We describe the discovery of the phenomenon that led to the Frontal Attack paper.
The complete thesis is available here.
This thesis led to the USENIX paper Frontal Attack.
The source code of a proof of concept implementation of the Frontal attack is published here and includes part of the code of this thesis.