Instantly Obsoleting the Address-code Associations: A New Principle for Defending Advanced Code Reuse Attack
This addresses the problem of advanced code reuse attacks like just-in-time ROP for cybersecurity, offering a novel defense principle with incremental improvements in randomization techniques.
The paper tackles the limitation of one-time randomization in defending against advanced code reuse attacks by proposing a new principle of instantly obsoleting address-code associations, implemented in CHAMELEON with periodic re-randomization as short as 1ms, which defeats all tested exploits while introducing average performance overheads of 11.1% to 12.9%.
Fine-grained Address Space Randomization has been considered as an effective protection against code reuse attacks such as ROP/JOP. However, it only employs a one-time randomization, and such a limitation has been exploited by recent just-in-time ROP and side channel ROP, which collect gadgets on-the-fly and dynamically compile them for malicious purposes. To defeat these advanced code reuse attacks, we propose a new defense principle: instantly obsoleting the address-code associations. We have initialized this principle with a novel technique called virtual space page table remapping and implemented the technique in a system CHAMELEON. CHAMELEON periodically re-randomizes the locations of code pages on-the-fly. A set of techniques are proposed to achieve our goal, including iterative instrumentation that instruments a to-be-protected binary program to generate a re-randomization compatible binary, runtime virtual page shuffling, and function reordering and instruction rearranging optimizations. We have tested CHAMELEON with over a hundred binary programs. Our experiments show that CHAMELEON can defeat all of our tested exploits by both preventing the exploit from gathering sufficient gadgets, and blocking the gadgets execution. Regarding the interval of our re-randomization, it is a parameter and can be set as short as 100ms, 10ms or 1ms. The experiment results show that CHAMELEON introduces on average 11.1%, 12.1% and 12.9% performance overhead for these parameters, respectively.