Mobile apps include privacy settings that allow their users to configure how their data should
be shared. These settings, however, are often hard to locate and hard to understand by the …

Mobile devices, particularly Android-based devices, have become essential to our daily
lives. However, this trend has also increased the number and sophistication of mobile …

This article reports on our experiences in applying formal methods to verify the security
mechanisms of Android. We have developed a comprehensive formal specification of …

The swift and continuous evolution of mobile devices is encouraging both private and public
organizations to adopt the Bring Your Own Device (BYOD) paradigm. As a matter of fact, the …

Effective detection of malware apps requires thorough knowledge of behavioral and
structural patterns of both benign and malware apps. In this paper, we focus on permissions …

Providing good services and satisfaction to customer is main concern on online business. As
technology is developed rapidly, many online restaurants has sought user-friendly platform …

As much as they have positioned Android among the most widely used operating systems,
Android applications have helped malware creators to break in and infect its devices. A long …

This article reports on our experiences in applying formal methods to verify the security
mechanisms of Android. We have developed a comprehensive formal specification of …

Permissions related attacks are a widespread security issue in Android environment.
Permissions misuse enables attackers to steal the application rights and perform malicious …

Today's smart phones are used for wider range of activities. This extended range of
functionalities has also seen the infiltration of new security threats. Android has been the …