An internet-based IP protection scheme for circuit designs using linear feedback shift register (LFSR)-based locking. - Raju Halder; Parthasarathi Dasgupta; Saptarshi Naskar; Samar Sen-Sarma (SBCCI, 2009)

A Persistent Public Watermarking of Relational Databases. - Raju Halder; Agostino Cortesi (ICISS, 2010)

Observation-based Fine Grained Access Control for Relational Databases. - Raju Halder; Agostino Cortesi (ICSOFT (1), 2010)

Fine Grained Access Control for Relational Databases by Abstract Interpretation. - Raju Halder; Agostino Cortesi (ICSOFT (Selected Papers), 2010)

Obfuscation-based analysis of SQL injection attacks. - Raju Halder; Agostino Cortesi (ISCC, 2010)

Dependence condition graph for semantics-based abstract program slicing. - Agostino Cortesi; Raju Halder (LDTA, 2010)

Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. - Raju Halder; Shantanu Pal; Agostino Cortesi (J. Univers. Comput. Sci., 2010)

Observation-Based Fine Grained Access Control for XML Documents. - Raju Halder; Agostino Cortesi (CISIM, 2011)

Cooperative Query Answering by Abstract Interpretation. - Raju Halder; Agostino Cortesi (SOFSEM, 2011)

Tukra: An Abstract Program Slicing Tool. - Raju Halder; Agostino Cortesi (ICSOFT, 2012)

Abstract interpretation of database query languages. - Raju Halder; Agostino Cortesi (Comput. Lang. Syst. Struct., 2012)

Extending abstract interpretation to new applicative scenarios. - Raju Halder (2012)

Abstract Interpretation of Recursive Queries. - Agostino Cortesi; Raju Halder (ICDCIT, 2013)

Abstract program slicing of database query languages. - Raju Halder; Agostino Cortesi (SAC, 2013)

Abstract program slicing on dependence condition graphs. - Raju Halder; Agostino Cortesi (Sci. Comput. Program., 2013)

Information-Flow Analysis of Hibernate Query Language. - Agostino Cortesi; Raju Halder (FDSE, 2014)

Information leakage analysis of database query languages. - Raju Halder; Matteo Zanioli; Agostino Cortesi (SAC, 2014)

On Preventing SQL Injection Attacks. - Bharat Kumar Ahuja; Angshuman Jana; Ankit Swarnkar; Raju Halder (ACSS (1), 2015)

Data-Flow Analysis-Based Approach of Database Watermarking. - Sapana Rani; Preeti Kachhap; Raju Halder (ACSS (1), 2015)

Policy-Based Slicing of Hibernate Query Language. - Angshuman Jana; Raju Halder; Nabendu Chaki; Agostino Cortesi (CISIM, 2015)

Data cleaning: An abstraction-based approach. - Dileep Kumar Koshley; Raju Halder (ICACCI, 2015)

Verification of Hibernate Query Language by Abstract Interpretation. - Angshuman Jana; Raju Halder; Agostino Cortesi (IScIDE (2), 2015)

Data-Centric Refinement of Information Flow Analysis of Database Applications. - Md. Imran Alam; Raju Halder (SSCC, 2015)

A Watermarking Framework for Outsourced and Distributed Relational Databases. - Sapana Rani; Dileep Kumar Koshley; Raju Halder (FDSE, 2016)

Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications. - Angshuman Jana; Raju Halder (ICISS, 2016)

Refining dependencies for information flow analysis of database applications. - Md. Imran Alam; Raju Halder (Int. J. Trust. Manag. Comput. Commun., 2016)

Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. - Raju Halder; Angshuman Jana; Agostino Cortesi (Trans. Large Scale Data Knowl. Centered Syst., 2016)

Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage. - Dileep Kumar Koshley; Sapana Rani; Raju Halder (ICISS, 2017)

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. - Raju Halder; José Proença; Nuno Macedo 001; André Santos 001 (FormaliSE@ICSE, 2017)

