English
Related papers

Related papers: Software Model Checking: A Promising Approach to V…

200 papers

The growing popularity of Android requires malware detection systems that can keep up with the pace of new software being released. According to a recent study, a new piece of malware appears online every 12 seconds. To address this, we…

Cryptography and Security · Computer Science 2025-11-14 Ali Muzaffar , Hani Ragab Hassen , Hind Zantout , Michael A Lones

Resource leak bugs in Android apps are pervasive and can cause serious performance degradation and system crashes. In recent years, several resource leak detection techniques have been proposed to assist Android developers in correctly…

Software Engineering · Computer Science 2016-11-28 Yepang Liu , Lili Wei , Chang Xu , Shing-Chi Cheung

The Android middleware, in particular the so-called systemserver, is a crucial and central component to Android's security and robustness. To understand whether the systemserver provides the demanded security properties, it has to be…

Cryptography and Security · Computer Science 2021-10-13 Oliver Schranz , Sebastian Weisgerber , Erik Derr , Michael Backes , Sven Bugiel

The exponential growth of android-based mobile IoT systems has significantly increased the susceptibility of devices to cyberattacks, particularly in smart homes, UAVs, and other connected mobile environments. This article presents a…

Cryptography and Security · Computer Science 2025-06-24 Akarsh K Nair , Shanik Hubert Satheesh Kumar. , Deepti Gupta

Many Android applications embed webpages via WebView components and execute JavaScript code within Android. Hybrid applications leverage dedicated APIs to load a resource and render it in a WebView. Furthermore, Android objects can be…

Cryptography and Security · Computer Science 2020-08-06 Abhishek Tiwari , Jyoti Prakash , Sascha Gross , Christian Hammer

In developing countries, several key sectors, including education, finance, agriculture, and healthcare, mainly deliver their services via mobile app technology on handheld devices. As a result, mobile app security has emerged as a…

Cryptography and Security · Computer Science 2025-07-08 Alioune Diallo , Jordan Samhi , Tegawendé Bissyandé , Jacques Klein

Mobile devices have become ubiquitous due to centralization of private user information, contacts, messages and multiple sensors. Google Android, an open-source mobile Operating System (OS), is currently the market leader. Android…

Cryptography and Security · Computer Science 2018-08-19 Parvez Faruki , Hossein Fereidooni , Vijay Laxmi , Mauro Conti , Manoj Gaur

We present BPFroid -- a novel dynamic analysis framework for Android that uses the eBPF technology of the Linux kernel to continuously monitor events of user applications running on a real device. The monitored events are collected from…

Cryptography and Security · Computer Science 2021-06-01 Yaniv Agman , Danny Hendler

As malware continues to become more complex and harder to detect, Malware Analysis needs to continue to evolve to stay one step ahead. One promising key area approach focuses on using system calls and API Calls, the core communication…

Cryptography and Security · Computer Science 2025-06-03 Bishwajit Prasad Gond , Durga Prasad Mohapatra

App repackaging refers to the practice of customizing an existing mobile app and redistributing it in the wild to fool the final user into installing the repackaged app instead of the original one. In this way, an attacker can embed…

Cryptography and Security · Computer Science 2021-12-13 Alessio Merlo , Antonio Ruggia , Luigi Sciolla , Luca Verderame

Software development needs continuous quality control for a timely detection and removal of quality problems. This includes frequent quality assessments, which need to be automated as far as possible to be feasible. One way of automation in…

Software Engineering · Computer Science 2016-11-28 Stefan Wagner

Mobile apps often embed authentication secrets, such as API keys, tokens, and client IDs, to integrate with cloud services. However, developers often hardcode these credentials into Android apps, exposing them to extraction through reverse…

Cryptography and Security · Computer Science 2025-10-22 Marco Alecci , Jordan Samhi , Tegawendé F. Bissyandé , Jacques Klein

Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of testing the functionality and correctness of software by running…

Software Engineering · Computer Science 2010-01-26 S. S. Riaz Ahamed

Although App updates are frequent and software engineers would like to verify updated features only, automated testing techniques verify entire Apps and are thus wasting resources. We present Continuous Adaptation of Learned Models (CALM),…

Software Engineering · Computer Science 2024-04-18 Chanh-Duc Ngo , Fabrizio Pastore , Lionel Briand

Android-based devices like smartphones have become ideal mobile cyber-physical systems (MCPS) due to their powerful processors and variety of sensors. In recent years, an explosively and continuously growing number of malicious applications…

Cryptography and Security · Computer Science 2018-04-06 Dan Su , Jiqiang Liu , Wei Wang , Xiaoyang Wang , Xiaojiang Du , Mohsen Guizani

Android Permission Model and Application (app) analysis has consistently remained the focus of the investigation of research groups and stakeholders of the Android ecosystem since it was launched in 2008. Even though the Android smartphone…

Cryptography and Security · Computer Science 2026-01-05 Rajendra Kumar Solanki , Vijay Laxmi , Manoj Singh Gaur

Machine learning based solutions have been successfully employed for automatic detection of malware on Android. However, machine learning models lack robustness to adversarial examples, which are crafted by adding carefully chosen…

Cryptography and Security · Computer Science 2021-11-17 Xiao Chen , Chaoran Li , Derui Wang , Sheng Wen , Jun Zhang , Surya Nepal , Yang Xiang , Kui Ren

Web access today occurs predominantly through mobile devices, with Android representing a significant share of the mobile device market. This widespread usage makes Android a prime target for malicious attacks. Despite efforts to combat…

Cryptography and Security · Computer Science 2025-03-25 Nishavi Ranaweera , Jiarui Xu , Suranga Seneviratne , Aruna Seneviratne

As Android has become increasingly popular, so has malware targeting it, thus pushing the research community to propose different detection techniques. However, the constant evolution of the Android ecosystem, and of malware itself, makes…

Cryptography and Security · Computer Science 2019-03-05 Lucky Onwuzurike , Enrico Mariconti , Panagiotis Andriotis , Emiliano De Cristofaro , Gordon Ross , Gianluca Stringhini

The dramatic growth in smartphone malware shows that malicious program developers are shifting from traditional PC systems to smartphone devices. Therefore, security researchers are also moving towards proposing novel antimalware methods to…

Cryptography and Security · Computer Science 2019-06-13 Sajad Homayoun , Ali Dehghantanha , Reza M. Parizi , Kim-Kwang Raymond Choo
‹ Prev 1 8 9 10 Next ›