Keerthi Nelaturu

According to our database, Keerthi Nelaturu authored at least 9 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid.

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka

IEEE Trans. Dependable Secur. Comput., 2023

Natural Language-Based Model-Checking Framework for Move Smart Contracts.

Keerthi Nelaturu, Eric Keilty, Andreas G. Veneris

Proceedings of the Tenth International Conference on Software Defined Systems, 2023

A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks.

Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du, Cyrus Minwalla, Keerthi Nelaturu, Andreas G. Veneris, Fan Long

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain.

Eric Keilty, Keerthi Nelaturu, Anastasia Kastania, Andreas G. Veneris

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

2022

A Review of Blockchain in Fintech: Taxonomy, Challenges, and Future Directions.

Keerthi Nelaturu, Han Du, Duc-Phong Le

Cryptogr., 2022

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.

Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

2021

Smart Contracts Refinement for Gas Optimization.

Keerthi Nelaturu, Sidi Mohamed Beillahi, Fan Long, Andreas G. Veneris

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle.

Keerthi Nelaturu, John Adler, Marco Merlini, Ryan Berryhill, Neil Veira, Zissis Poulos, Andreas G. Veneris

IEEE Trans. Engineering Management, 2020

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid.

Keerthi Nelaturu, Anastasia Mavridou, Andreas G. Veneris, Aron Laszka

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020