59

 

[47]  Á. Hajdu and D. Jovanovic, “solc-verify: A Modular Verifier for Solidity Smart Contracts,” 

in Verified Software: Theories, Tools, Experiments, 2019. [Online]. Available: 
https://api.semanticscholar.org/CorpusID:195848107 

[48]  E. Hildenbrandt et al., “KEVM: A Complete Formal Semantics of the Ethereum Virtual 

Machine,” 2018 IEEE 31st Computer Security Foundations Symposium (CSF), pp. 204–217, 
2018, [Online]. Available: https://api.semanticscholar.org/CorpusID:4945321 

[49]  K. Christidis and M. Devetsikiotis, “Blockchains and Smart Contracts for the Internet of 

Things,” IEEE Access, vol. 4, pp. 2292–2303, 2016, [Online]. Available: 
https://api.semanticscholar.org/CorpusID:23397334 

[50]  P. S. Anjana, S. Kumari, S. Peri, S. Rathor, and A. Somani, “An Efficient Framework for 

Optimistic Concurrent Execution of Smart Contracts,” 2019 27th Euromicro International 
Conference on Parallel, Distributed and Network-Based Processing (PDP), pp. 83–92, 2018, 
[Online]. Available: https://api.semanticscholar.org/CorpusID:54457493 

[51]  S. Farokhnia and A. K. Goharshady, “Alleviating High Gas Costs by Secure and Trustless 

Off-chain Execution of Smart Contracts,” Proceedings of the 38th ACM/SIGAPP Symposium 
on Applied Computing, 2023, [Online]. Available: 
https://api.semanticscholar.org/CorpusID:259099393 

[52]  Y. Lv, “Transitioning to sustainable energy: opportunities, challenges, and the potential of 

blockchain technology,” Front Energy Res, 2023, [Online]. Available: 
https://api.semanticscholar.org/CorpusID:261917654