Finding The Greedy, Prodigal, and Suicidal Contracts at Scale-Reference-Cited by-同舟云学术

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Published:2018-12-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 34th Annual Computer Security Applications Conference
language:
Short-container-title:

Author:

Nikolić Ivica¹,Kolluri Aashish¹,Sergey Ilya²,Saxena Prateek¹,Hobor Aquinas³

Affiliation:

1. School of Computing, NUS, Singapore

2. University College London, United Kingdom

3. Yale-NUS College, School of Computing, NUS, Singapore

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3274694.3274743

Reference43 articles.

1. Anthony Akentiev. 2018. Parity Multisig Github. https://github.com/paritytech/parity/issues/6995 Anthony Akentiev. 2018. Parity Multisig Github. https://github.com/paritytech/parity/issues/6995

2. JD Alois. 2017. Ethereum Parity Hack May Impact ETH 500 000 or $146 Million. JD Alois. 2017. Ethereum Parity Hack May Impact ETH 500 000 or $146 Million.

3. Sidney Amani Myriam Bégel Maksym Bortin and Mark Staples. 2018. Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL. In CPP. ACM 66--77. 10.1145/3167084 Sidney Amani Myriam Bégel Maksym Bortin and Mark Staples. 2018. Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL. In CPP. ACM 66--77. 10.1145/3167084

4. A Survey of Attacks on Ethereum Smart Contracts (SoK)

5. Massimo Bartoletti Salvatore Carta Tiziana Cimoli and Roberto Saia. 2017. Dissecting Ponzi schemes on Ethereum: identification analysis and impact. CoRR abs/1703.03779 (2017). Massimo Bartoletti Salvatore Carta Tiziana Cimoli and Roberto Saia. 2017. Dissecting Ponzi schemes on Ethereum: identification analysis and impact. CoRR abs/1703.03779 (2017).

Cited by 402 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Survey on Quality Assurance of Smart Contracts;ACM Computing Surveys;2024-09-14

2. Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. A Survey of Ethereum Smart Contract Security: Attacks and Detection;Distributed Ledger Technologies: Research and Practice;2024-09-09

5. Sligpt: A Large Language Model-Based Approach for Data Dependency Analysis on Solidity Smart Contracts;Software;2024-08-05