• Publications
  • Influence
Optimal and Scalable Caching for 5G Using Reinforcement Learning of Space-Time Popularities
TLDR
A Q-learning algorithm is developed for finding the optimal caching policy in an online fashion, and its linear approximation is provided to offer scalability over large networks. Expand
  • 116
  • 16
  • PDF
COVERT: Compositional Analysis of Android Inter-App Permission Leakage
TLDR
We present COVERT, a tool for compositional analysis of Android inter-app vulnerabilities that statically analyzes the reverse engineered source code of each individual app, and extracts relevant security specifications in a format suitable for formal verification. Expand
  • 97
  • 15
  • PDF
Reducing Combinatorics in GUI Testing of Android Applications
TLDR
We present TrimDroid, a framework for GUI testing of Android apps that uses a novel strategy to generate tests in a combinatorial, yet scalable, fashion. Expand
  • 78
  • 6
  • PDF
Automated Dynamic Enforcement of Synthesized Security Policies in Android
As the dominant mobile computing platform, Android has become a prime target for cyber-security attacks. Many of these attacks are manifested at the application level, and through the exploitation ofExpand
  • 10
  • 4
  • PDF
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
TLDR
In parallel with the meteoric rise of mobile software, we are witnessing an alarming escalation in the number and sophistication of the security threats targeted at mobile platforms, particularly Android, as the dominant platform. Expand
  • 78
  • 2
  • PDF
Analysis of Android Inter-App Security Vulnerabilities Using COVERT
TLDR
This paper demonstrates COVERT, a novel approach and accompanying tool-suite that relies on a hybrid static analysis and lightweight formal analysis technique to enable compositional security assessment of complex software. Expand
  • 34
  • 2
  • PDF
Synthetic running and tumbling: an autonomous navigation strategy for catalytic nanoswimmers
Equipping miniaturised catalytic swimming devices with the ability to autonomously navigate in response to solution borne stimuli is an attractive route to enabling drug delivery and other transportExpand
  • 24
  • 2
Energy-aware test-suite minimization for Android apps
TLDR
This paper presents an energy-aware test-suite minimization approach to significantly reduce the number of tests needed to effectively test the energy properties of an Android app. Expand
  • 36
  • 1
  • PDF
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
TLDR
This paper presents an approach that allows the end-users to safeguard a given bundle of apps installed on their device from cyber-security attacks. Expand
  • 28
  • 1
  • PDF
PATDroid: permission-aware GUI testing of Android
TLDR
This paper presents an automated approach, called PATDroid, for efficiently testing an Android app while taking the impact of permissions on its behavior into account. Expand
  • 23
  • 1
  • PDF