中文
相关论文

相关论文: Software Model Checking: A Promising Approach to V…

200 篇论文

Modern life has witnessed the explosion of mobile devices. However, besides the valuable features that bring convenience to end users, security and privacy risks still threaten users of mobile apps. The increasing sophistication of these…

密码学与安全 · 计算机科学 2025-12-02 Tran Thanh Lam Nguyen , Barbara Carminati , Elena Ferrari

Since last decade, smartphones have become an integral part of everyone's life. Having the ability to handle many useful and attractive applications, smartphones sport flawless functionality and small sizes leading to their exponential…

密码学与安全 · 计算机科学 2018-08-01 Keyur Kulkarni , Ahmad Y Javaid

Mobile applications rely on complex backends that introduce significant security risks, yet developers often lack the tools to assess these risks effectively. This paper presents AndroScanner, an automated pipeline for detecting…

密码学与安全 · 计算机科学 2026-04-17 Harini Dandu

Android is an open software platform for mobile devices with a large market share in the smartphone sector. The openness of the system as well as its wide adoption lead to an increasing amount of malware developed for this platform. ANANAS…

密码学与安全 · 计算机科学 2013-11-13 Thomas Eder , Michael Rodler , Dieter Vymazal , Markus Zeilinger

Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to guarantee security and safety as both are mandatory for…

Enabling fully automated testing of mobile applications has recently become an important topic of study for both researchers and practitioners. A plethora of tools and approaches have been proposed to aid mobile developers both by…

软件工程 · 计算机科学 2018-01-22 Mario Linares Vasquez , Carlos Bernal-Cardenas , Kevin Moran , Denys Poshyvanyk

Security of Android devices is now paramount, given their wide adoption among consumers. As researchers develop tools for statically or dynamically detecting suspicious apps, malware writers regularly update their attack mechanisms to hide…

密码学与安全 · 计算机科学 2022-10-21 Xiaoyu Sun , Xiao Chen , Li Li , Haipeng Cai , John Grundy , Jordan Samhi , Tegawendé F. Bissyandé , Jacques Klein

Android is nowadays the most popular operating system in the world, not only in the realm of mobile devices, but also when considering desktop and laptop computers. Such a popularity makes it an attractive target for security attacks, also…

The Android operating system has become the most popular operating system for smartphones and tablets leading to a rapid rise in malware. Sophisticated Android malware employ detection avoidance techniques in order to hide their malicious…

密码学与安全 · 计算机科学 2017-04-03 Mohammed K. Alzaylaee , Suleiman Y. Yerima , Sakir Sezer

When machine learning is used for Android malware detection, an app needs to be represented in a numerical format for training and testing. We identify a widespread occurrence of distinct Android apps that have identical or nearly identical…

密码学与安全 · 计算机科学 2025-07-31 Guojun Liu , Doina Caragea , Xinming Ou , Sankardas Roy

Repackaging is a serious threat to the Android ecosystem as it deprives app developers of their benefits, contributes to spreading malware on users' devices, and increases the workload of market maintainers. In the space of six years, the…

软件工程 · 计算机科学 2018-11-22 Li Li , Tegawendé Bissyandé , Jacques Klein

Dynamic analysis has emerged as a pivotal technique for testing Android apps, enabling the detection of bugs, malicious code, and vulnerabilities. A key metric in evaluating the efficacy of tools employed by both research and practitioner…

软件工程 · 计算机科学 2024-04-18 Jordan Samhi , Andreas Zeller

Clustering has been well studied for desktop malware analysis as an effective triage method. Conventional similarity-based clustering techniques, however, cannot be immediately applied to Android malware analysis due to the excessive use of…

密码学与安全 · 计算机科学 2017-07-18 Yuping Li , Jiyong Jang , Xin Hu , Xinming Ou

Android is among the most targeted platform by attackers. While attackers are improving their techniques, traditional solutions based on static and dynamic analysis have been also evolving. In addition to the application code, Android…

密码学与安全 · 计算机科学 2021-07-08 Sevil Sen , Burcu Can

Copious mobile operating systems exist in the market, but Android remains the user's choice. Meanwhile, its growing popularity has also attracted malware developers. Researchers have proposed various static solutions for Android malware…

密码学与安全 · 计算机科学 2025-03-04 Yash Sharma , Anshul Arora

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…

The rapid growth of mobile applications has escalated Android malware threats. Although there are numerous detection methods, they often struggle with evolving attacks, dataset biases, and limited explainability. Large Language Models…

密码学与安全 · 计算机科学 2025-04-23 Xingzhi Qian , Xinran Zheng , Yiling He , Shuo Yang , Lorenzo Cavallaro

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…

软件工程 · 计算机科学 2021-11-04 Muhammad Sajidur Rahman , Blas Kojusner , Ryon Kennedy , Prerit Pathak , Lin Qi , Byron Williams

The software industry aims to provide customers with quality software. Testing software is a critical and sensitive stage in ensuring software quality. Due to the increasing popularity of mobile devices, the use of Android applications has…

软件工程 · 计算机科学 2022-09-07 Fatemeh Mosayeb , Shohreh Ajoudanian

A growing number of threats to Android phones creates challenges for malware detection. Manually labeling the samples into benign or different malicious families requires tremendous human efforts, while it is comparably easy and cheap to…

密码学与安全 · 计算机科学 2017-04-21 Li Chen , Mingwei Zhang , Chih-Yuan Yang , Ravi Sahita