Citation:
Nyman , T , Dessouky , G , Zeitouni , S , Lehikoinen , A , Paverd , A , Asokan , N & Sadeghi , A-R 2019 , HardScope: Hardening Embedded Systems Against Data-Oriented Attacks . in Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019 . , 63 , Proceedings - Design Automation Conference , ACM , Design Automation Conference , Las Vegas , Nevada , United States , 02/06/2019 . https://doi.org/10.1145/3316781.3317836
|
Abstract:
Memory-unsafe programming languages like C and C++ leave many (embedded) systems vulnerable to attacks like control-flow hijacking. However, defenses against control-flow attacks, such as (fine-grained) randomization or control-flow integrity are in-effective against data-oriented attacks and more expressive Data-oriented Programming (DOP) attacks that bypass state-of-the-art defenses. We propose run-time scope enforcement (RSE), a novel approach that efficiently mitigates all currently known DOP attacks by enforcing compile-time memory safety constraints like variable visibility rules at run-time. We present Hardscope, a proof-of-concept implementation of hardware-assisted RSE for RISC-V, and show it has a low performance overhead of 3.2% for embedded benchmarks.
|