3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CR2026★ 3 cited
Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts
Tamer Abdelaziz, Aquinas Hobor
We introduce the Deep Learning Vulnerability Analyzer (DLVA) for Ethereum smart contracts based on neural networks. We train DLVA to judge bytecode even though the supervising orac…
cs.CR2026
Smart Contract Security Beyond Detection
Tamer Abdelaziz
Smart contract security has progressed from vulnerability detection toward a broader research agenda that includes semantic reasoning, automated repair, adversarial robustness, and…
cs.CR2026
Where Do Smart Contract Security Analyzers Fall Short?
Tamer Abdelaziz, Salma Alsaghir, Karim Ali
Smart contracts underpin high-value ecosystems such as decentralized finance (DeFi), yet recurring vulnerabilities continue to cause losses worth billions of dollars. Although nume…