HoBBy: Hardening Unbalanced Branches against Control Flow Attacks on Intel SGX and AMD SEV
This paper introduces HoBBy, a compiler-based tool that hardens unbalanced branches at the instruction level, making parallel control flows indistinguishable to state-of-theart attacks that bypass the source-code level balancing. To achieve this, we propose a single-step analysis method to identify unbalanced instructions in secret-dependent branches, and implement instruction shadowing, cogging, and spiraling techniques to protect them. We evaluate HoBBy by hardening secret-dependent branches in four real-world applications, validating its resilience against three state-of-the-art attacks targeting Intel SGX and AMD SEV. HoBBy achieves a runtime overhead of 2.8% for cryptographic libraries and a binary size overhead of $\mathbf{0. 6 \%}$.
Authors
- Yuan-Fang Li (ORCID: https://orcid.org/0000-0003-4651-2821)
- Trevor E. Carlson (ORCID: https://orcid.org/0000-0001-8742-134X)
- Dongsheng Wang (ORCID: https://orcid.org/0000-0001-5779-9026)
- Chang Liu (ORCID: https://orcid.org/0000-0002-1834-4958)
- Shuaihu Feng
Institutions
- National University of Singapore (SG)
- Tsinghua University (CN)
Publication Details
- Published
- 2025-06-22
- DOI
- https://doi.org/10.1109/dac63849.2025.11132915
- Citations
- 1
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 2.48