31. PhD defense of Ninon Eyrolles: Obfuscation with Mixed Boolean-Arithmetic Expressions: Reconstruction, Analysis and Simplification Tools research | 2017-06-08 22:00 | blog.quarkslab.com | original ↗ | #obfuscation | #mba | #program-analysis
32. Your tool works better than mine? Prove it. blog | 2016-08-01 11:50 | blog.trailofbits.com | original ↗ | #benchmarks | #darpa | #trail-of-bits
33. The Problem with Dynamic Program Analysis blog | 2016-03-09 18:53 | blog.trailofbits.com | original ↗ | #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 ↗ | #reverse-engineering | #obfuscation | #mba
35. Close Encounters with Symbolic Execution blog | 2014-11-25 13:50 | blog.trailofbits.com | original ↗ | #darpa | #program-analysis | #symbolic-execution
Skip to content