◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Muhammad Wahid

1 papers

No researched profile yet.

papers

Publications (1)

cs.SE2026

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts

Muhammad Wahid, Shahzaib Khan, Mashhood Ali +3

The immutable nature of smart contracts makes it challenging to fix and patch bugs once they are deployed to a blockchain. This implies that security vulnerabilities may be exposed…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Sign in
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.