Skip to content

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

VenueCFMICS
Year2016
ProceedingsFMICS-AVoCS

Browse the full FMICS paper archive.