{AEX-Notify}: Thwarting Precise {Single-Stepping} Attacks through Interrupt Awareness for Intel {SGX} Enclaves

S Constable, J Van Bulck, X Cheng, Y Xiao… - 32nd USENIX Security …, 2023 - usenix.org
Intel® Software Guard Extensions (Intel® SGX) supports the creation of shielded enclaves
within unprivileged processes. While enclaves are architecturally protected against …

SEV-Step: A single-stepping framework for AMD-SEV

L Wilke, J Wichelmann, A Rabich… - arXiv preprint arXiv …, 2023 - arxiv.org
The ever increasing popularity and availability of Trusted Execution Environments (TEEs)
had a stark influence on microarchitectural attack research in academia, as their strong …

R5Detect: Detecting Control-Flow Attacks from Standard RISC-V Enclaves

D Bove, L Panzer - arXiv preprint arXiv:2404.03771, 2024 - arxiv.org
Embedded and Internet-of-Things (IoT) devices are ubiquitous today, and the uprising of
several botnets based on them (eg, Mirai, Ripple20) raises issues about the security of such …

Remote Attestation Assurance Arguments for Trusted Execution Environments

AB Usman, N Cole, M Asplund, F Boeira… - Proceedings of the 2023 …, 2023 - dl.acm.org
Remote attestation (RA) is emerging as an important security mechanism for cyber-physical
systems with strict security requirements. Trusted computing at large and Trusted Execution …

[PDF][PDF] SGX-Step: An Open-Source Framework for Precise Dissection and Practical Exploitation of Intel SGX Enclaves

J Van Bulck, F Piessens - jovanbulck.github.io
This short paper presents insights from our experience in maintaining SGX-Step, an open-
source attack framework designed to facilitate vulnerability research on Intel Software Guard …

[引用][C] Trust In Your Pockets: On the Security of Mobile Devices through Trusted Computing

D Bove - 2024 - Friedrich-Alexander-Universität …