Author:
Grech Neville,Brent Lexi,Scholz Bernhard,Smaragdakis Yannis
Cited by
78 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30
4. Angels or demons: investigating and detecting decentralized financial traps on ethereum smart contracts;Automated Software Engineering;2024-07-29
5. EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM;Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2024-06-20