A Mechanism to Detect and Prevent Ethereum Blockchain Smart Contract Reentrancy Attacks
暂无分享,去创建一个
Paul A. Watters | A. S. M. Kayes | Ayman Alkhalifah | Alex Ng | P. Watters | A. Kayes | Alex Ng | Ayman Alkhalifah
[1] Sophia Drossopoulou,et al. Writing safe smart contracts in Flint , 2018, Programming.
[2] Tilo Müller,et al. Evaluating Spread of ‘Gasless Send’ in Ethereum Smart Contracts , 2019, 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
[3] Jing Liu,et al. A Survey on Security Verification of Blockchain Smart Contracts , 2019, IEEE Access.
[4] Alexander Mense,et al. Security Vulnerabilities in Ethereum Smart Contracts , 2018, iiWAS.
[5] P. Watters,et al. An Empirical Analysis of Blockchain Cybersecurity Incidents , 2019, 2019 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE).
[6] Michael J. Coblenz. Obsidian: A Safer Blockchain Programming Language , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
[7] A Taxonomy of Blockchain Threats and Vulnerabilities , 2020 .
[8] Huashan Chen,et al. A Survey on Ethereum Systems Security , 2019, ACM Comput. Surv..
[9] Sergei Tikhomirov,et al. SmartCheck: Static Analysis of Ethereum Smart Contracts , 2018, 2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB).
[10] Manar H. Alalfi,et al. Reentrancy Vulnerability Identification in Ethereum Smart Contracts , 2020, 2020 IEEE International Workshop on Blockchain Oriented Software Engineering (IWBOSE).
[11] Kung Chen,et al. Modularizing Cross-Cutting Concerns with Aspect-Oriented Extensions for Solidity , 2019, 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON).
[12] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[13] Steven Stewart,et al. MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract , 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
[14] Petar Tsankov,et al. Securify: Practical Security Analysis of Smart Contracts , 2018, CCS.
[15] JongHyup Lee,et al. Patch Transporter: Incentivized, Decentralized Software Patch System for WSN and IoT Environments , 2018, Sensors.