13 citations · 19 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 2 cited
Software Model Checking: A Promising Approach to Verify Mobile App Security
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach +1
In this position paper we advocate software model checking as a technique suitable for security analysis of mobile apps. Our recommendation is based on promising results that we ac…
cs.CR2017
Detection of App Collusion Potential Using Logic Programming
Jorge Blasco, Thomas M. Chen, Igor Muttik +1
Android is designed with a number of built-in security features such as app sandboxing and permission-based access controls. Android supports multiple communication methods for app…