Keerthi Nelaturu

Most-cited papers

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle
Keerthi Nelaturu, John Adler, M. Merlini, Ryan Berryhill +3 more
2020IEEE transactions on engineering management50 citations
Semantic Scholar
Smart Contracts Refinement for Gas Optimization
Keerthi Nelaturu, Sidi Mohamed Beillahit, Fan Long, A. Veneris
2021Conference on Blockchain Research & Applications for Innovative Networks and Services44 citations
Semantic Scholar
A Review of Blockchain in Fintech: Taxonomy, Challenges, and Future Directions
Keerthi Nelaturu, Han Du, Duc-Phong Le
2022Cryptogr.43 citations Open access
Semantic Scholar
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, A. Veneris +1 more
2023IEEE Transactions on Dependable and Secure Computing31 citations
Semantic Scholar
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
Keerthi Nelaturu, Anastasia Mavridoul, A. Veneris, Aron Laszka
2020International Conference on Blockchain28 citations
Semantic Scholar
A Model-Checking Framework for the Verification of Move Smart Contracts
Eric Keilty, Keerthi Nelaturu, Bowen Wu, A. Veneris
20222022 IEEE 13th International Conference on Software Engineering and Service Science (ICSESS)15 citations
Semantic Scholar
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks
Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du +4 more
2023IEEE International Conference on Decentralized Applications and Infrastructures9 citations
Semantic Scholar
Natural Language-Based Model-Checking Framework for Move Smart Contracts
Keerthi Nelaturu, Eric Keilty, A. Veneris
2023Swiss Conference on Data Science6 citations
Semantic Scholar
Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain
Eric Keilty, Keerthi Nelaturu, A. Kastania, A. Veneris
2023Conference on Blockchain Research & Applications for Innovative Networks and Services4 citations
Semantic Scholar
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts
Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, A. Veneris +1 more
2022International Conference on Blockchain4 citations
Semantic Scholar
Content Management and Hashtag Recommendation in a P2P Social Networking Application
Keerthi Nelaturu
20151 citations
Semantic Scholar
HASHTAG RECOMMENDATION SYSTEM IN A P2P S OCIAL NETWORKING
Keerthi Nelaturu, Ying Qiao, Iluju Kiringa, T. Yeap
20150 citations
Semantic Scholar
Hashtag Recommendation System in a P2P Social Networking Application
Keerthi Nelaturu, Ying Qiao, Iluju Kiringa, T. Yeap
20150 citations Open access
Semantic Scholar
High Level Synthesis and Veriﬁcation of Solidity Smart Contracts
Yun-Tao Cai, Keerthi Nelaturu, A. Veneris
0 citations
Semantic Scholar