← back to portfolio

Research & Publications

Peer-reviewed academic papers, conference proceedings, and journal articles spanning cybersecurity, post-quantum cryptography, and AI-driven threat analysis.

3 Papers | 11 Research Domains

// DOMAIN: SMART CONTRACTS (1)

CERTIFICATE

ACM CCS 2025 — Conference…

PAPER #1 · 2025

Automated Vulnerability Discovery in Smart Contract Bytecode Using Symbolic Execution

Md Abu Saeed, Tanzim Hossain

ACM CCS 2025 — Conference on Computer a… · Nov 2025

SCAVEX: a hybrid analysis framework achieving 94.2% true positive rate on smart contract vulnerabilities, outperforming Mythril, Slither, and Echidna.

Blockchain Fuzzing Smart Contracts Symbolic Execution

Read Paper