Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

PhD Defense of Jonathan Salwan: Use of Symbolic Execution for Binary Deobfuscation

blog.quarkslab.com | research | #reverse-engineering | #program-analysis | #symbolic-execution | #deobfuscation | #phd | #thesis

Summary

Announcement of Jonathan Salwan's PhD defense on using symbolic execution for binary deobfuscation, including the thesis abstract on opaque predicate detection and devirtualization approaches.
Published
Collected

original ↗

Related coverage

  1. Symbolic Deobfuscation: From Virtualized Code Back to the Original (DIMVA 2018) (blog.quarkslab.com)
  2. PhD defense of Ninon Eyrolles: Obfuscation with Mixed Boolean-Arithmetic Expressions: Reconstruction, Analysis and Simplification Tools (blog.quarkslab.com)
  3. Triton v0.8 and ARMv7: A Guideline for Adding New Architectures (blog.quarkslab.com)
  4. Triton v0.8 is Released! (blog.quarkslab.com)
  5. Mistreating Triton (blog.quarkslab.com)
  6. Arybo: cleaning obfuscation by playing with mixed boolean and arithmetic operations (blog.quarkslab.com)

back