| A Symbolic Model Checker for Database Programs. A Jana, MI Alam, R Halder ICSOFT, 381-388, 2018 | 9 | 2018 |
| A deductive reasoning approach for database applications using verification conditions MI Alam, R Halder, JS Pinto Journal of Systems and Software 175, 110903, 2021 | 8 | 2021 |
| Formal verification and code generation for solidity smart contracts NK Singh, AM Fajge, R Halder, MI Alam Distributed Computing to Blockchain, 125-144, 2023 | 5 | 2023 |
| Refining dependencies for information flow analysis of database applications MI Alam, R Halder International Journal of Trust Management in Computing and Communications 3 …, 2016 | 4 | 2016 |
| Data-centric refinement of information flow analysis of database applications MI Alam, R Halder Security in Computing and Communications: Third International Symposium …, 2015 | 4 | 2015 |
| K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. MI Alam, R Halder, H Goswami, JS Pinto ENASE, 359-366, 2018 | 3 | 2018 |
| Formal verification of database applications using predicate abstraction MI Alam, R Halder SN Computer Science 2 (3), 135, 2021 | 1 | 2021 |
| Analyzing information flow in solidity smart contracts R Halder, MI Alam, AM Fajge, NK Singh, A Cortesi Distributed Computing to Blockchain, 105-123, 2023 | | 2023 |
| Tailoring Taint Analysis for Database Applications in the K Framework. MI Alam, R Halder DATA, 370-377, 2021 | | 2021 |
Dr. Raju HalderAssociate Professor, Indian Institute of Technology Patna在 iitp.ac.in 的电子邮件经过验证
