---
id: 4461
title: "PhD Defense of Jonathan Salwan: Use of Symbolic Execution for Binary Deobfuscation"
source_domain: blog.quarkslab.com
source_url: "https://blog.quarkslab.com/phd-defense-of-jonathan-salwan-use-of-symbolic-execution-for-binary-deobfuscation.html"
published_at: "2020-02-12T23:00:00Z"
tags: ["reverse-engineering", "program-analysis", "symbolic-execution", "deobfuscation", "phd", "thesis"]
phying_url: "https://phying.com/item/4461"
lang: en
---

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

## 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.

## Intelligence Metadata

- **Sources:** blog.quarkslab.com
- **Published:** 2020-02-12T23:00:00Z
- **Original:** https://blog.quarkslab.com/phd-defense-of-jonathan-salwan-use-of-symbolic-execution-for-binary-deobfuscation.html
- **Phying News:** https://phying.com/item/4461