Md Tauseef Alam

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

Collaborative distances:

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

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