IEEE Access · 2019 · 12 citations · 43 references
ComputingComputer EngineeringComputer ScienceComputer SecurityHardware SecuritySecurity ArchitectureControl Unit DesignControl-flow AnalysisData-flow AnalysisHardware ObfuscationMicroarchitectural SecuritySystem SecurityControl Flow ControlControl Flow ObfuscationControl-flow IntegrityEnhanced ProtectionPerformance OverheadPerformance Overhead AnalysisProtectionSecurity Enforcement
Ensuring that a program follows an uncompromised control flow at the machine instruction level can provide sound protection from control flow attacks that transfer a control flow to the attacker's flow during program execution. This paper proposes an enhanced control data protection for control flow integrity called hard wired control data integrity (HW-CDI). The HW-CDI hides the control data via encoding with a key and requires proper decoding with the key for a correct control flow transfer. A unique aspect of HW-CDI is that this key changes in terms of not only the location but also the value of the control data. This paper describes the features necessary to make HW-CDI, an effective approach for securing program control flows with low-performance overhead. More specifically, this paper describes how to incorporate the HW-CDI into the processor's instruction pipeline so that it becomes an integral part of indirect branch instruction execution. It also provides information on how to generate the encoding/decoding keys without additional instrumented code. The HW-CDI is able to differentiate control flow transfer instances, providing context-based protection at negligible performance overhead.
43
Computer architecture: a quantitative approach
Martin Shute · Microelectronics Journal · 1993 · 3.4K citations
The SimpleScalar tool set, version 2.0
Doug Burger, Todd Austin · ACM SIGARCH Computer Architecture News · 1997 · 3.1K citations · Full text
Martı́n Abadi, Mihai Budiu, Úlfar Erlingsson et al. · 2005 · 1K citations
Smashing The Stack For Fun And Profit
A. One · Medical Entomology and Zoology · 1996 · 769 citations