13 citations · 21 across the 4 of their papers we have counts for
Showing cs.SEShow 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.SE2016★ 13 cited
Towards Automated Android App Collusion Detection
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen +5
Android OS supports multiple communication methods between apps. This opens the possibility to carry out threats in a collaborative fashion, c.f. the Soundcomber example from 2011.…