Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Browse the full FMICS paper archive.
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Browse the full FMICS paper archive.