Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
October 30, 2020Open Access

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

View Full Paper
Ask AI
Bookmark
Share

Authors

CSClara SchneidewindMax Planck Institute for Security and PrivacyIGIlya GrishchenkoUniversity of TorontoMSMarkus SchererAllina Health

Discussion

Loading...

Member takes

Implication

Key Points

Key points are not available for this paper at this time.

Cite This Study

Schneidewind et al. (2020) studied this question.

synapsesocial.com/papers/6a15863ab2e0231f15829f8ahttps://doi.org/10.1145/3372297.3417250
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1MedRec: Using Blockchain for Medical Data Access and Permission Management2016 · 2,497 citations
  2. 2Making Smart Contracts Smarter2016 · 2,293 citations
  3. 3A Transformation System for Developing Recursive Programs1977 · 1,308 citations