English
Related papers

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

200 papers

It is well known that antivirus engines are vulnerable to evasion techniques (e.g., obfuscation) that transform malware into its variants. However, it cannot be necessarily attributed to the effectiveness of these evasions, and the limits…

Cryptography and Security · Computer Science 2025-07-29 Guozhu Meng , Zhixiu Guo , Xiaodong Zhang , Haoyu Wang , Kai Chen , Yang Liu

We present an add-on for the Android platform, capable of intercepting nearly all interactions between apps or apps with the platform, including arguments of method invocations in a human-readable format. A preliminary performance…

Software Engineering · Computer Science 2014-06-10 Jan-Christoph Kuester , Andreas Bauer

Android is undergoing unprecedented malicious threats daily, but the existing methods for malware detection often fail to cope with evolving camouflage in malware. To address this issue, we present HAWK, a new malware detection framework…

Cryptography and Security · Computer Science 2021-08-18 Yiming Hei , Renyu Yang , Hao Peng , Lihong Wang , Xiaolin Xu , Jianwei Liu , Hong Liu , Jie Xu , Lichao Sun

Android is the most used Operating System worldwide for mobile devices, with hundreds of thousands of apps downloaded daily. Although these apps are primarily written in Java and Kotlin, advanced functionalities such as graphics or…

Cryptography and Security · Computer Science 2024-12-03 Silvia Lucia Sanna , Diego Soi , Davide Maiorca , Giorgio Fumera , Giorgio Giacinto

In this paper, we develop four malware detection methods using Hamming distance to find similarity between samples which are first nearest neighbors (FNN), all nearest neighbors (ANN), weighted all nearest neighbors (WANN), and k-medoid…

Cryptography and Security · Computer Science 2019-11-28 Rahim Taheri , Meysam Ghahramani , Reza Javidan , Mohammad Shojafar , Zahra Pooranian , Mauro Conti

The popularity of Android system, not only in the handset devices but also in IoT devices, makes it a very attractive destination for malware. Indeed, malware is expanding at a similar rate targeting such devices that rely, in most cases,…

Cryptography and Security · Computer Science 2018-06-26 ElMouatez Billah Karbab , Mouarad Debbabi

Access to privacy-sensitive information on Android is a growing concern in the mobile community. Albeit Google Play recently introduced some privacy guidelines, it is still an open problem to soundly verify whether apps actually comply with…

Cryptography and Security · Computer Science 2021-12-13 Luca Verderame , Davide Caputo , Andrea Romdhana , Alessio Merlo

Cryptography has been extensively used in Android applications to guarantee secure communications, conceal critical data from reverse engineering, or ensure mobile users' privacy. Various system-based and third-party libraries for Android…

Cryptography and Security · Computer Science 2022-07-08 Adam Janovsky , Davide Maiorca , Dominik Macko , Vashek Matyas , Giorgio Giacinto

This article introduces a distributed model of trust for app developers in Android and iOS mobile ecosystems. The model aims to allow the co-existence of multiple app stores and distribution channels while retaining a high level of safety…

Cryptography and Security · Computer Science 2023-08-11 Paulo Trezentos , Ricardo Capote , Tiago Teodoro , João Carneiro

The Android Open Source Project (AOSP) is probably the most used and customized operating system for smartphones and IoT devices worldwide. Its market share and high adaptability makes Android an interesting operating system for many…

Cryptography and Security · Computer Science 2021-12-17 Thomas Sutter

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

To identify security vulnerabilities in Android applications, numerous static application security testing (SAST) tools have been proposed. However, it poses significant challenges to assess their overall performance on diverse…

Software Engineering · Computer Science 2024-10-29 Jingyun Zhu , Kaixuan Li , Sen Chen , Lingling Fan , Junjie Wang , Xiaofei Xie

This paper proposes a novel visual model for web applications security monitoring. Although an automated intrusion detection system can shield a web application from common attacks, it usually cannot detect more complicated break-ins. So, a…

Cryptography and Security · Computer Science 2019-04-09 Tran Tri Dang , Tran Khanh Dang

The explosive growth and increasing sophistication of Android malware call for new defensive techniques that are capable of protecting mobile users against novel threats. In this paper, we first extract the runtime Application Programming…

Cryptography and Security · Computer Science 2019-05-22 Yanfang Ye , Shifu Hou , Lingwei Chen , Jingwei Lei , Wenqiang Wan , Jiabin Wang , Qi Xiong , Fudong Shao

Java programming language has been long used to develop native Android mobile applications. In the last few years many companies and freelancers have switched into using Kotlin partially or entirely. As such, many projects are released as…

Cryptography and Security · Computer Science 2021-05-21 Fadi Mohsen , Loran Oosterhaven , Fatih Turkmen

In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim at providing a thorough empirical evaluation, comparability is hindered by varying or…

Software Engineering · Computer Science 2019-07-31 Felix Pauck , Eric Bodden , Heike Wehrheim

The functionality of many mobile applications is dependent on various contextual, external factors. Depending on unforeseen scenarios, mobile apps can even malfunction or crash. In this paper, we have introduced MobiCoMonkey - automated…

Software Engineering · Computer Science 2018-04-10 Amit Seal Ami , Md. Mehedi Hasan , Md. Rayhanur Rahman , Kazi Sakib

With the number of new mobile malware instances increasing by over 50\% annually since 2012 [24], malware embedding in mobile apps is arguably one of the most serious security issues mobile platforms are exposed to. While obfuscation…

Cryptography and Security · Computer Science 2019-08-23 Muhammad Ikram , Pierrick Beaume , Mohamed Ali Kaafar

Smartphones contain information that is more sensitive and personal than those found on computers and laptops. With an increase in the versatility of smartphone functionality, more data has become vulnerable and exposed to attackers.…

Cryptography and Security · Computer Science 2021-02-15 Sai Vishwanath Venkatesh , Prasanna D. Kumaran , Joish J Bosco , Pravin R. Kumaar , Vineeth Vijayaraghavan

The battle to mitigate Android malware has become more critical with the emergence of new strains incorporating increasingly sophisticated evasion techniques, in turn necessitating more advanced detection capabilities. Hence, in this paper…

Cryptography and Security · Computer Science 2016-07-28 Suleiman Y. Yerima , Sakir Sezer , Igor Muttik