214 citations · 935 across the 39 of their papers we have counts for
6 papers · 1 filter
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…
Track and Trace: Automatically Uncovering Cross-chain Transactions in the Multi-blockchain Ecosystems
Dan Lin, Ziye Zheng, Jiajing Wu +5
Cross-chain technology enables seamless asset transfer and message-passing within decentralized finance (DeFi) ecosystems, facilitating multi-chain coexistence in the current block…
Definition and Detection of Centralization Defects in Smart Contracts
Zewei Lin, Jiachi Chen, Jiajing Wu +2
In recent years, security incidents stemming from centralization defects in smart contracts have led to substantial financial losses. A centralization defect refers to any error, f…
CONNECTOR: Enhancing the Traceability of Decentralized Bridge Applications via Automatic Cross-chain Transaction Association
Dan Lin, Jiajing Wu, Yuxin Su +5
Decentralized bridge applications are important software that connects various blockchains and facilitates cross-chain asset transfer in the decentralized finance (DeFi) ecosystem…
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
Zeqin Liao, Yuhong Nan, Henglong Liang +4
With the increasing popularity of blockchain, different blockchain platforms coexist in the ecosystem (e.g., Ethereum, BNB, EOSIO, etc.), which prompts the high demand for cross-ch…
CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
Zewei Lin, Jiachi Chen, Zibin Zheng +3
In recent years, Decentralized Finance (DeFi) grows rapidly due to the development of blockchain technology and smart contracts. As of March 2023, the estimated global cryptocurren…