What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?-Reference-Cited by-同舟云学术

What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?

Published:2020 Issue: Volume: Page:634-653
ISSN:0302-9743
Container-title:Financial Cryptography and Data Security
language:
Short-container-title:

Author:

Groce Alex,Feist Josselin,Grieco Gustavo,Colburn Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-51280-4_34

Reference32 articles.

1. Lecture Notes in Computer Science;N Atzei,2017

2. Bragagnolo, S.: On contract popularity analysis. https://github.com/smartanvil/smartanvil.github.io/blob/master/_posts/2018-03-14-on-contract-popularity-analysis.md

3. Brent, L., et al.: Vandal: a scalable security analysis framework for smart contracts. CoRR, abs/1809.03981 (2018)

4. Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2013). https://github.com/ethereum/wiki/wiki/White-Paper

5. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming (ICFP), pp. 268–279 (2000)

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

1. Fortifying Decentralized Governance: Introducing Decentralized Autonomous Verification (DAVe) for Decentralized Autonomous Organization (DAOs) Security;2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES);2024-07-17

2. Smart contract fuzzy testing vulnerability detection method based on MDP and simulated annealing;Third International Conference on Electronic Information Engineering and Data Processing (EIEDP 2024);2024-07-05

3. SmartInv: Multimodal Learning for Smart Contract Invariant Inference;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

4. A refinement-based approach to safe smart contract deployment and evolution;Software and Systems Modeling;2024-01-25

5. Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Agricultural Blockchains;2023-12-22