Adapting MapReduce for Efficient Watermarking of Large Relational Dataset. - Sapana Rani; Dileep Kumar Koshley; Raju Halder (TrustCom/BigDataSE/ICESS, 2017)

Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases. - Sapana Rani; Dileep Kumar Koshley; Raju Halder (Trans. Large Scale Data Knowl. Centered Syst., 2017)

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. - Md. Imran Alam; Raju Halder; Harshita Goswami; Jorge Sousa Pinto (ENASE, 2018)

A Symbolic Model Checker for Database Programs. - Angshuman Jana; Md. Imran Alam; Raju Halder (ICSOFT, 2018)

Combining Symbolic and Numerical Domains for Information Leakage Analysis. - Agostino Cortesi; Pietro Ferrara 001; Raju Halder; Matteo Zanioli (Trans. Comput. Sci., 2018)

BDmark: A Blockchain-Driven Approach to Big Data Watermarking. - Swagatika Sahoo; Rishu Roshan; Vikash Singh; Raju Halder (ACIIDS (Companion), 2020)

Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption. - Bhavye Sharma; Raju Halder; Jawar Singh (COMSNETS, 2020)

Blockchain-Based Forward and Reverse Supply Chains for E-waste Management. - Swagatika Sahoo; Raju Halder (FDSE, 2020)

PoliceChain: Blockchain-Based Smart Policing System for Smart Cities. - Arnab Mukherjee; Raju Halder (SIN, 2020)

Extending Abstract Interpretation to Dependency Analysis of Database Applications. - Angshuman Jana; Raju Halder; Kalahasti Venkata Abhishekh; Sanjeevini Devi Ganni; Agostino Cortesi (IEEE Trans. Software Eng., 2020)

An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology. - Arnab Mukherjee; Raju Halder (ACIIDS (Companion), 2021)

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. - Atul Thakur; Raju Halder; Gourinath Banda; Rajarshi Ray 001; Ansuman Bhattacharya; Satyendra R. Nishad (AIR, 2021)

Blockchain Domain-Specific Languages: Survey, Classification, and Comparison. - Md Tauseef Alam; Sujit Chowdhury; Raju Halder; Abyayananda Maiti (Blockchain, 2021)

An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications. - Akshay M. Fajge; Siddharth Thakur; Rahul Kumar; Raju Halder (BRAINS, 2021)

Tailoring Taint Analysis for Database Applications in the K Framework. - Md. Imran Alam; Raju Halder (DATA, 2021)

Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot. - Arya Das; Raju Halder; Atul Thakur (TENCON, 2021)

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 (TrustCom, 2021)

A unified blockchain-based platform for global e-waste management. - Swagatika Sahoo; Arnab Mukherjee; Raju Halder (Int. J. Web Inf. Syst., 2021)

Traceability and ownership claim of data on big data marketplace using blockchain technology. - Swagatika Sahoo; Raju Halder (J. Inf. Telecommun., 2021)

A deductive reasoning approach for database applications using verification conditions. - Md. Imran Alam; Raju Halder; Jorge Sousa Pinto (J. Syst. Softw., 2021)

Formal Verification of Database Applications Using Predicate Abstraction. - Md. Imran Alam; Raju Halder (SN Comput. Sci., 2021)

SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts. - Supriya Shakya; Arnab Mukherjee; Raju Halder; Abyayananda Maiti; Amrita Chaturvedi (Blockchain, 2022)

Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System. - Suryakanta Panda; Arnab Mukherjee; Raju Halder; Samrat Mondal (ICBC, 2022)

Decentralized Insurance Subrogation Using Blockchain. - Oindrila Bhadra; Swagatika Sahoo; Chandra Mohan Kumar; Raju Halder (ICBTA, 2022)

Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. - Satyendra R. Nishad; Raju Halder; Gourinath Banda; Atul Thakur (IEEE Access, 2022)

Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study. - Sapana Rani; Raju Halder (IEEE Access, 2022)

An efficient format-independent watermarking framework for large-scale data sets. - Sapana Rani; Raju Halder (Expert Syst. Appl., 2022)

A blockchain-based integrated and interconnected hybrid platform for Smart City ecosystem. - Arnab Mukherjee; Swagatika Sahoo; Raju Halder (Peer-to-Peer Netw. Appl., 2022)

