31.Mistreating Tritonresearch | 2017-09-06 22:00 | blog.quarkslab.com | Original ↗ | .md | #obfuscation | #program-analysis | #symbolic-execution
32.Magic with Manticorevulnerability | 2017-05-15 11:50 | blog.trailofbits.com | Original ↗ | .md | #automation | #ctf | #reverse-engineering
33.Manticore: Symbolic execution for humansblog | 2017-04-27 04:00 | blog.trailofbits.com | Original ↗ | .md | #open-source | #binary-analysis | #instrumentation
34.Arybo: cleaning obfuscation by playing with mixed boolean and arithmetic operationsresearch | 2016-09-11 22:00 | blog.quarkslab.com | Original ↗ | .md | #python | #mba | #symbolic-execution
35.A fuzzer and a symbolic executor walk into a cloudblog | 2016-08-02 11:50 | blog.trailofbits.com | Original ↗ | .md | #cloud | #fuzzing | #darpa
36.Triton under the hoodresearch | 2015-06-09 22:00 | blog.quarkslab.com | Original ↗ | .md | #reverse-engineering | #binary-analysis | #symbolic-execution
37.Deobfuscation: recovering an OLLVM-protected programresearch | 2014-12-03 23:00 | blog.quarkslab.com | Original ↗ | .md | #reverse-engineering | #obfuscation | #symbolic-execution
38.Close Encounters with Symbolic Execution (Part 2)blog | 2014-12-04 13:50 | blog.trailofbits.com | Original ↗ | .md | #reverse-engineering | #llvm | #darpa
39.Close Encounters with Symbolic Executionblog | 2014-11-25 13:50 | blog.trailofbits.com | Original ↗ | .md | #darpa | #program-analysis | #symbolic-execution