2 papers
cs.SE2026
Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction
Muhammad Ali Hassan Ahmad, Muhammad Hashim Ali, Muhammad Ali Amer +3
A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contrac…
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…