159 citations · 225 across the 5 of their papers we have counts for
5 papers
TRACTOR Benchmark for Evaluating C to Rust Translators
Hamed Okhravi, Brandt Ogden, Noah Luther +3
Memory-safety vulnerabilities remain a persistent source of security risk in critical software, much of which is implemented in memory-unsafe languages such as C and C++. Recent ad…
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…
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…
CUP: Comprehensive User-Space Protection for C/C++
Nathan Burow, Derrick McKee, Scott A. Carr +1
Memory corruption vulnerabilities in C/C++ applications enable attackers to execute code, change data, and leak information. Current memory sanitizers do no provide comprehensive c…
Control-Flow Integrity: Precision, Security, and Performance
Nathan Burow, Scott A. Carr, Joseph Nash +4
Memory corruption errors in C/C++ programs remain the most common source of security vulnerabilities in today's systems. Control-flow hijacking attacks exploit memory corruption vu…