Pise, R. ., and S. . Patil. “Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM”. International Journal on Recent and Innovation Trends in Computing and Communication, vol. 11, no. 9s, Aug. 2023, pp. 369-77, doi:10.17762/ijritcc.v11i9s.7432.