Identifying Mobile Repackaged Applications through Formal Methods

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio. Identifying Mobile Repackaged Applications through Formal Methods. In Paolo Mori, Steven Furnell, Olivier Camp, editors, Proceedings of the 3rd International Conference on Information Systems Security and Privacy, ICISSP 2017, Porto, Portugal, February 19-21, 2017. pages 673-682, SciTePress, 2017. [doi]

Abstract

Abstract is missing.