| 2026 | ICSoft | Don't Just Translate: Verify - LLM-Guided Solidity Migration with Semantic Guarantees. | Arnab Mukherjee, Soumyadip Bandyopadhyay, Raju Halder, Dominique Blouin |
| 2025 | KDD | TEMPER: Capturing Consistent and Fluctuating TEMPoral User Behaviour for EtheReum Phishing Scam Detection. | Medhasree Ghosh, Chirag Dinesh Jain, Raju Halder, Joydeep Chandra |
| 2025 | WWW | CATALOG: Exploiting Joint Temporal Dependencies for Enhanced Phishing Detection on Ethereum. | Medhasree Ghosh, Swapnil Srivastava, Apoorva Upadhyaya, Raju Halder, Joydeep Chandra |
| 2024 | ENASE | Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse. | Aritra Bhaduri, Ayush Kumar Jain, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar |
| 2024 | ICISS | Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation. | Maitri Kushwaha, Arnab Mukherjee, Aishwarya Pandey, Raju Halder |
| 2021 | ACIIDS | An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology. | Arnab Mukherjee, Raju Halder |
| 2021 | DATA | Tailoring Taint Analysis for Database Applications in the K Framework. | Md. Imran Alam, Raju Halder |
| 2021 | TrustCom | Wait or Reset Gas Price?: A Machine Learning-based Prediction Model for Ethereum Transactions' Waiting Time. | Akshay M. Fajge, Subhasish Goswami, Arpit Srivastava, Raju Halder |
| 2021 | Tencon | Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot. | Arya Das, Raju Halder, Atul Thakur |
| 2020 | ACIIDS | BDmark: A Blockchain-Driven Approach to Big Data Watermarking. | Swagatika Sahoo, Rishu Roshan, Vikash Singh, Raju Halder |
| 2020 | COMSNETS | Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption. | Bhavye Sharma, Raju Halder, Jawar Singh |
| 2020 | SIN | PoliceChain: Blockchain-Based Smart Policing System for Smart Cities. | Arnab Mukherjee, Raju Halder |
| 2018 | ENASE | K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. | Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto |
| 2018 | ICSoft | A Symbolic Model Checker for Database Programs. | Angshuman Jana, Md. Imran Alam, Raju Halder |
| 2017 | ICISS | Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage. | Dileep Kumar Koshley, Sapana Rani, Raju Halder |
| 2017 | ICSE | Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. | Raju Halder, Jos Proena, Nuno Macedo, Andr Santos |
| 2017 | TrustCom | Adapting MapReduce for Efficient Watermarking of Large Relational Dataset. | Sapana Rani, Dileep Kumar Koshley, Raju Halder |
| 2016 | ICISS | Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications. | Angshuman Jana, Raju Halder |
| 2014 | SAC | Information leakage analysis of database query languages. | Raju Halder, Matteo Zanioli, Agostino Cortesi |
| 2013 | ICDCIT | Abstract Interpretation of Recursive Queries. | Agostino Cortesi, Raju Halder |
| 2013 | SAC | Abstract program slicing of database query languages. | Raju Halder, Agostino Cortesi |
| 2012 | ICSoft | Tukra: An Abstract Program Slicing Tool. | Raju Halder, Agostino Cortesi |
| 2011 | SOFSEM | Cooperative Query Answering by Abstract Interpretation. | Raju Halder, Agostino Cortesi |
| 2010 | ICISS | A Persistent Public Watermarking of Relational Databases. | Raju Halder, Agostino Cortesi |
| 2010 | ICSoft | Observation-based Fine Grained Access Control for Relational Databases. | Raju Halder, Agostino Cortesi |
| 2010 | ICSoft | Fine Grained Access Control for Relational Databases by Abstract Interpretation. | Raju Halder, Agostino Cortesi |
| 2010 | ISCC | Obfuscation-based analysis of SQL injection attacks. | Raju Halder, Agostino Cortesi |