Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications-Reference-Cited by-同舟云学术

Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Duan Yue¹,Zhao Xin²,Pan Yu³,Li Shucheng²,Li Minghao⁴,Xu Fengyuan⁵,Zhang Mu³

Affiliation:

1. Illinois Institute of Technology & University of Ut, Chicago, IL, USA

2. Nanjing University, Nanjing, China

3. University of Utah, Salt Lake City, UT, USA

4. Harvard University, Boston, MA, USA

5. National Key Lab for Novel Software Technology, Nanjing University, Nanjing, China

Funder

Defense Advanced Research Projects Agency

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference62 articles.

1. 2020. King of the Ether Throne. https://github.com/kieranelby/KingOfTheEtherThrone/. (2020). 2020. King of the Ether Throne. https://github.com/kieranelby/KingOfTheEtherThrone/. (2020).

2. 2020. MetaMask: Brings Ethereum to your browser. https://metamask.io/. (2020). 2020. MetaMask: Brings Ethereum to your browser. https://metamask.io/. (2020).

3. 2020. Octopus: Security Analysis tool for Blockchain Smart Contracts. https: //github.com/quoscient/octopus/. (2020). 2020. Octopus: Security Analysis tool for Blockchain Smart Contracts. https: //github.com/quoscient/octopus/. (2020).

4. 2020. Stanford Log-linear Part-Of-Speech Tagger. https://nlp.stanford.edu/ software/tagger.shtml. (2020). 2020. Stanford Log-linear Part-Of-Speech Tagger. https://nlp.stanford.edu/ software/tagger.shtml. (2020).

5. 2021. Ethereum Virtual Machine Opcodes. https://ethervm.io/. (2021). 2021. Ethereum Virtual Machine Opcodes. https://ethervm.io/. (2021).

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

1. A smart contract vulnerability detection method based on deep learning with opcode sequences;Peer-to-Peer Networking and Applications;2024-06-27

2. Characterizing Ethereum Upgradable Smart Contracts and Their Security Implications;Proceedings of the ACM Web Conference 2024;2024-05-13

3. Verifying Declarative Smart Contracts;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. DAI: A Dependencies Analyzer and Installer for Solidity Smart Contracts;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

5. Opcode Sequences-Based Smart Contract Vulnerabilities Detection Using Deep Learning;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01