1. 2022. Octopus. https://github.com/FuzzingLabs/octopus. 2022. Octopus. https://github.com/FuzzingLabs/octopus.
2. Miltiadis Allamanis , Marc Brockschmidt , and Mahmoud Khademi . 2018 . Learning to Represent Programs with Graphs . In International Conference on Learning Representations. Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In International Conference on Learning Representations.
3. A Survey of Attacks on Ethereum Smart Contracts (SoK)
4. Formal Verification of Smart Contracts
5. A survey on ethereum systems security: Vulnerabilities, attacks, and defenses;Chen Huashan;ACM Computing Surveys (CSUR),2020