A Model Checking-based Approach to Malicious Family Detection in iOS Environment.

Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone

Browse the full KES paper archive.