## Notes related to Binary analysis

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

## Papers related to Binary analysis

- BinRec: Dynamic binary lifting and recompilation [altinay:eurosys:2020]
- Certified complexity (CerCo) [amadio:fpara:2014]
- A compiler-level intermediate representation based binary analysis and rewriting system [anand:eurosys:2013]
- An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries [andriesse:usenix:2016]
- BAP: A binary analysis platform [brumley:cav:2011]
- Unleashing Mayhem on binary code [cha:sandp:2012]
- Binsec/Rel: Efficient relational symbolic execution for constant-time at binary-level [daniel:sandp:2020]
- Scalable validation of binary lifters [dasgupta:pldi:2020]
- Rev.Ng: A unified binary analysis framework to recover CFGs and function boundaries [difederico:cc:2017]
- DeepState: Symbolic unit testing for C and C++ [goodman:ndss:2018]
- Towards verified binary raising [hendrix:itp:2019]
- Reverse-engineering instruction encodings [hsieh:usenix:2001]
- Proving LTL properties of bitvector programs and decompiled binaries (extended) [liu:arxiv:2021]
- Vx86: x86 assembler simulated in C powered by automated theorem proving [maus:amast:2008]
- Hoare logic for ARM machine code [myreen:fse:2007]
- Scaling symbolic evaluation for automated verification of systems code with Serval [nelson:sosp:2019]
- Polymorphic type inference for machine code [noonan:pldi:2016]
- HOIST: a system for automatically deriving static analyzers for embedded systems [regehr:asplos:2004]
- SOK: (state of) the art of war: Offensive techniques in binary analysis [shoshitaishvili:sp:2016]
- BitBlaze: A new approach to computer security via binary analysis [song:iciss:2008]
- Raising binaries to LLVM IR with MCTOLL (WIP paper) [yadavalli:lctes:2019]