31.PhD defense of Ninon Eyrolles: Obfuscation with Mixed Boolean-Arithmetic Expressions: Reconstruction, Analysis and Simplification Toolsresearch | 2017-06-08 22:00 | blog.quarkslab.com | Original ↗ | .md | #obfuscation | #mba | #program-analysis
32.Your tool works better than mine? Prove it.blog | 2016-08-01 11:50 | blog.trailofbits.com | Original ↗ | .md | #benchmarks | #darpa | #trail-of-bits
33.The Problem with Dynamic Program Analysisblog | 2016-03-09 18:53 | blog.trailofbits.com | Original ↗ | .md | #memory-safety | #use-after-free | #tools
34.What theoretical tools are needed to simplify MBA expressions?research | 2015-09-22 22:00 | blog.quarkslab.com | Original ↗ | .md | #reverse-engineering | #obfuscation | #mba
35.Close Encounters with Symbolic Executionblog | 2014-11-25 13:50 | blog.trailofbits.com | Original ↗ | .md | #darpa | #program-analysis | #symbolic-execution