An Architecture Supporting Formal and Compositional Binary Analysis
McMahan, Joseph, Christensen, Michael, Nichols, Lawton, Roesch, Jared, Guo, Sung-Yee, Hardekopf, Ben, Sherwood, TimothyVolume:
51
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/3093315.3037733
Date:
April, 2017
File:
PDF, 1.14 MB
english, 2017