activity
20232026
most citedSmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis

28 citations · 70 across the 20 of their papers we have counts for

collaborators
Showing 2025Show all

5 papers · 1 filter

cs.SE2025

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse

Zeqin Liao, Yuhong Nan, Zixu Gao +4

Developers of smart contracts pervasively reuse subcontracts to improve development efficiency. Like any program language, such subcontract reuse may unexpectedly include, or intro…

cs.SE2025

An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs

Zeqin Liao, Zibin Zheng, Peifan Reng +5

Embodied Artificial Intelligence Robots (EAIR) is an emerging and rapidly evolving technological domain. Ensuring their program correctness is fundamental to their successful deplo…

cs.CR2025

Your Mailbox Is Mine: Prompt Injection Attacks Against Real-World LLM Email Agents

Jiangrong Wu, Yuhong Nan, Jianliang Wu +4

Large Language Model (LLM) email agents have emerged as pivotal autonomous assistants, serving as a critical root of trust for digital identity by managing sensitive communications…

cs.SE2025

Understanding the Sneaky Patterns of Pop-up Windows in the Mobile Ecosystem

Dongpeng Wu, Yuhong Nan, Shaojiang Wang +3

In mobile applications, Pop-up window (PoW) plays a crucial role in improving user experience, guiding user actions, and delivering key information. Unfortunately, the excessive us…

cs.SE2025

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery

Zeqin Liao, Yuhong Nan, Zixu Gao +4

Decompiler is a specialized type of reverse engineering tool extensively employed in program analysis tasks, particularly in program comprehension and vulnerability detection. Howe…