My research focused on software protection and automated deobfuscation, specifically, how to automatically break or analyze code that has been deliberately obfuscated to resist reverse engineering. This work sits at the intersection of formal methods (SMT solvers), program analysis, and offensive security, with direct applications to malware analysis and secure software evaluation.

2020

To refine symbolic and concrete deobfuscation of programs protected by opaque predicates, Gonzalvez, A. (2020, June), (Doctoral dissertation, Ecole nationale supérieure Mines-Télécom Atlantique), Rennes, France.

2019

A case against indirect jumps for secure programs., Gonzalvez, A. & Lashermes, R. (2019, December). In Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering, San Juan, Puerto Rico, USA (SSPREW'9 co-located with ACSAC19).