Author:
Zhang Yuyao,Ma Siqi,Li Juanru,Li Kailai,Nepal Surya,Gu Dawu
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Design and Implementation of Static Analyses for Tezos Smart Contracts;Distributed Ledger Technologies: Research and Practice;2024-01-29
2. The blockchain conundrum: An in‐depth examination of challenges, contributing technologies, and alternatives;Concurrency and Computation: Practice and Experience;2023-12-19
3. Blockchain Performance in Industry 4.0: Drivers, use cases, and future directions;Journal of Industrial Information Integration;2023-12
4. SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30