Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode-Reference-Cited by-同舟云学术

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Pan Yu¹,Xu Zhichao¹,Li Levi Taiji¹,Yang Yunhe¹,Zhang Mu¹

Affiliation:

1. University of Utah, USA

Funder

NSF (National Science Foundation)

DARPA

Cisco

USHE Deep Technology Initiative Grant

Publisher

ACM

Link

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

Reference67 articles.

1. 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 ).

2. 2021. Slither the Solidity source analyzer. https://github.com/crytic/slither. ( 2021 ). 2021. Slither the Solidity source analyzer. https://github.com/crytic/slither. ( 2021 ).

3. 2021. The Ethereum Blockchain Explorer. https://etherscan.io/. ( 2021 ). 2021. The Ethereum Blockchain Explorer. https://etherscan.io/. ( 2021 ).

4. 2022. Compound. ( 2022 ). https://compound.finance/ 2022. Compound. ( 2022 ). https://compound.finance/

5. 2022. Deep Graph Library. https://www.dgl.ai/. ( 2022 ). 2022. Deep Graph Library. https://www.dgl.ai/. ( 2022 ).

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

1. SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach;Proceedings of the ACM on Software Engineering;2024-07-12

2. An Optimized Blockchain Model for Secure and Efficient Data Management in Internet of Things*;2024 IEEE International Conference on Information Technology, Electronics and Intelligent Communication Systems (ICITEICS);2024-06-28