Affiliation:
1. Sun Yat-sen University, China
2. WeBank, China
Funder
the National Key R\&D Program of China
the National Natural Science Foundation of China
Special Projects in Key Fields of Universities in Guangdong Province
the Fundamental Research Funds for the Central Universities, Sun Yat-sen University
the WeBankScholars Program
Reference53 articles.
1. Priyanka Bose , Dipanjan Das , Yanju Chen , Yu Feng , Christopher Kruegel , and Giovanni Vigna . 2022 . Sailfish: Vetting smart contract state-inconsistency bugs in seconds . In 2022 IEEE Symposium on Security and Privacy (SP). 161–178 . Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, and Giovanni Vigna. 2022. Sailfish: Vetting smart contract state-inconsistency bugs in seconds. In 2022 IEEE Symposium on Security and Privacy (SP). 161–178.
2. Ethainter: a smart contract security analyzer for composite vulnerabilities
3. Decentralized Applications: The Blockchain-Empowered Software System
4. Defectchecker: Automated smart contract defect detection by analyzing evm bytecode;Chen Jiachi;IEEE Transactions on Software Engineering,2021
5. TokenScope
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11