Cited By
View all- Jin JZhan WLi HDing YLi J(2024)A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model CheckingMathematics10.3390/math1215243112:15(2431)Online publication date: 5-Aug-2024
- Wu SLi ZYan LChen WJiang MWang CLuo XZhou HRoychoudhury APaiva AAbreu RStorey M(2024)Are We There Yet? Unraveling the State-of-the-Art Smart Contract FuzzersProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639152(1-13)Online publication date: 20-May-2024
- Yuan BZhang CRen JChen QXu BZhang QLi ZZou DZhang FJin H(2024)Toward Automated Attack Discovery in SDN Controllers Through Formal VerificationIEEE Transactions on Network and Service Management10.1109/TNSM.2024.338640421:3(3636-3655)Online publication date: Jun-2024
- Show More Cited By