Md Tauseef Alam

According to our database, Md Tauseef Alam authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

Proceedings of the 18th Innovations in Software Engineering Conference, 2025

2024

Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities.

Md Tauseef Alam, Raju Halder, Abyayananda Maiti

CoRR, 2024

2023

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata.

Md Tauseef Alam, Raju Halder, Abyayananda Maiti

Frontiers Blockchain, 2023

2021

Blockchain Domain-Specific Languages: Survey, Classification, and Comparison.

Md Tauseef Alam, Sujit Chowdhury, Raju Halder, Abyayananda Maiti

Proceedings of the 2021 IEEE International Conference on Blockchain, 2021