Publisher
Springer Nature Switzerland
Reference25 articles.
1. Albert, E., Correas, J., Gordillo, P., Román-Díez, A.H.-C.G., Rubio, A.: Analyzing smart contracts: from EVM to a sound control-flow graph. arXiv preprint arXiv:2004.14437 (2020)
2. Lecture Notes in Computer Science;E Albert,2018
3. Albert, E., Gordillo, P., Rubio, A., Sergey, I.: Running on fumes-preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis. arXiv preprint arXiv:1811.10403 (2018)
4. Alharby, M., Aldweesh, A., Moorsel, A.V.: Blockchain-based smart contracts: a systematic mapping study of academic research (2018). In: 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB), pp. 1–6 IEEE (2018)
5. Amani, S., Bégel, M., Bortin, M., Staples, M.: Towards verifying Ethereum smart contract bytecode in isabelle/hol. In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 66–77 (2018)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SimBPG: A Comprehensive Similarity Evaluation Metric for Business Process Graphs;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
2. Study on Unknown Bugs for Smart Contracts using Echidna;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
3. An Efficient Energy Consumption of a Miner Node in a Local Blockchain Network;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
4. An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
5. PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22