Binary analysis

[Google Scholar]

Notes: ISA specification, binary lifter, malware analysis, binary instrumentation
Papers:

angr verifier, Binary Analysis Platform (BAP), Binary lifter, BinRec binary lifter, Capstone disassembler, Dagger binary lifter, LLVM-MCtoLL binary lifter, Malware analysis, Mayhem, McSema binary lifter, reopt binary lifter, RetDec decompiler, Reverse engineering, rev.ng reverse engineering tool, SecondWrite binary lifter, Serval solver-based verifier, XED x86 encoding/decoding library, zydis x86 decoder/disassembler library