Blockchain Domain-Specific Languages: Survey, Classification, and Comparison. - Md Tauseef Alam; Sujit Chowdhury; Raju Halder; Abyayananda Maiti (Blockchain, 2021)

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata. - Md Tauseef Alam; Raju Halder; Abyayananda Maiti (Frontiers Blockchain, 2023)

Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities. - Md Tauseef Alam; Raju Halder; Abyayananda Maiti (CoRR, 2024)

SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting. - Md Tauseef Alam; Sorbajit Goswami; Khushi Singh; Raju Halder; Abyayananda Maiti; Soumyadip Banerjee 001 (ISEC, 2025)