Keerthi Nelaturu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Watermarking Method

Future Directions

Detecting Malicious

Mechanisms Underlying

Top Venues

IEEE Trans. Engineering Management

Publications

Xun Deng, Zihan Zhao, Sidi Mohamed Beillahi, Han Du, Cyrus Minwalla, Keerthi Nelaturu, Andreas G. Veneris, Fan Long
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks. DAPPS (2023)
Eric Keilty, Keerthi Nelaturu, Anastasia Kastania, Andreas G. Veneris
Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain. BRAINS (2023)
Keerthi Nelaturu, Eric Keilty, Andreas G. Veneris
Natural Language-Based Model-Checking Framework for Move Smart Contracts. SDS (2023)
Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Keerthi Nelaturu, Han Du, Duc-Phong Le
A Review of Blockchain in Fintech: Taxonomy, Challenges, and Future Directions. Cryptogr. 6 (2) (2022)
Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. ICBC (2022)
Keerthi Nelaturu, Sidi Mohamed Beillahit, Fan Long, Andreas G. Veneris
Smart Contracts Refinement for Gas Optimization. BRAINS (2021)
Keerthi Nelaturu, John Adler, Marco Merlini, Ryan Berryhill, Neil Veira, Zissis Poulos, Andreas G. Veneris
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. IEEE Trans. Engineering Management 67 (4) (2020)
Keerthi Nelaturu, Anastasia Mavridou, Andreas G. Veneris, Aron Laszka
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. IEEE ICBC (2020)