Keerthi Nelaturu

University of Toronto — Canada

Computer Science · Physical Sciences

7h-index207citations10works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Blockchain Technology Applications and Security(10), Advanced Malware Detection Techniques(4), Security and Verification in Computing(4), FinTech, Crowdfunding, Digital Finance(3), Cryptography and Data Security(2)

Publications10 total

Natural Language-Based Model-Checking Framework for Move Smart Contracts
2023· 6 cited
Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain
2023· 3 cited
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks
2023· 8 cited
A Model-Checking Framework for the Verification of Move Smart Contracts
2022· 9 cited
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
IEEE Transactions on Dependable and Secure Computing·2022· 18 cited
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts
2022· 6 cited
A Review of Blockchain in Fintech: Taxonomy, Challenges, and Future Directions
Cryptography·2022· 48 citedOpen Access
Smart Contracts Refinement for Gas Optimization
2021· 32 cited
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle
IEEE Transactions on Engineering Management·2020· 45 cited
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
2020· 32 cited

Frequent Co-authors

Andreas Veneris(9), Eric Keilty(4), Sidi Mohamed Beillahi(3), Fan Long(3), Han Du(2), Áron Lászka(2), Duc-Phong Le(1), John R. Adler(1), Marco Merlini(1), Ryan Berryhill(1), Neil Veira(1), Zissis Poulos(1), Anastasia Mavridoul(1), Anastasia Mavridou(1), Emmanouela Stachtiari(1), Bowen Wu(1), Xun Deng(1), Zihan Zhao(1), Cyrus Minwalla(1), Anastasia Kastania(1)