NeuCheck: A more practical Ethereum smart contract security analysis tool-Reference-Cited by-同舟云学术

NeuCheck: A more practical Ethereum smart contract security analysis tool

Published:2019-08-28 Issue:10 Volume:51 Page:2065-2084
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw: Pract Exper

Author:

Lu Ning¹²^ORCID,Wang Bin¹^ORCID,Zhang Yongxin¹,Shi Wenbo¹,Esposito Christian³

Affiliation:

1. College of Computer Science and Engineering Northeastern University Shenyang China

2. School of Computer Science and Technology Xidian University Xi'an China

3. Department of Computer Science University of Salerno Fisciano Italy

Funder

National Natural Science Foundation of China

Fundamental Research Funds for the Central Universities

China Postdoctoral Science Foundation

Publisher

Wiley

Subject

Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.2745

Reference42 articles.

1. NakamotoS.Bitcoin: a peer‐to‐peer electronic cash system.2008.

2. Ethereum Foundation.Ethereum's white paper.2014.https://github.com/ethereum/wiki/wiki/White-Paper

3. Dice2win.2018.http://blogs.360.cn/post/Fairness_Analysis_of_Dice2win_EN.html

4. King of Ether.2016.https://github.com/kieranelby/KingOfTheEtherThrone/blob/v0.4.0/contractsKingOfTheEtherThrone.sol

5. ‘Accidental’ bug may have frozen $280 million worth of digital coin ether in a cryptocurrency wallet.2017.https://www.cnbc.com/2017/11/08/accidental-bug-may-have-frozen-280-worth-of-ether-on-parity-wallet.html

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

1. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

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

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

4. OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities;Empirical Software Engineering;2024-06-18

5. A comprehensive survey of smart contract security: State of the art and research directions;Journal of Network and Computer Applications;2024-06