Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
September 28, 2026Distributed Ledger Technologies Research and PracticeOpen Access

A Sound Semantics Approximation of Solidity for Enhanced Vulnerability Detection

View Full Paper
Ask AI
Bookmark
Share

Authors

MKMaitri KushwahaRHRaju HalderACAgostino Cortesi

Discussion

Loading...

Member takes

Overview

Key Points

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

Cite This Study

Kushwaha et al. (2026) studied this question.

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

Also Consider

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

  1. 1DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects2024 · 12 citations
  2. 2Smart Contract: Attacks and Protections2020 · 324 citations
  3. 3A Survey on Ethereum Systems Security2020 · 484 citations
  4. 4Vulnerability detection techniques for smart contracts: A systematic literature review2024 · 22 citations