TrABin: Trustworthy analyses of binaries

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

Computing, Computer Engineering, Computer Science +11

USENIX Security Symposium

IEEE Security & Privacy · 2004 · 1.5K citations

Computing, Computer Science, Computer Systems +15

The geometry of innocent flesh on the bone

Hovav Shacham · 2007 · 1.3K citations

Computing, Computer Engineering, Computer Science +13

Formal verification of a realistic compiler

Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis

Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls et al. · 2016 · 911 citations · Full text

Computing, Computer Engineering, Computer Science +12