160 citations · 267 across the 10 of their papers we have counts for
11 papers
When Large Language Models Meet UAV Projects: An Empirical Study from Developers' Perspective
Yihua Chen, Xingle Que, Jiashuo Zhang +4
In recent years, unmanned aerial vehicles (UAVs) have become increasingly popular in our daily lives and have attracted significant research interest in software engineering. At th…
Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
Hao Song, Yiming Shen, Wenxuan Luo +6
The Model Context Protocol (MCP) is an emerging standard designed to enable seamless interaction between Large Language Model (LLM) applications and external tools or resources. Wi…
Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
Hao Song, Teng Li, Jiachi Chen +6
The Open Network (TON), designed to support Telegram's extensive user base of hundreds of millions, has garnered considerable attention since its launch in 2022. FunC is the most p…
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen +5
Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been utilized in over 10% of E…
Smart Contract Security: a Practitioners' Perspective
Zhiyuan Wan, Xin Xia, David Lo +3
Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart…
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Jiachi Chen
Smart contracts are Turing-complete programs running on the blockchain. They cannot be modified, even when bugs are detected. The Selfdestruct function is the only way to destroy a…
DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
Jiachi Chen, Xin Xia, David Lo +3
Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts…
Maintaining Smart Contracts on Ethereum: Issues, Techniques, and Future Challenges
Jiachi Chen, Xin Xia, David Lo +2
Software development is a very broad activity that captures the entire life cycle of a software, which includes designing, programming, maintenance and so on. In this study, we foc…
Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum
Jiachi Chen, Xin Xia, David Lo +1
The selfdestruct function is provided by Ethereum smart contracts to destroy a contract on the blockchain system. However, it is a double-edged sword for developers. On the one han…
Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems
Guenter Hesse, Christoph Matthies, Kelvin Glass +2
With the demand to process ever-growing data volumes, a variety of new data stream processing frameworks have been developed. Moving an implementation from one such system to anoth…
An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
Ting Chen, Xiaoqi Li, Ying Wang +5
The gas mechanism in Ethereum charges the execution of every operation to ensure that smart contracts running in EVM (Ethereum Virtual Machine) will be eventually terminated. Faili…