Publications

HAFIX: Hardware-Assisted Flow Integrity Extension (Best Paper Award)

AuthorArias, Orlando; Davi, Lucas; Hanreich, Matthias; Jin, Yier; Koeberl, Patrick; Paul, Debayan; Sadeghi, Ahmad-Reza; Sullivan, Dean
Date2015
TypeConference Proceedings
AbstractCode-reuse attacks like return-oriented programming (ROP) pose a severe threat to modern software on diverse processor architectures. Designing practical and secure defenses against code-reuse attacks is highly challenging and currently subject to intense research. However, no secure and practical system-level solutions exist so far, since a large number of proposed defenses have been successfully bypassed. To tackle this attack, we present HAFIX (Hardware-Assisted Flow Integrity eXtension), a defense against code-reuse attacks exploiting backward edges (returns). HAFIX provides fine-grained and practical protection, and serves as an enabling technology for future control-flow integrity instantiations. This paper presents the implementation and evaluation of HAFIX for the Intelr Siskiyou Peak and SPARC embedded system architectures, and demonstrates its security and efficiency in code-reuse protection while incurring only 2% performance overhead.
ConferenceDAC '15: The 52nd Annual Design Automation Conference 2015
Isbn978-1-4503-3520-1
In52nd Design Automation Conference (DAC)
PublisherACM
PartnTUD-CS-2015-0105
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/98191