Survey and Analysis of Smart Contract Quality Assurance: Conclusions, Acknowledgement and References

Authors: ZHIYUAN WEI, Beijing Institute of Technology, China; JING SUN, University of Auckland, New Zealand); ZIJIAN ZHANG, XIANHAO ZHANG, XIAOXUAN YANG, and LIEHUANG ZHU, Beijing Institute of Technology, China; XIANHAO ZHANG, Beijing Institute of Technology, China; XIAOXUAN YANG, Beijing Institute of Technology, China; LIEHUANG ZHU, Beijing Institute of Technology, China.

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, and Gerardo Schneider. 2019. Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. In Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers . Springer, 228–243.

https://doi.org/10.1109/DAPPCON. 2019.00018 Imran Ashraf, Xiaoxue Ma, Bo Jiang, and Wing Kwong Chan. 2020. GasFuzzer: Fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities. Generic Online Detection Framework for Smart Contracts. In 27th Annual Network and Distributed System Security Symposium, NDSS 2020, San Diego, California, USA, February 23-26, 2020. The Internet Society. Ting Chen, Youzheng Feng, Zihao Li, Hao Zhou, Xiapu Luo, Xiaoqi Li, Xiuzhuo Xiao, Jiachi Chen, and Xiaosong Zhang. 2021. GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts.

, 158–163. enzymefinance. 2018. oyente. https://github.com/enzymefinance/oyente Shayan Eskandari, Seyedehmahsa Moosavi, and Jeremy Clark. 2019. SoK: Transparent Dishonesty: Front-Running Attacks on Blockchain. In Financial Cryptography and Data Security - FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers . Springer, 170–189. eth sri. 2018. securify2. https://github.com/eth-sri/securify2 Samuel Falkon. 2017.

Security Symposium, International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. ACM, 259–269. Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan, Yang Liu, and Jun Sun. 2020. Semantic understanding of smart contracts: Executable operational semantics of solidity. In 2020

Security 2018, Baltimore, MD, USA, August 15-17, 2018. Open J. Comput. Soc. 1 , 295–306. Yuwei Li, Shouling Ji, Yuan Chen, Sizhuang Liang, Wei-Han Lee, Yueyao Chen, Chenyang Lyu, Chunming Wu, Raheem Beyah, Peng Cheng, Kangjie Lu, and Ting Wang. 2021.

Coin Coin Latest News, Coin Coin Headlines

Similar News:You can also read news stories similar to this one that we have collected from other news sources.

Survey and Analysis of Smart Contract Quality Assurance: Overview of Smart ContractsExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »

Survey and Analysis of Smart Contract Quality Assurance: Vulnerability in Smart ContractsExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »

Survey and Analysis of Smart Contract Quality Assurance: Attacks on Smart ContractsExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »

Survey and Analysis of Smart Contract Quality Assurance: Defense MethodologiesExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »

Survey and Analysis of Smart Contract Quality Assurance: EvaluationExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »

Survey and Analysis of Smart Contract Quality Assurance: Abstract and IntroductionExplore vulnerabilities, attacks, defenses, and tool evaluation in smart contracts to enhance security and reliability in blockchain applications.
Source: hackernoon - 🏆 532. / 51 Read more »