Concepedia

Keerthi Nelaturu

KN

4

Publications

125

Citations

4

H-Index

2020

Active since

Affiliations

University of Toronto(Current)

University of Houston

Keerthi Nelaturu is an author at University of Toronto specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceVerificationFormal VerificationSystems EngineeringBlockchainCryptographyData SecurityFormal MethodsSmart Contracts

Publications per year

2020–2022

4

Publications

4

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle

Keerthi Nelaturu, John R. Adler, Marco Merlini et al. · IEEE Transactions on Engineering Management · 2020 · 45 citations

Blockchain Consensus Protocol, Engineering, Information Security +19

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid

Keerthi Nelaturu, Anastasia Mavridoul, Andreas Veneris et al. · 2020 · 32 citations

Engineering, Information Security, Verification +20

Smart Contracts Refinement for Gas Optimization

Keerthi Nelaturu, Sidi Mohamed Beillahi, Fan Long et al. · 2021 · 30 citations

Mathematical Programming, Hardware Security, Smart Contract Language +15

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

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari et al. · IEEE Transactions on Dependable and Secure Computing · 2022 · 18 citations

Engineering, Verification, Software Engineering +23

Rows per page

1–4 of 4