1. PhD Defense of Jonathan Salwan: Use of Symbolic Execution for Binary Deobfuscation research | 2020-02-12 23:00 | blog.quarkslab.com | original ↗ | #reverse-engineering | #program-analysis | #symbolic-execution