Pise, R. and Patil, S. 2023. Formal Semantic Approach to Detect Smart Contract Vulnerabilities Using KEVM. International Journal on Recent and Innovation Trends in Computing and Communication. 11, 9s (Aug. 2023), 369–377. DOI:https://doi.org/10.17762/ijritcc.v11i9s.7432.