中文
相关论文

相关论文: Systematic Mutation-based Evaluation of the Soundn…

200 篇论文

Flaky tests have gained attention from the research community in recent years and with good reason. These tests lead to wasted time and resources, and they reduce the reliability of the test suites and build systems they affect. However,…

软件工程 · 计算机科学 2021-03-05 Alan Romano , Zihe Song , Sampath Grandhi , Wei Yang , Weihang Wang

The vast majority of today's mobile malware targets Android devices. This has pushed the research effort in Android malware analysis in the last years. An important task of malware analysis is the classification of malware samples into…

密码学与安全 · 计算机科学 2017-09-05 Luca Massarelli , Leonardo Aniello , Claudio Ciccotelli , Leonardo Querzoni , Daniele Ucci , Roberto Baldoni

Context: Static Application Security Testing Tools (SASTTs) identify software vulnerabilities to support the security and reliability of software applications. Interestingly, several studies have suggested that alternative solutions may be…

软件工程 · 计算机科学 2024-03-15 Matteo Esposito , Valentina Falaschi , Davide Falessi

Ethereum smart contracts are distributed programs running on top of the Ethereum blockchain. Since program flaws can cause significant monetary losses and can hardly be fixed due to the immutable nature of the blockchain, there is a strong…

密码学与安全 · 计算机科学 2021-01-15 Clara Schneidewind , Markus Scherer , Matteo Maffei

Mutation testing is an established fault-based testing technique. It operates by seeding faults into the programs under test and asking developers to write tests that reveal these faults. These tests have the potential to reveal a large…

软件工程 · 计算机科学 2023-01-10 Ahmed Khanfir , Renzo Degiovanni , Mike Papadakis , Yves Le Traon

The Android operating system is currently the most popular mobile operating system in the world. Android is based on Linux and therefore inherits its features including its Inter-Process Communication (IPC) mechanisms. These mechanisms are…

密码学与安全 · 计算机科学 2022-04-05 Mounir Elgharabawy , Blas Kojusner , Mohammad Mannan , Kevin R. B. Butler , Byron Williams , Amr Youssef

We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Android. Any scalable static analysis in this complex setting is…

编程语言 · 计算机科学 2018-09-12 Jinman Zhao , Aws Albarghouthi , Vaibhav Rastogi , Somesh Jha , Damien Octeau

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…

密码学与安全 · 计算机科学 2025-10-22 Marco Alecci , Jordan Samhi , Tegawendé F. Bissyandé , Jacques Klein

Mobile gaming apps increasingly rely on third-party Software Development Kits SDKs for advertising, analytics, attribution, and user engagement, potentially introducing privacy exposure beyond traditional permission based risks. Existing…

密码学与安全 · 计算机科学 2026-05-26 Bakheet Aljedaani

As nowadays most web application requests originate from mobile devices, authentication of mobile users is essential in terms of security considerations. To this end, recent approaches rely on machine learning techniques to analyze various…

密码学与安全 · 计算机科学 2024-10-28 David Monschein , Oliver P. Waldhorst

The deep learning approach to detecting malicious software (malware) is promising but has yet to tackle the problem of dataset shift, namely that the joint distribution of examples and their labels associated with the test set is different…

密码学与安全 · 计算机科学 2021-12-15 Deqiang Li , Tian Qiu , Shuo Chen , Qianmu Li , Shouhuai Xu

Mobile devices often distribute measurements from physical sensors to multiple applications using software multiplexing. On Android devices, the highest requested sampling frequency is returned to all applications, even if others request…

密码学与安全 · 计算机科学 2023-10-10 Carlton Shepherd , Jan Kalbantner , Benjamin Semal , Konstantinos Markantonakis

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…

软件工程 · 计算机科学 2017-06-16 Irina Mariuca Asavoae , Hoang Nga Nguyen , Markus Roggenbach , Siraj Ahmed Shaikh

Static Application Security Testing (SAST) tools are integral to modern software development, yet their adoption is undermined by excessive false positives that weaken developer trust and demand costly manual triage. We present ZeroFalse, a…

With the emergence of the Node.js ecosystem, JavaScript has become a widely-used programming language for implementing server-side web applications. In this paper, we present the first empirical study of static code analysis tools for…

密码学与安全 · 计算机科学 2023-08-07 Tiago Brito , Mafalda Ferreira , Miguel Monteiro , Pedro Lopes , Miguel Barros , José Fragoso Santos , Nuno Santos

Sophisticated evasion tactics in malicious Android applications, combined with their intricate behavioral semantics, enable attackers to conceal malicious logic within legitimate functions, underscoring the critical need for robust and…

软件工程 · 计算机科学 2025-09-12 Guangyu Zhang , Xixuan Wang , Shiyu Sun , Peiyan Xiao , Kun Sun , Yanhai Xiong

Previous work has shown that early resolution of issues detected by static code analyzers can prevent major costs later on. However, developers often ignore such issues for two main reasons. First, many issues should be interpreted to…

Mobile applications (apps) have become deeply personal, constantly demanding access to privacy-sensitive information in exchange for more personalized user experiences. Such privacy-invading practices have generated major multidimensional…

软件工程 · 计算机科学 2019-10-10 Fahimeh Ebrahimi , Miroslav Tushev , Anas Mahmoud

With over 50 billion downloads and more than 1.3 million apps in the Google official market, Android has continued to gain popularity amongst smartphone users worldwide. At the same time there has been a rise in malware targeting the…

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

Although mobile ad frauds have been widespread, state-of-the-art approaches in the literature have mainly focused on detecting the so-called static placement frauds, where only a single UI state is involved and can be identified based on…

密码学与安全 · 计算机科学 2018-06-14 Feng Dong , Haoyu Wang , Li Li , Yao Guo , Tegawende F. Bissyande , Tianming Liu , Guoai Xu , Jacques Klein