Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone. Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. In Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, editors, 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017. pages 263-268, IEEE Computer Society, 2017. [doi]
Abstract is missing.