Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation.

Vidal Attias Nicolas Bellec 0001 Grégoire Menguy Sébastien Bardin Jean-Yves Marion Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation. 4529-4543 2025 CCS https://doi.org/10.1145/3719027.3765134 conf/ccs/2025 db/conf/ccs/ccs2025.html#Attias0MBM25