English
Related papers

Related papers: Do Android Taint Analysis Tools Keep Their Promise…

200 papers

Mutation testing has been widely used to assess the fault-detection effectiveness of a test suite, as well as to guide test case generation or prioritization. Empirical studies have shown that, while mutants are generally representative of…

The reliability of mobile devices is a challenge for vendors, since the mobile software stack has significantly grown in complexity. In this paper, we study how to assess the impact of faults on the quality of user experience in the Android…

Software Engineering · Computer Science 2019-12-10 Domenico Cotroneo , Antonio Ken Iannillo , Roberto Natella , Stefano Rosiello

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

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

Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output. Our work is the first to measure the prevalence of…

Software Engineering · Computer Science 2024-07-11 Jordan Samhi , René Just , Tegawendé F. Bissyandé , Michael D. Ernst , Jacques Klein

The ability to identify the author responsible for a given software object is critical for many research studies and for enhancing software transparency and accountability. However, as opposed to other application markets like iOS,…

Cryptography and Security · Computer Science 2022-11-24 Kaspar Hageman , Álvaro Feal , Julien Gamba , Aniketh Girish , Jakob Bleier , Martina Lindorfer , Juan Tapiador , Narseo Vallina-Rodriguez

Non-functional properties, such as runtime or memory use, are important to mobile app users and developers, as they affect user experience. Previous work on automated improvement of non-functional properties in mobile apps failed to address…

Software Engineering · Computer Science 2023-08-23 James Callan , Justyna Petke

Expecting the shipment of 1 billion Android devices in 2017, cyber criminals have naturally extended their vicious activities towards Google's mobile operating system. With an estimated number of 700 new Android applications released every…

Cryptography and Security · Computer Science 2014-10-29 Sebastian Neuner , Victor van der Veen , Martina Lindorfer , Markus Huber , Georg Merzdovnik , Martin Mulazzani , Edgar Weippl

Mobile application security has been one of the major areas of security research in the last decade. Numerous application analysis tools have been proposed in response to malicious, curious, or vulnerable apps. However, existing tools, and…

Cryptography and Security · Computer Science 2018-06-29 Richard Bonett , Kaushal Kafle , Kevin Moran , Adwait Nadkarni , Denys Poshyvanyk

As the smartphone market leader, Android has been a prominent target for malware attacks. The number of malicious applications (apps) identified for it has increased continually over the past decade, creating an immense challenge for all…

Cryptography and Security · Computer Science 2023-06-13 Masoud Mehrabi Koushki , Ibrahim AbuAlhaol , Anandharaju Durai Raju , Yang Zhou , Ronnie Salvador Giagone , Huang Shengqiang

Smartphones, the devices we carry everywhere with us, are being heavily tracked and have undoubtedly become a major threat to our privacy. As "tracking the trackers" has become a necessity, various static and dynamic analysis tools have…

Cryptography and Security · Computer Science 2016-06-13 Jagdish Prasad Achara , Vincent Roca , Claude Castelluccia , Aurelien Francillon

Mobile app distribution platforms such as Google Play Store allow users to share their feedback about downloaded apps in the form of a review comment and a corresponding star rating. Typically, the star rating ranges from one to five stars,…

Machine Learning · Computer Science 2018-08-14 Rahul Aralikatte , Giriprasad Sridhara , Neelamadhav Gantayat , Senthil Mani

Driven by the popularity of the Android system, Android app markets enjoy a booming prosperity in recent years. One critical problem for modern Android app markets is how to prevent apps that are going to receive low ratings from reaching…

Computers and Society · Computer Science 2017-12-19 Ding Li , Dongjin Song

Many phone vendors use Android as their underlying OS, but often extend it to add new functionality and to make it compatible with their specific phones. When a new version of Android is released, phone vendors need to merge or re-apply…

Software Engineering · Computer Science 2019-03-18 Mehran Mahmoudi , Sarah Nadi

Tool-use language agents are evaluated on benchmarks that assume clean inputs, unambiguous tool registries, and reliable APIs. Real deployments violate all these assumptions: user typos propagate into hallucinated tool names, a…

Today, there are millions of third-party Android applications. Some of these applications are buggy or even malicious. To identify such applications, novel frameworks for automated black-box testing and dynamic analysis are being developed…

Cryptography and Security · Computer Science 2018-12-31 Aleksandr Pilgun , Olga Gadyatskaya , Stanislav Dashevskyi , Yury Zhauniarovich , Artsiom Kushniarou

The number of Android malware variants (clones) are on the rise and, to stop this attack of clones we need to develop new methods and techniques for analysing and detecting them. As a first step, we need to study how these malware clones…

Cryptography and Security · Computer Science 2021-06-18 Shahid Alam , M. Zain ul Abideen , Shahzad Saleem

The reliability of machine learning critically depends on dataset quality. While machine learning applied to computer vision and natural language processing benefits from high-quality benchmark datasets, cyber security often falls behind,…

Cryptography and Security · Computer Science 2026-03-24 Theo Chow , Mario D'Onghia , Lorenz Linhardt , Zeliang Kan , Daniel Arp , Lorenzo Cavallaro , Fabio Pierazzi

A large number of mobile-app analysis and instrumentation techniques have emerged in the past decade. However, those techniques' components are difficult to extract and reuse outside their original tools, their evaluation results are hard…

Software Engineering · Computer Science 2019-03-11 Yixue Zhao

Deep learning has emerged as a promising technology for achieving Android malware detection. To further unleash its detection potentials, software visualization can be integrated for analyzing the details of app behaviors clearly. However,…

Cryptography and Security · Computer Science 2024-10-10 Zhaoyi Meng , Jiale Zhang , Jiaqi Guo , Wansen Wang , Wenchao Huang , Jie Cui , Hong Zhong , Yan Xiong