Validation and Verification of Smart Contracts: A Research Agenda
Open accessAbstract
Smart contracts might encode legal contracts written in natural language to represent the contracting parties' shared understandings and intentions. The issues and research challenges involved in the validation and verification of smart contracts, particularly those running over blockchains and distributed ledgers, are explored.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
Such integration allows intelligent decentralized autonomous agents (or DAOs) to validate data, value, and asset transfers among numerous authorities automatically and quickly.
“Such integration allows intelligent decentralized autonomous agents (or DAOs) to validate data, value, and asset transfers among numerous authorities automatically and quickly”
From Blockchain and Artificial Intelligence Technology in E-Health (2021) · cites this paper as Magazzeni et al. 2017
Cites
Austin, J. L. (1975) · doi:10.1093/acprof:oso/9780198245537.001.0001 · Cited by 21,496 · see citing works
Rational Ritual: Culture, Co-ordination and Common Knowledge
Chwe, M. S., & Rouchier, J. (2001) · Project Muse (Johns Hopkins University) · Cited by 770 · see citing works
Logics of public communications
Plaza, J. A. (2007) · Synthese · doi:10.1007/s11229-007-9168-7 · Cited by 567 · see citing works
Smart Contract Templates: foundations, design landscape and research directions
Clack, C. D., Bakshi, V. A., & Braine, L. (2016) · arXiv · doi:10.48550/arxiv.1608.00771 · Cited by 277 · see citing works
Dialogue Games for Agent Argumentation
McBurney, P., & Parsons, S. (2009) · Springer eBooks · doi:10.1007/978-0-387-98197-0_13 · Cited by 133 · see citing works
Self-citationProcess diagnostics using trace alignment: Opportunities, issues, and challenges
Bose, R. P. J. C., & van der Aalst, W. M. P. (2011) · Information Systems · doi:10.1016/j.is.2011.08.003 · Cited by 130 · see citing works
Communicative Act Library Specification
Fipa, F. (2002) · Medical Entomology and Zoology · Cited by 120 · see citing works
Smart Contract Templates: essential requirements and design optionsPreprint
Clack, C. D., Bakshi, V. A., & Braine, L. (2016) · arXiv (Cornell University) · doi:10.48550/arxiv.1612.04496 · Cited by 70 · see citing works
Towards temporal verification of swarm robotic systems
Dixon, C., Winfield, A. F. T., Fisher, M., & Zeng, C. (2012) · Robotics and Autonomous Systems · doi:10.1016/j.robot.2012.03.003 · Cited by 60 · see citing works
Fifteen Years of Formal Property Verification in Intel
Fix, L. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-69850-0_8 · Cited by 52 · see citing works
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Gordon, T. F. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-85569-9_11 · Cited by 44 · see citing works
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle
Ezekiel, J., Lomuscio, A. R., Molnar, L., Veres, S. M., & Pebody, M. (2011) · ePrints Soton (University of Southampton) · Cited by 31 · see citing works
Toward a general theory of document modeling
Lauritsen, M., & Gordon, T. F. (2009) · International Conference on Artificial Intelligence and Law · doi:10.1145/1568234.1568257 · Cited by 13 · see citing works
A declarative approach for secure and robust routing
Kodeswaran, P., Joshi, A., Finin, T., & Perich, F. (2010) · ACM Workshop on Assurable and Usable Security Configuration (SafeConfig) · doi:10.1145/1866898.1866906 · Cited by 2 · see citing works
Flagged first, then by citations
Cited by
Sorted by citations
Blockchain for AI: review and open research challenges
Salah, K., Rehman, M. H. U., Nizamuddin, N., & Al-Fuqaha, A. (2019) · IEEE Access · doi:10.1109/access.2018.2890507 · Cited by 1,001 · see citing works
Smart Contract Development: Challenges and Opportunities
Zou, W., Lo, D., Kochhar, P. S., Le, X.-B. D., Xia, X., Feng, Y., Chen, Z., & Xu, B. (2019) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2019.2942301 · Cited by 729 · see citing works
Chang, S. E., Chen, Y., & Lu, M.-F. (2019) · Technological Forecasting and Social Change · doi:10.1016/j.techfore.2019.03.015 · Cited by 650 · see citing works
Fintechs: A literature review and research agenda
Milian, E. Z., Spínola, M. D. M., & de Carvalho, M. M. (2019) · Electronic Commerce Research and Applications · doi:10.1016/j.elerap.2019.100833 · Cited by 508 · see citing works
Chang, S. E., & Chen, Y. (2020) · IEEE Access · doi:10.1109/access.2020.2983601 · Cited by 451 · see citing works
Blockchain technology: A survey on applications and security privacy Challenges
Mohanta, B. K., Jena, D., Panda, S. S., & Sobhanayak, S. (2019) · Internet of Things · doi:10.1016/j.iot.2019.100107 · Cited by 400 · see citing works
Friedman, N., & Ormiston, J. (2021) · Technological Forecasting and Social Change · doi:10.1016/j.techfore.2021.121403 · Cited by 368 · see citing works
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
Kushwaha, S. S., Joshi, S., Singh, D., Kaur, M., & Lee, H.-N. (2022) · IEEE Access · doi:10.1109/access.2021.3140091 · Cited by 351 · see citing works
Huang, X., Xu, C., Wang, P., & Liu, H. (2018) · IEEE Access · doi:10.1109/access.2018.2812176 · Cited by 319 · see citing works
Blockchain for IoT-based smart cities: Recent advances, requirements, and future challenges
Majeed, U., Khan, L. U., Yaqoob, I., Kazmi, S. M. A., Salah, K., & Hong, C. S. (2021) · Journal of Network and Computer Applications · doi:10.1016/j.jnca.2021.103007 · Cited by 321 · see citing works
Blockchain and Artificial Intelligence Technology in E-Health
Tagde, P., Tagde, S., Bhattacharya, T., Tagde, P., Chopra, H., Akter, R., Kaushik, D., & Rahman, M. H. (2021) · Environmental Science and Pollution Research · doi:10.1007/s11356-021-16223-0 · Cited by 281 · see citing works
Smart Contracts on the Blockchain – A Bibliometric Analysis and Review
Ante, L. (2020) · Telematics and Informatics · doi:10.1016/j.tele.2020.101519 · Cited by 281 · see citing works
A Survey on Security Verification of Blockchain Smart Contracts
Liu, J., & Liu, Z. (2019) · IEEE Access · doi:10.1109/access.2019.2921624 · Cited by 261 · see citing works
Grover, P., Kar, A. K., Janssen, M., & Ilavarasan, P. V. (2019) · Enterprise Information Systems · doi:10.1080/17517575.2019.1599446 · Cited by 278 · see citing works
A Survey of Smart Contract Formal Specification and Verification
Tolmach, P., Li, Y., Lin, S., Liu, Y., & Li, Z. (2021) · ACM Computing Surveys · doi:10.1145/3464421 · Cited by 251 · see citing works
On legal contracts, imperative and declarative smart contracts, and blockchain systems
Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., & Xu, X.-W. (2018) · Artificial Intelligence and Law · doi:10.1007/s10506-018-9223-3 · Cited by 213 · see citing works
Liu, M., Yu, F. R., Teng, Y., Leung, V. C. M., & Song, M. (2019) · IEEE Transactions on Wireless Communications · doi:10.1109/twc.2018.2885266 · Cited by 233 · see citing works
Bera, B., Saha, S., Das, A. K., Kumar, N., Lorenz, P., & Alazab, M. (2020) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2020.3000576 · Cited by 211 · see citing works
Blockchain Trust Model for Malicious Node Detection in Wireless Sensor Networks
She, W., Liu, Q., Zhao, T. Q., Chen, J.-S., Wang, B., & Liu, W. (2019) · IEEE Access · doi:10.1109/access.2019.2902811 · Cited by 209 · see citing works
Blockchain for deep learning: review and open challenges
Shafay, M., Ahmad, R. W., Salah, K., Yaqoob, I., Jayaraman, R., & Omar, M. (2022) · Cluster Computing · doi:10.1007/s10586-022-03582-7 · Cited by 202 · see citing works
Dwivedi, S. K., Amin, R., & Vollala, S. (2020) · Journal of Information Security and Applications · doi:10.1016/j.jisa.2020.102554 · Cited by 196 · see citing works
Diffusion of blockchain technology
Grover, P., Kar, A. K., & Janssen, M. (2019) · Journal of Enterprise Information Management · doi:10.1108/jeim-06-2018-0132 · Cited by 164 · see citing works
A Sustainable Home Energy Prosumer-Chain Methodology with Energy Tags over the Blockchain
Park, L. W., Lee, S., & Chang, H. (2018) · Sustainability · doi:10.3390/su10030658 · Cited by 151 · see citing works
Analytics of social media data – State of characteristics and application
Zachlod, C., Samuel, O., Ochsner, A., & Werthmüller, S. (2022) · Journal of Business Research · doi:10.1016/j.jbusres.2022.02.016 · Cited by 172 · see citing works
A general form of smart contract for decentralized energy systems management
Thomas, L., Zhou, Y., Long, C., Wu, J., & Jenkins, N. (2019) · Nature Energy · doi:10.1038/s41560-018-0317-7 · Cited by 146 · see citing works
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on BlockchainsPreprint
Parizi, R. M., Dehghantanha, A., Choo, K. R., & Singh, A. (2018) · arXiv (Cornell University) · doi:10.48550/arxiv.1809.02702 · Cited by 158 · see citing works
Artificial intelligence and blockchain: A review
Hussain, A. A., & Al-Turjman, F. M. (2021) · Transactions on Emerging Telecommunications Technologies · doi:10.1002/ett.4268 · Cited by 135 · see citing works
Hamledari, H., & Fischer, M. A. (2021) · Automation in Construction · doi:10.1016/j.autcon.2021.103711 · Cited by 122 · see citing works
A survey on artificial intelligence assurance
Batarseh, F. A., Freeman, L., & Huang, C. (2021) · Journal Of Big Data · doi:10.1186/s40537-021-00445-7 · Cited by 117 · see citing works
Secure Social Internet of Things Based on Post-Quantum Blockchain
Yi, H. (2021) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2021.3095192 · Cited by 99 · see citing works
Homomorphic Consortium Blockchain for Smart Home System Sensitive Data Privacy Preserving
She, W., Gu, Z., Lyu, X., Liu, Q., Zhao, T. Q., & Liu, W. (2019) · IEEE Access · doi:10.1109/access.2019.2916345 · Cited by 95 · see citing works
A Secure Charging System for Electric Vehicles Based on Blockchain
Kim, M., Park, K., Yu, S., Lee, J., Park, Y., Lee, S., & Chung, B. (2019) · Sensors · doi:10.3390/s19133028 · Cited by 90 · see citing works
Drummer, D., & Neumann, D. (2020) · Journal of Information Technology · doi:10.1177/0268396220924669 · Cited by 97 · see citing works
Blockchain-integrated technologies for solving supply chain challenges
Gohil, D., & Thakker, S. V. (2021) · Modern Supply Chain Research and Applications · doi:10.1108/mscra-10-2020-0028 · Cited by 85 · see citing works
Arunmozhi, M., Venkatesh, V. G., Shi, Y., Sreedharan, V. R., & Koh, S. C. L. (2021) · International Journal of Production Research · doi:10.1080/00207543.2021.1988750 · Cited by 84 · see citing works
A Formal Verification Framework for Security Issues of Blockchain Smart Contracts
Sun, T., & Yu, W. (2020) · Electronics · doi:10.3390/electronics9020255 · Cited by 79 · see citing works
A Blockchain and AutoML Approach for Open and Automated Customer Service
Li, Z., Guo, H., Wang, W. M., Guan, Y., Barenji, A. V., Huang, G. Q., McFall, K. S., & Chen, X. (2019) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2019.2900987 · Cited by 76 · see citing works
Patwary, M. N., Nawaz, S. J., Rahman, M. A., Sharma, S. K., Rashid, M., & Barnes, S. J. (2020) · IEEE Access · doi:10.1109/access.2020.2964673 · Cited by 76 · see citing works
Blockchain-Based Traceability of Inter-organisational Business Processes
Ciccio, C. D., Cecconi, A., Mendling, J., Felix, D., Haas, D., Lilek, D., Riel, F., Rumpl, A., & Uhlig, P. (2018) · Lecture notes in business information processing · doi:10.1007/978-3-319-94214-8_4 · Cited by 75 · see citing works
Smart Supply Chain Management Using the Blockchain and Smart Contract
Turjo, M. D., Khan, M. M., Kaur, M., & Zaguia, A. (2021) · Scientific Programming · doi:10.1155/2021/6092792 · Cited by 73 · see citing works
Schlatt, V., Guggenberger, T. M., Schmid, J., & Urbach, N. (2022) · International Journal of Information Management · doi:10.1016/j.ijinfomgt.2022.102470 · Cited by 72 · see citing works
Markov processes in blockchain systems
Li, Q., Ma, J.-Y., Chang, Y.-X., Ma, F.-Q., & Hai-bo, Y. (2019) · Computational Social Networks · doi:10.1186/s40649-019-0066-1 · Cited by 69 · see citing works
Elastic and cost-effective data carrier architecture for smart contract in blockchain
Liu, X., Muhammad, K., Lloret, J., Chen, Y.-W., & Yuan, S. (2019) · Future Generation Computer Systems · doi:10.1016/j.future.2019.05.042 · Cited by 69 · see citing works
Model Checking PBFT Consensus Mechanism in Healthcare Blockchain Network
Zheng, K., Liu, Y., Dai, C., Duan, Y., & Huang, X. (2018) · International Conference on Information Technology in Medicine and Education · doi:10.1109/itme.2018.00196 · Cited by 68 · see citing works
Operational efficiency effects of blockchain technology implementation in firms
Hasan, M. R., Deng, S., Islam, M. A., & Hossain, M. Z. (2020) · Review of International Business and Strategy · doi:10.1108/ribs-05-2019-0069 · Cited by 73 · see citing works
Decentralized blockchain-based peer-to-peer energy-backed token trading for active prosumers
Mehdinejad, M., Shayanfar, H., & Mohammadi‐Ivatloo, B. (2021) · Energy · doi:10.1016/j.energy.2021.122713 · Cited by 67 · see citing works
Akrami, N. E., Hanine, M., Flores, E. S., Aray, D. G., & Ashraf, I. (2023) · IEEE Access · doi:10.1109/access.2023.3298371 · Cited by 63 · see citing works
Blockchain Applications and Institutional Trust
Smits, M., & Hulstijn, J. (2020) · Frontiers in Blockchain · doi:10.3389/fbloc.2020.00005 · Cited by 52 · see citing works
Machine Learning Algorithm for Cryptocurrencies Price Prediction
Awotunde, J. B., Ogundokun, R. O., Jimoh, R. G., Misra, S., & Aro, T. O. (2021) · Studies in Computational Intelligence · doi:10.1007/978-3-030-72236-4_17 · Cited by 58 · see citing works
Legally Enforceable Smart-Contract Languages
Dwivedi, V. K., Pattanaik, V., Deval, V., Dixit, A., Norta, A., & Draheim, D. (2021) · ACM Computing Surveys · doi:10.1145/3453475 · Cited by 62 · see citing works
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
Liu, Z., & Liu, J. (2019) · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · doi:10.1109/compsac.2019.10265 · Cited by 54 · see citing works
Sustainable blockchain-enabled services: Smart contracts
Wright, C. R., & Serguieva, A. (2017) · IEEE International Conference on Big Data (BigData) · doi:10.1109/bigdata.2017.8258452 · Cited by 49 · see citing works
Blockchain-based Wireless Sensor Network Security Through Authentication and Cluster Head Selection
Paulraj, D., Lavanya, R., Jayasudha, T., Niranjana, M. I., Daniya, T., & Shadrach, F. D. (2023) · International Conference on Integrated Circuits and Communication Systems (ICICACS) · doi:10.1109/icicacs57338.2023.10099593 · Cited by 53 · see citing works
Blockchain-Based Security and Privacy in Smart Cities
Theodorou, S., & Sklavos, N. (2018) · Elsevier eBooks · doi:10.1016/b978-0-12-815032-0.00003-2 · Cited by 47 · see citing works
Dixit, A., Deval, V., Dwivedi, V. K., Norta, A., & Draheim, D. (2022) · Journal of Industrial Information Integration · doi:10.1016/j.jii.2021.100314 · Cited by 48 · see citing works
A secure blockchain-oriented data delivery and collection scheme for 5G-enabled IoD environment
Irshad, A., Chaudhry, S. A., Ghani, A., & Bilal, M. (2021) · Computer Networks · doi:10.1016/j.comnet.2021.108219 · Cited by 43 · see citing works
Tokenfication - The potential of non-fungible tokens (NFT) for game development
Fowler, A., & Pirker, J. (2021) · Annual Symposium on Computer-Human Interaction in Play · doi:10.1145/3450337.3483501 · Cited by 39 · see citing works
A Blockchain Smart Contract Based on Light- Weighted Quantum Blind Signature
Cai, Z., Qu, J., Liu, P., & Yu, J. (2019) · IEEE Access · doi:10.1109/access.2019.2941153 · Cited by 37 · see citing works
Younus, A. M., & Raju, V. (2021) · International Journal for Quality Research · doi:10.24874/ijqr15.02-05 · Cited by 37 · see citing works
What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts
Vigliotti, M. G. (2021) · Frontiers in Blockchain · doi:10.3389/fbloc.2020.553671 · Cited by 37 · see citing works
Amjad, S., Abbas, S., Abubaker, Z., Alsharif, M. H., Jahid, A., & Javaid, N. (2022) · Sensors · doi:10.3390/s22051972 · Cited by 34 · see citing works
Mandal, S., Kar, A. K., Gupta, S., & Sivarajah, U. (2023) · Information Systems Frontiers · doi:10.1007/s10796-023-10439-w · Cited by 40 · see citing works
Securing Smart Contracts in Blockchain
Kongmanee, J., Kijsanayothin, P., & Hewett, R. (2019) · IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) · doi:10.1109/asew.2019.00032 · Cited by 32 · see citing works
Alqahtani, S., He, X., Gamble, R., & Papa, M. (2020) · Hawaii International Conference on System Sciences (HICSS) · doi:10.24251/hicss.2020.650 · Cited by 32 · see citing works
A Secure Occupational Therapy Framework for Monitoring Cancer Patients’ Quality of Life
Rahman, M. A., Rashid, M. M., Kernec, J. L., Philippe, B., Barnes, S. J., Fioranelli, F., Yang, S., Romain, O., Abbasi, Q. H., Loukas, G., et al. (2019) · Sensors · doi:10.3390/s19235258 · Cited by 32 · see citing works
A Mobile Edge Computing (MEC)-Enabled Transcoding Framework for Blockchain-Based Video Streaming
Liu, M., Teng, Y., Yu, F. R., Leung, V. C. M., & Song, M. N. (2020) · IEEE Wireless Communications · doi:10.1109/mwc.001.1800332 · Cited by 30 · see citing works
A Reliable E-commerce Business Model Using Blockchain Based Product Grading System
Yang, C., Chen, Y., Chen, S.-Y., & Wu, S.-Y. (2019) · IEEE International Conference on Big Data Analytics (ICBDA) · doi:10.1109/icbda.2019.8713204 · Cited by 29 · see citing works
Blockchain-Enabled Vehicular Ad Hoc Networks: A Systematic Literature Review
Saad, M., Khan, M. K., & Ahmad, M. B. (2022) · Sustainability · doi:10.3390/su14073919 · Cited by 28 · see citing works
Detecting the Traceability Issues in Supply chain Industries using Blockchain Technology
Babu, S., & Hemavathi, D. (2022) · International Conference on Advances in Computing, Communication and Applied Informatics (ACCAI) · doi:10.1109/accai53970.2022.9752478 · Cited by 28 · see citing works
A Blockchain-based Approach for Assessing Compliance with SLA-guaranteed IoT Services
Alzubaidi, A., Mitra, K., Patel, P., & Solaiman, E. (2020) · IEEE International Conference on Smart Internet of Things (SmartIoT) · doi:10.1109/smartiot49966.2020.00039 · Cited by 28 · see citing works
Demystifying Invariant Effectiveness for Securing Smart Contracts
Chen, Z., Liu, Y., Beillahi, S. M., Li, Y., & Long, F. (2024) · Proceedings of the ACM on software engineering. · doi:10.1145/3660786 · Cited by 26 · see citing works
Verification and Validation for data marketplaces via a blockchain and smart contracts
Serrano, W. (2022) · Blockchain Research and Applications · doi:10.1016/j.bcra.2022.100100 · Cited by 25 · see citing works
Blockchain and Deep Learning Integration for Various Application: A Review
Afaq, Y., & Manocha, A. (2023) · Journal of Computer Information Systems · doi:10.1080/08874417.2023.2173330 · Cited by 23 · see citing works
Computational Governance and Violable Contracts for Blockchain Applications
Singh, M. P., & Chopra, A. K. (2020) · Computer · doi:10.1109/mc.2019.2947372 · Cited by 21 · see citing works
A Blockchain Technology Approach for the Security and Trust of the IC Supply Chain
Kulkarni, A. R., Hazari, N. A., & Niamat, M. Y. (2019) · IEEE National Aerospace and Electronics Conference (NAECON) · doi:10.1109/naecon46414.2019.9058027 · Cited by 21 · see citing works
GSTChain: A Blockchain Network Application for the Goods and Services Tax
Pasha, S. H., Mehrotra, D., Lin, J. C., & Srivastava, G. (2021) · Journal of Circuits Systems and Computers · doi:10.1142/s0218126622500025 · Cited by 20 · see citing works
Survey on Blockchain-Enhanced Machine Learning
Ural, Ö., & Yoshigoe, K. (2023) · IEEE Access · doi:10.1109/access.2023.3344669 · Cited by 23 · see citing works
Blockchain and the Law – Legality, Law-like Characteristics, and Legal Applications
Alston, E. (2020) · Edward Elgar Publishing eBooks · doi:10.2139/ssrn.3641997 · Cited by 19 · see citing works
Liu, M., Teng, Y., Yu, F. R., Leung, V. C. M., & Song, M. N. (2020) · IEEE Transactions on Communications · doi:10.1109/tcomm.2020.2974738 · Cited by 19 · see citing works
Ogunsina, K., & DeLaurentis, D. A. (2021) · Engineering Applications of Artificial Intelligence · doi:10.1016/j.engappai.2021.104600 · Cited by 18 · see citing works
Programmable money: next-generation blockchain-based conditional payments
Weber, I. M., & Staples, M. (2022) · Digital Finance · doi:10.1007/s42521-022-00059-5 · Cited by 18 · see citing works
The participation of electric vehicles in a peer-to-peer energy-backed token market
Alsenani, T. R. (2023) · International Journal of Electrical Power & Energy Systems · doi:10.1016/j.ijepes.2023.109005 · Cited by 18 · see citing works
Peer-to-peer energy trading and smart contracting platform of community-based virtual power plant
Guo, M., Zhang, K., Wang, S., Xia, J., Wang, X.-H., Lan, L., & Wang, L. (2023) · Frontiers in Energy Research · doi:10.3389/fenrg.2022.1007694 · Cited by 17 · see citing works
Software verification challenges in the blockchain ecosystem
Olivieri, L., & Spoto, F. (2024) · International Journal on Software Tools for Technology Transfer · doi:10.1007/s10009-024-00758-x · Cited by 17 · see citing works
Blockchain Potentials for the Game Industry: A Review
Jaferian, G., Ramezani, D., & Wagner, M. G. (2024) · Games and Culture · doi:10.1177/15554120231222578 · Cited by 17 · see citing works
Alt, R., & Gräser, M. (2025) · Electronic Markets · doi:10.1007/s12525-025-00784-w · Cited by 15 · see citing works
Rethinking Blockchain Technologies for the Maritime Industry: An Overview of the Current Landscape
Kim, H., Xiao, Z., Zhang, X., Fu, X., & Qin, Z. (2024) · Future Internet · doi:10.3390/fi16120454 · Cited by 15 · see citing works
Challenges and Research Directions for Blockchains in the Internet of Things
Golatowski, F., Butzin, B., Brockmann, T., Schulz, T., Kasparick, M., Li, Y., Rahmani, R., Haber, A., Sakalsiz, M., & Aydemir, O. (2019) · IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) · doi:10.1109/icphys.2019.8780270 · Cited by 14 · see citing works
NEWSTRADCOIN: A Blockchain Based Privacy Preserving Secure NEWS Trading Network
Islam, A., Kader, M. F., Islam, M. M., & Shin, S. Y. (2020) · Blockchain technologies · doi:10.1007/978-981-15-4542-9_3 · Cited by 14 · see citing works
Ebrahimi, S., Chen, J., Bridgelall, R., Szmerekovsky, J. G., & Motwani, J. G. (2025) · Sustainability · doi:10.3390/su17167325 · Cited by 14 · see citing works
Voting Over a Distributed Ledger: An Interdisciplinary Perspective
Dhillon, A., Kotsialou, G., McBurney, P., & Riley, L. (2021) · Foundations and Trends® in Microeconomics · doi:10.1561/0700000071 · Cited by 13 · see citing works
Self-citationFormal Verification of Smart Contracts Using Interface Automata
Madl, G., Bathen, L. A. D., Flores, G., & Jadav, D. (2019) · IEEE International Conference on Blockchain (Blockchain) · doi:10.1109/blockchain.2019.00081 · Cited by 13 · see citing works
Blockchain-Based Solution for Multiple Operator Spectrum Sharing (MOSS) in 5G Networks
Alhosani, H., Rehman, M. H. U., Salah, K., Lima, C., & Svetinović, D. (2020) · IEEE Globecom Workshops (GC Wkshps) · doi:10.1109/gcwkshps50303.2020.9367561 · Cited by 13 · see citing works
A Blockchain Grand Challenge: Smart Financial Derivatives
Clack, C. D. (2018) · Frontiers in Blockchain · doi:10.3389/fbloc.2018.00001 · Cited by 12 · see citing works
Data challenges for future plant gene editing: expert opinion
Lassoued, R., Macall, D. M., Smyth, S. J., Phillips, P. W. B., & Hesseln, H. (2021) · Transgenic Research · doi:10.1007/s11248-021-00264-9 · Cited by 11 · see citing works
A Knowledge Graph-Based Survey on Distributed Ledger Technology for IoT Verticals
Xu, R., Lan, Q., Pokhrel, S. R., & Li, G. (2023) · ACM Computing Surveys · doi:10.1145/3609503 · Cited by 14 · see citing works
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability.Preprint
Ma, F., Fu, Y., Ren, M., Sun, W., Liu, Z., Jiang, Y., Sun, J., & Sun, J. (2019) · arXiv (Cornell University) · Cited by 11 · see citing works
Chapter 12 Virtual Currencies in Modern Societies: Challenges and Opportunities
Mora, H., López, F. A. P., Mendoza-Tello, J. C., & Morales, M. R. (2019) · Emerald Group Publishing Limited eBooks · doi:10.1108/978-1-78756-983-620191012 · Cited by 11 · see citing works
Blockchain and Regional Workforce Development: Identifying Opportunities and Training Needs
Prager, F., Martínez, J. N., & Cagle, C. (2021) · Public administration and information technology · doi:10.1007/978-3-030-55746-1_3 · Cited by 10 · see citing works
Implementation of a Blockchain-Based Event Reselling System
Le, T., Kim, Y., & Jo, J.-Y. (2019) · International Conference on Computational Science/Intelligence and Applied Informatics (CSII) · doi:10.1109/csii.2019.00016 · Cited by 10 · see citing works
- Authors
- Magazzeni, D., McBurney, P., & Nash, W.
- Affiliations
- King's College London (GB)
- Venue
- Computer
- Published
- 2017
- Volume
- 50
- Issue
- 9
- Pages
- 50-57
- ISSN
- 0018-9162 (ISSN-L)
- OpenAlex
- W2758225150
- Cited by
- 184
- References
- 14
- Citations by year
- 2026: 2 · 2025: 10 · 2024: 10 · 2023: 25 · 2022: 22 · 2021: 33 · 2020: 29 · 2019: 36 · 2018: 16 · 2017: 1
- FWCI
- 41.75
- Type
- journal article
- Language
- en
- Open access
- green
- kclpure.kcl.ac.uk
- Locations
- Computer (publishedVersion)
- Research Portal (King's College London) (submittedVersion, other-oa)
- Funders
- University College London
- Topics
- Physical Sciences › Computer Science › Information Systems › Blockchain Technology Applications and Security
- Social Sciences › Economics, Econometrics and Finance › General Economics, Econometrics and Finance › Digital Transformation in Law
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, programming, and type systems
- Keywords
- smart contracts, validation, verification, blockchain, distributed ledger technology, contracts, research challenges
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
