Subodh Sharma
Scholar

Subodh Sharma

Google Scholar ID: Xas65uoAAAAJ
IIT Delhi
Formal VerificationProgram AnalysisConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,711
 
H-index
14
 
i10-index
15
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
2 items
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
2025
Cited
0
From Paradigm Shift to Audit Rift: Exploring Vulnerabilities and Audit Tips for TON Smart Contracts
2025
Cited
0
Resume (English only)
Co-authors
18 total
Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Daniel Kroening
Daniel Kroening
Amazon
Robert M. Kirby OR R.M. Kirby
Robert M. Kirby OR R.M. Kirby
School of Computing, University of Utah
Rahul Purandare
Rahul Purandare
Associate Professor, University of Nebraska–Lincoln
Co-author 7
Co-author 7
Co-author 8
Co-author 8