Let's analyze malware with symbolic execution: a practical study

Bibliographic reference Lucca, Serena. Let's analyze malware with symbolic execution: a practical study. Ecole polytechnique de Louvain, Université catholique de Louvain, 2022. Prom. : Legay, Axel.
Permanent URL http://hdl.handle.net/2078.1/thesis:36890