Md Tauseef Alam

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

Collaborative distances:

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

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