Scholar
Subodh Sharma
Google Scholar ID: Xas65uoAAAAJ
IIT Delhi
Formal Verification
Program Analysis
Concurrency
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,711
H-index
14
i10-index
15
Publications
20
Co-authors
18
list available
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
Co-authors
8 total
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Daniel Kroening
Amazon
Robert M. Kirby OR R.M. Kirby
School of Computing, University of Utah
Rahul Purandare
Associate Professor, University of Nebraska–Lincoln
Rajeev Thakur
Deputy Division Director, Argonne Distinguished Fellow, Argonne National Laboratory
William Gropp
Professor of Computer Science, University of Illinois
Ajitha Rajan
University of Edinburgh
Peter Schrammel
Diffblue Ltd & Lecturer in Computer Science, University of Sussex
