2 papers
cs.CR2019
Software Ethology: An Accurate, Resilient, and Cross-Architecture Binary Analysis Framework
Derrick McKee, Nathan Burow, Mathias Payer
When reverse engineering a binary, the analyst must first understand the semantics of the binary's functions through either manual or automatic analysis. Manual semantic analysis i…
cs.CR2018
Shining Light On Shadow Stacks
Nathan Burow, Xinping Zhang, Mathias Payer
Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge,i.e., indire…