HoBBy: Hardening Unbalanced Branches against Control Flow Attacks on Intel SGX and AMD SEV
Chang Liu, Shuaihu Feng, Yuan Li, Dongsheng Wang, Trevor E. Carlson
摘要
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 .
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
相关 Paper
- Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End ProcessorsHans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank PiessensCCS 2024 · 被引用 4 次
- Swivel: Hardening WebAssembly against SpectreShravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi 等USENIX Security 2021 · 被引用 74 次
- MDPeek: Breaking Balanced Branches in SGX with Memory Disambiguation Unit Side ChannelsChang Liu, Shuaihu Feng, Yuan Li, Dongsheng Wang 等ASPLOS 2025 · 被引用 7 次
- SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side ChannelsAndrea Mondelli, Paul Gazzillo, Yan SolihinDAC 2021 · 被引用 1 次
- Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious ProgramsHans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel 等S&P 2024 · 被引用 5 次