A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. - Rajeshwar Yadav; Raju Halder; Atul Thakur; Gourinath Banda (AIR, 2023)

HealthChain: A Blockchain-aided Federated Healthcare Management System. - Arnab Mukherjee; Raju Halder; Joydeep Chandra; Shailesh Shrivastava (ICBC, 2023)

An Automated Policy Verification and Enforcement Framework for Ethereum Applications. - Swagatika Sahoo; Raju Halder; Samrat Mondal (ICBC, 2023)

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata. - Md Tauseef Alam; Raju Halder; Abyayananda Maiti (Frontiers Blockchain, 2023)

${ sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain. - Sujit Chowdhury; Arnab Mukherjee; Raju Halder (IEEE Trans. Serv. Comput., 2023)

Making Robotic Swarms Trustful: A Blockchain-Based Perspective. - Atul Thakur; Swagatika Sahoo; Arnab Mukherjee; Raju Halder (J. Comput. Inf. Sci. Eng., 2023)

State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation. - Raju Halder (Blockchain, 2024)

Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse. - Aritra Bhaduri; Ayush Kumar Jain; Swagatika Sahoo; Raju Halder; Chandra Mohan Kumar (ENASE, 2024)

Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation. - Maitri Kushwaha; Arnab Mukherjee; Aishwarya Pandey; Raju Halder (ICISS, 2024)

Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition. - Rajeshwar Yadav; Raju Halder; Gourinath Banda (IEEE Access, 2024)

IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels. - Ankit K. Bhagat; Dipika Jha; Raju Halder; Rajendra N. Paramanik; Chandra Mohan Kumar (CoRR, 2024)

FedSat: A Statistical Aggregation Approach for Class Imbalaced Clients in Federated Learning. - Sujit Chowdhury; Raju Halder (CoRR, 2024)

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment. - Kartik Kaushik; Raju Halder; Samrat Mondal (CoRR, 2024)

Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities. - Md Tauseef Alam; Raju Halder; Abyayananda Maiti (CoRR, 2024)

Contextual attribute-based access control scheme for cloud storage using blockchain technology. - Suryakanta Panda; Swagatika Sahoo; Raju Halder; Samrat Mondal (Softw. Pract. Exp., 2024)

AgroBLF: blockchain-based framework for smart agriculture. - Oindrila Bhadra; Swagatika Sahoo; Raju Halder; Chandra Mohan Kumar (Innov. Syst. Softw. Eng., 2024)

IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels. - Dipika Jha; Ankit K. Bhagat; Raju Halder; Rajendra N. Paramanik; Chandra Mohan Kumar (IEEE DataPort, 2024)

When Humor Crosses the Line: Decoding Offensiveness in Meme-Ads Through Language Model Reasoning. - Shambhavi; Dipika Jha; Raju Halder (CISIM, 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 001 (ISEC, 2025)

TEMPER: Capturing Consistent and Fluctuating TEMPoral User Behaviour for EtheReum Phishing Scam Detection. - Medhasree Ghosh; Chirag Dinesh Jain; Raju Halder; Joydeep Chandra (KDD (1), 2025)

CATALOG: Exploiting Joint Temporal Dependencies for Enhanced Phishing Detection on Ethereum. - Medhasree Ghosh; Swapnil Srivastava; Apoorva Upadhyaya; Raju Halder; Joydeep Chandra (WWW, 2025)

TREAT: Temporal and Relational Attention-Based Tensor Representation Learning for Ethereum Phishing Users. - Medhasree Ghosh; Raju Halder; Joydeep Chandra (IEEE Trans. Serv. Comput., 2025)

Near-Pruned single assignment transformation of programs. - Akshay M. Fajge; Raju Halder (J. Comput. Lang., 2025)

SpaTeD: Sparsity-Aware Tensor Decomposition-Based Representation Learning Framework for Phishing Scams Detection. - Medhasree Ghosh; Raju Halder; Joydeep Chandra (IEEE Trans. Comput. Soc. Syst., 2025)

FLsim: A Modular and Library-Agnostic Simulation Framework for Federated Learning. - Arnab Mukherjee; Raju Halder; Joydeep Chandra (CoRR, 2025)