3 citations · 5 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.CR2024★ 1 cited
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
Shihao Xia, Mengting He, Linhai Song +1
There is a huge demand to ensure the compliance of smart contracts listed on blockchain platforms to safety and economic standards. Today, manual efforts in the form of auditing ar…
cs.CR2024★ 1 cited
AuditGPT: Auditing Smart Contracts with ChatGPT
Shihao Xia, Shuai Shao, Mengting He +3
To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each containing a set of rules to guide the behaviors of s…
cs.SE2024★ 3 cited
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
Mengting He, Shihao Xia, Boqin Qin +4
The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee called gas fee for its computation and data storage. When programmers develop smart contracts…