中文
相关论文

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

200 篇论文

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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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.…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 2016-07-28 Suleiman Y. Yerima , Sakir Sezer , Igor Muttik