Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile. Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distrib. Comput., 119:203-218, 2018. [doi]
Abstract is missing.