An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

Browse the full ASPLOS paper archive.