Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. - Keerthi Nelaturu; Anastasia Mavridou; Andreas G. Veneris; Aron Laszka (IEEE ICBC, 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)

Smart Contracts Refinement for Gas Optimization. - Keerthi Nelaturu; Sidi Mohamed Beillahi; Fan Long; Andreas G. Veneris (BRAINS, 2021)

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. - Sidi Mohamed Beillahi; Eric Keilty; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (ICBC, 2022)

A Review of Blockchain in Fintech: Taxonomy, Challenges, and Future Directions. - Keerthi Nelaturu; Han Du; Duc-Phong Le (Cryptogr., 2022)

Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain. - Eric Keilty; Keerthi Nelaturu; Anastasia Kastania; Andreas G. Veneris (BRAINS, 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 (DAPPS, 2023)

Natural Language-Based Model-Checking Framework for Move Smart Contracts. - Keerthi Nelaturu; Eric Keilty; Andreas G. Veneris (SDS, 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)