Cited By
View all- Wei GXie DZhang WYuan YZhang Z(2024)Consolidating Smart Contracts with Behavioral ContractsProceedings of the ACM on Programming Languages10.1145/36564168:PLDI(965-989)Online publication date: 20-Jun-2024
- Khan ZNamin A(2024)A Survey of Vulnerability Detection Techniques by Smart Contract ToolsIEEE Access10.1109/ACCESS.2024.340162312(70870-70910)Online publication date: 2024
- Huang RShen QWang YWu YWu ZLuo XRuan A(2024)ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contractsJournal of Systems and Software10.1016/j.jss.2024.112107216(112107)Online publication date: Oct-2024
- Show More Cited By