SoK: (state of) the art of war: Offensive techniques in binary analysis

Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna
[doi] [Google Scholar] [DBLP] [Citeseer]

2016 IEEE Symposium on Security and Privacy (SP)
Pages 138-157
Note(s): binary analysis, angr verifier
Papers: coppa:ase:2017

angr verifier, Systematization of Knowledge (SoK)