1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
Jianzhong Su, Jiachi Chen, Zhiyuan Fang +3
As decentralized applications (DApps) proliferate, the increased complexity and usage of smart contracts have heightened their susceptibility to security incidents and financial lo…
cs.SE2023★ 1 cited
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Zibin Zheng, Neng Zhang, Jianzhong Su +3
Smart contracts are programs deployed on a blockchain and are immutable once deployed. Reentrancy, one of the most important vulnerabilities in smart contracts, has caused millions…