Sign in
Namrata Jain
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Analysis Tool
Multiscale
Supply Chain
Top Venues
SEFM
</>
Publications
</>
Namrata Jain
,
Kosuke Kaneko
,
Subodh Sharma
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).
SEFM
(2022)