English
Related papers

Related papers: Toward an Android Static Analysis Approach for Dat…

200 papers

Privacy labels -- standardized, compact representations of data collection and data use practices -- are often presented as a solution to the shortcomings of privacy policies. Apple introduced mandatory privacy labels for apps in its App…

Human-Computer Interaction · Computer Science 2024-01-09 Yanzi Lin , Jaideep Juneja , Eleanor Birrell , Lorrie Faith Cranor

Android applications are frequently plagiarized or repackaged, and software obfuscation is a recommended protection against these practices. However, there is very little data on the overall rates of app obfuscation, the techniques used, or…

Cryptography and Security · Computer Science 2018-02-21 Dominik Wermke , Nicolas Huaman , Yasemin Acar , Brad Reaves , Patrick Traynor , Sascha Fahl

Google's Android is a comprehensive software framework for mobile communication devices (i.e., smartphones, PDAs). The Android framework includes an operating system, middleware and a set of key applications. The incorporation of integrated…

Cryptography and Security · Computer Science 2009-12-31 A. Shabtai , Y. Fledel , U. Kanonov , Y. Elovici , S. Dolev

The open-source nature of the Android OS makes it possible for manufacturers to ship custom versions of the OS along with a set of pre-installed apps, often for product differentiation. Some device vendors have recently come under scrutiny…

Cryptography and Security · Computer Science 2019-05-08 Julien Gamba , Mohammed Rashed , Abbas Razaghpanah , Juan Tapiador , Narseo Vallina-Rodriguez

This paper presents a demo of our Security Toolbox to detect novel malware in Android apps. This Toolbox is developed through our recent research project funded by the DARPA Automated Program Analysis for Cybersecurity (APAC) project. The…

Cryptography and Security · Computer Science 2015-04-08 Benjamin Holland , Tom Deering , Suresh Kothari , Jon Mathews , Nikhil Ranade

We present Anadroid, a static malware analysis framework for Android apps. Anadroid exploits two techniques to soundly raise precision: (1) it uses a pushdown system to precisely model dynamically dispatched interprocedural and…

Programming Languages · Computer Science 2013-11-19 Shuying Liang , Andrew W. Keep , Matthew Might , Steven Lyde , Thomas Gilray , Petey Aldous , David Van Horn

The difficulty of large scale monitoring of app markets affects our understanding of their dynamics. This is particularly true for dimensions such as app update frequency, control and pricing, the impact of developer actions on app…

Social and Information Networks · Computer Science 2018-02-09 Rahul Potharaju , Mizanur Rahman , Bogdan Carbunar

In recent years, there has been rapid growth in mobile devices such as smartphones, and a number of applications are developed specifically for the smartphone market. In particular, there are many applications that are ``free'' to the user,…

Cryptography and Security · Computer Science 2013-05-20 Hiroki Kuzuno , Satoshi Tonami

End-users seldom read verbose privacy policies, leading app stores like Google Play to mandate simplified data safety declarations as a user-friendly alternative. However, these self-declared disclosures often contradict the full privacy…

Artificial Intelligence · Computer Science 2026-03-11 Bhanuka Silva , Dishanika Denipitiyage , Anirban Mahanti , Aruna Seneviratne , Suranga Seneviratne

Context: Post-release user feedback plays an integral role in improving software quality and informing new features. Given its growing importance, feedback concerning security enhancements is particularly noteworthy. In considering the…

Cryptography and Security · Computer Science 2021-02-26 Sherlock A. Licorish , Stephen G. MacDonell , Tony Clear

Android is a widely deployed operating system that employs a permission-based access control model. The Android Permissions System (APS) is responsible for mediating resource requests from applications. APS is a critical component of the…

Cryptography and Security · Computer Science 2022-03-21 Amirhosein Sayyadabdi

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 achieved on analysing app collusion in the context of the…

Software Engineering · Computer Science 2017-06-16 Irina Mariuca Asavoae , Hoang Nga Nguyen , Markus Roggenbach , Siraj Ahmed Shaikh

The movement to mobile computing solutions provides flexibility to different users whether it is a business user, a student, or even providing entertainment to children and adults of all ages. Due to these emerging technologies mobile users…

Cryptography and Security · Computer Science 2025-02-11 Timur Mirzoev , Mark Miller , Shamimara Lasker , Michael Brannon

With the increasing usage of smartphones a plethora of security solutions are being designed and developed. Many of the security solutions fail to cope with advanced attacks and are not aways properly designed for smartphone platforms.…

Cryptography and Security · Computer Science 2015-02-18 Asaf Shabtai , Dudu Mimran , Yuval Elovici

Data protection regulations generally afford individuals certain rights over their personal data, including the rights to access, rectify, and delete the data held on them. Exercising such rights naturally requires those with data…

Computers and Society · Computer Science 2018-09-17 Chris Norval , Jennifer Cobbe , Heleen Janssen , Jatinder Singh

Unique challenges arise when testing mobile applications due to their prevailing event-driven nature and complex contextual features (e.g. sensors, notifications). Current automated input generation approaches for Android apps are typically…

Software Engineering · Computer Science 2018-01-22 Kevin Moran , Mario Linares-Vasquez , Carlos Bernal-Cardenas , Christopher Vendome , Denys Poshyvanyk

We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Android. Any scalable static analysis in this complex setting is…

Programming Languages · Computer Science 2018-09-12 Jinman Zhao , Aws Albarghouthi , Vaibhav Rastogi , Somesh Jha , Damien Octeau

Privacy policies are intended to inform users about how software systems collect and handle data, yet they often remain vague or incomplete. This paper presents an empirical study of patterns in log-related statements within privacy…

Cryptography and Security · Computer Science 2026-05-04 Zhiyuan Chen , Love Jayesh Ahir , Ahmad Suleiman , Kundi Yao , Yiming Tang , Weiyi Shang , Daqing Hou

Frequently advised secure development recommendations often fall short in practice for app developers. Tool-driven (e.g., using static analysis tools) approaches lack context and domain-specific requirements of an app being tested. App…

Software Engineering · Computer Science 2021-11-04 Muhammad Sajidur Rahman , Blas Kojusner , Ryon Kennedy , Prerit Pathak , Lin Qi , Byron Williams

Security of mobile apps affects the security of their users. This has fueled the development of techniques to automatically detect vulnerabilities in mobile apps and help developers secure their apps; specifically, in the context of Android…

Cryptography and Security · Computer Science 2017-11-09 Joydeep Mitra , Venkatesh-Prasad Ranganath
‹ Prev 1 8 9 10 Next ›