activity
20112026
most citedDEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

160 citations · 1.2k across the 101 of their papers we have counts for

collaborators
Showing 2024Show all

13 papers · 1 filter

cs.SE2024

FDI: Attack Neural Code Generation Systems through User Feedback Channel

Zhensu Sun, Xiaoning Du, Xiapu Luo +3

Neural code generation systems have recently attracted increasing attention to improve developer productivity and speed up software development. Typically, these systems maintain a…

cs.CR2024★ 1 cited

A Simulation Framework for Electromagnetic Signal Injection Attacks on Image Sensors

Youqian Zhang, MK Michael Cheung, Chunxi Yang +6

Image sensors are fundamental to many intelligent systems, allowing visual perception and AI-driven decision-making. However, their integrity can be compromised by electromagnetic…

cs.CR2024

Understanding Impacts of Electromagnetic Signal Injection Attacks on Object Detection

Youqian Zhang, Chunxi Yang, Eugene Y. Fu +7

Object detection can localize and identify objects in images, and it is extensively employed in critical multimedia applications such as security surveillance and autonomous drivin…

cs.CR2024★ 9 cited

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models

Peter Ince, Xiapu Luo, Jiangshan Yu +2

In this paper, we test the hypothesis that although OpenAI's GPT-4 performs well generally, we can fine-tune open-source models to outperform GPT-4 in smart contract vulnerability…

cs.CR2024★ 9 cited

Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation

Zheyuan He, Zihao Li, Ao Qiao +6

Blockchains, with intricate architectures, encompass various components, e.g., consensus network, smart contracts, decentralized applications, and auxiliary services. While offerin…

cs.CR2024

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts

Tianle Sun, Ningyu He, Jiang Xiao +3

In Ethereum, the practice of verifying the validity of the passed addresses is a common practice, which is a crucial step to ensure the secure execution of smart contracts. Vulnera…

cs.SE2024★ 5 cited

Demystifying the DAO Governance Process

Junjie Ma, Muhui Jiang, Jinan Jiang +5

Decentralized Autonomous Organization (DAO) becomes a popular governance solution for decentralized applications (dApps) to achieve decentralized governance. In the DAO, no single…

cs.SE2024

LLM-CompDroid: Repairing Configuration Compatibility Bugs in Android Apps with Pre-trained Large Language Models

Zhijie Liu, Yutian Tang, Meiyun Li +4

XML configurations are integral to the Android development framework, particularly in the realm of UI display. However, these configurations can introduce compatibility issues (bug…

cs.SE2024★ 2 cited

An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives

Hanyang Guo, Hong-Ning Dai, Xiapu Luo +3

Although Virtual Reality (VR) has accelerated its prevalent adoption in emerging metaverse applications, it is not a fundamentally new technology. On one hand, most VR operating sy…

cs.SE2024★ 1 cited

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers

Shuohan Wu, Zihao Li, Luyi Yan +5

Given the growing importance of smart contracts in various applications, ensuring their security and reliability is critical. Fuzzing, an effective vulnerability detection techniqu…

cs.CR2024★ 1 cited

MalModel: Hiding Malicious Payload in Mobile Deep Learning Models with Black-box Backdoor Attack

Jiayi Hua, Kailong Wang, Meizhen Wang +3

Mobile malware has become one of the most critical security threats in the era of ubiquitous mobile computing. Despite the intensive efforts from security experts to counteract it,…

cs.CR2024★ 2 cited

The Devil Behind the Mirror: Tracking the Campaigns of Cryptocurrency Abuses on the Dark Web

Pengcheng Xia, Zhou Yu, Kailong Wang +6

The dark web has emerged as the state-of-the-art solution for enhanced anonymity. Just like a double-edged sword, it also inadvertently becomes the safety net and breeding ground f…

cs.SE2024★ 2 cited

SliceLocator: Locating Vulnerable Statements with Graph-based Detectors

Baijun Cheng, Kailong Wang, Cuiyun Gao +5

Vulnerability detection is a crucial component in the software development lifecycle. Existing vulnerability detectors, especially those based on deep learning (DL) models, have ac…