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 2023Show all

20 papers · 1 filter

cs.CR2023★ 36 cited

Demystifying DeFi MEV Activities in Flashbots Bundle

Zihao Li, Jianfeng Li, Zheyuan He +6

Decentralized Finance, mushrooming in permissionless blockchains, has attracted a recent surge in popularity. Due to the transparency of permissionless blockchains, opportunistic t…

cs.CR2023★ 1 cited

The Dark Side of NFTs: A Large-Scale Empirical Study of Wash Trading

Shijian Chen, Jiachi Chen, Jiangshan Yu +2

NFTs (Non-Fungible Tokens) have seen significant growth since they first captured public attention in 2021. However, the NFT market is plagued by fake transactions and economic bub…

cs.CV2023

Mesh Watermark Removal Attack and Mitigation: A Novel Perspective of Function Space

Xingyu Zhu, Guanhui Ye, Chengdong Dong +3

Mesh watermark embeds secret messages in 3D meshes and decodes the message from watermarked meshes for ownership verification. Current watermarking methods directly hide secret mes…

cs.SE2023

VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses

Yu Nong, Richard Fang, Guangbei Yi +4

Accompanying the successes of learning-based defensive software vulnerability analyses is the lack of large and quality sets of labeled vulnerable program samples, which impedes fu…

cs.SE2023

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation

Zhichao Zhou, Yuming Zhou, Chunrong Fang +4

Unit testing is critical to the software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST…

cs.LG2023

Graph Anomaly Detection at Group Level: A Topology Pattern Enhanced Unsupervised Approach

Xing Ai, Jialong Zhou, Yulin Zhu +4

Graph anomaly detection (GAD) has achieved success and has been widely applied in various domains, such as fraud detection, cybersecurity, finance security, and biochemistry. Howev…

cs.SE2023★ 119 cited

Large Language Models for Software Engineering: A Systematic Literature Review

Xinyi Hou, Yanjie Zhao, Yue Liu +7

Large Language Models (LLMs) have significantly impacted numerous domains, including Software Engineering (SE). Many recent publications have explored LLMs applied to various SE ta…

cs.SE2023★ 3 cited

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT

Zhijie Liu, Yutian Tang, Xiapu Luo +2

Large language models (LLMs) have demonstrated impressive capabilities across various NLP tasks. Additionally, LLMs are also highly valuable in supporting software engineering task…

cs.LG2023★ 1 cited

TFE-GNN: A Temporal Fusion Encoder Using Graph Neural Networks for Fine-grained Encrypted Traffic Classification

Haozhen Zhang, Le Yu, Xi Xiao +4

Encrypted traffic classification is receiving widespread attention from researchers and industrial companies. However, the existing methods only extract flow-level features, failin…

cs.CR2023★ 1 cited

Are we there yet? An Industrial Viewpoint on Provenance-based Endpoint Detection and Response Tools

Feng Dong, Shaofei Li, Peng Jiang +8

Provenance-Based Endpoint Detection and Response (P-EDR) systems are deemed crucial for future APT defenses. Despite the fact that numerous new techniques to improve P-EDR systems…

cs.SE2023★ 9 cited

ChatGPT vs SBST: A Comparative Assessment of Unit Test Suite Generation

Yutian Tang, Zhijie Liu, Zhichao Zhou +1

Recent advancements in large language models (LLMs) have demonstrated exceptional success in a wide range of general domain tasks, such as question answering and following instruct…

cs.CR2023

Abusing the Ethereum Smart Contract Verification Services for Fun and Profit

Pengxiang Ma, Ningyu He, Yuhua Huang +2

Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds of security issues in smart contracts, the smart contract verification is urgently neede…

cs.CR2023★ 1 cited

Rethinking Mesh Watermark: Towards Highly Robust and Adaptable Deep 3D Mesh Watermarking

Xingyu Zhu, Guanhui Ye, Xiapu Luo +1

The goal of 3D mesh watermarking is to embed the message in 3D meshes that can withstand various attacks imperceptibly and reconstruct the message accurately from watermarked meshe…

cs.CR2023★ 1 cited

On the Security Risks of Knowledge Graph Reasoning

Zhaohan Xi, Tianyu Du, Changjiang Li +6

Knowledge graph reasoning (KGR) -- answering complex logical queries over large knowledge graphs -- represents an important artificial intelligence task, entailing a range of appli…

cs.CR2023★ 35 cited

SigRec: Automatic Recovery of Function Signatures in Smart Contracts

Ting Chen, Zihao Li, Xiapu Luo +9

Millions of smart contracts have been deployed onto Ethereum for providing various services, whose functions can be invoked. For this purpose, the caller needs to know the function…

cs.SE2023★ 6 cited

Black-box Adversarial Example Attack towards FCG Based Android Malware Detection under Incomplete Feature Information

Heng Li, Zhang Cheng, Bang Wu +4

The function call graph (FCG) based Android malware detection methods have recently attracted increasing attention due to their promising performance. However, these methods are su…

cs.CR2023

Exploring Unconfirmed Transactions for Effective Bitcoin Address Clustering

Kai Wang, Maike Tong, Changhao Wu +4

The development of clustering heuristics has demonstrated that Bitcoin is not completely anonymous. Currently, existing clustering heuristics only consider confirmed transactions r…

cs.CR2023★ 80 cited

Security Defense For Smart Contracts: A Comprehensive Survey

Nikolay Ivanov, Chenning Li, Qiben Yan +3

The blockchain technology has been used for recording state transitions of smart contracts - decentralized applications that can be invoked through external transactions. Smart con…

cs.SE2023★ 3 cited

Characterizing and Detecting WebAssembly Runtime Bugs

Yixuan Zhang, Shangtong Cao, Haoyu Wang +6

WebAssembly (abbreviated WASM) has emerged as a promising language of the Web and also been used for a wide spectrum of software applications such as mobile applications and deskto…

cs.SE2023★ 3 cited

Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps

Kaifa Zhao, Xian Zhan, Le Yu +5

The privacy of personal information has received significant attention in mobile software. Although previous researchers have designed some methods to identify the conflict between…