Lorenzo Cavallaro
Giulio Pasquale
Fukutomo Nakanishi
Daniele Ferla
ROPfuscator5 , a C/C++ obfuscation framework with a unified threat model. We address code coverage, overhead, correctness, robustness, and practicality challenges through principled reasoning