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

Vidal Attias, Nicolas Bellec, Grgoire Menguy, Sbastien Bardin, Jean-Yves Marion

Browse the full CCS paper archive.