Raju Halder

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 44

Top Topics

Abstract Interpretation

Top Venues

Publications

Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar
AgroBLF: blockchain-based framework for smart agriculture. Innov. Syst. Softw. Eng. 20 (3) (2024)
Ankit K. Bhagat, Dipika Jha, Raju Halder, Rajendra N. Paramanik, Chandra Mohan Kumar
IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels. CoRR (2024)
Sujit Chowdhury, Raju Halder
FedSat: A Statistical Aggregation Approach for Class Imbalaced Clients in Federated Learning. CoRR (2024)
Aritra Bhaduri, Ayush Kumar Jain, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar
Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse. ENASE (2024)
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. AIR (2023)
Swagatika Sahoo, Raju Halder, Samrat Mondal
An Automated Policy Verification and Enforcement Framework for Ethereum Applications. ICBC (2023)
Arnab Mukherjee, Raju Halder, Joydeep Chandra, Shailesh Shrivastava
HealthChain: A Blockchain-aided Federated Healthcare Management System. ICBC (2023)
Md Tauseef Alam, Raju Halder, Abyayananda Maiti
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata. Frontiers Blockchain 6 (2023)
Sujit Chowdhury, Arnab Mukherjee, Raju Halder
${\sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain. IEEE Trans. Serv. Comput. 16 (6) (2023)
Atul Thakur, Swagatika Sahoo, Arnab Mukherjee, Raju Halder
Making Robotic Swarms Trustful: A Blockchain-Based Perspective. J. Comput. Inf. Sci. Eng. 23 (6) (2023)
Oindrila Bhadra, Swagatika Sahoo, Chandra Mohan Kumar, Raju Halder
Decentralized Insurance Subrogation Using Blockchain. ICBTA (2022)
Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti, Amrita Chaturvedi
SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts. Blockchain (2022)
Sapana Rani, Raju Halder
An efficient format-independent watermarking framework for large-scale data sets. Expert Syst. Appl. 208 (2022)
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. IEEE Access 10 (2022)
Arnab Mukherjee, Swagatika Sahoo, Raju Halder
A blockchain-based integrated and interconnected hybrid platform for Smart City ecosystem. Peer-to-Peer Netw. Appl. 15 (4) (2022)
Suryakanta Panda, Arnab Mukherjee, Raju Halder, Samrat Mondal
Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System. ICBC (2022)
Sapana Rani, Raju Halder
Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study. IEEE Access 10 (2022)
Arnab Mukherjee, Raju Halder
An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology. ACIIDS (Companion) (2021)
Swagatika Sahoo, Arnab Mukherjee, Raju Halder
A unified blockchain-based platform for global e-waste management. Int. J. Web Inf. Syst. 17 (5) (2021)
Akshay M. Fajge, Siddharth Thakur, Rahul Kumar, Raju Halder
An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications. BRAINS (2021)
Md. Imran Alam, Raju Halder
Formal Verification of Database Applications Using Predicate Abstraction. SN Comput. Sci. 2 (2) (2021)
Arya Das, Raju Halder, Atul Thakur
Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot. TENCON (2021)
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. AIR (2021)
Md. Imran Alam, Raju Halder, Jorge Sousa Pinto
A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175 (2021)
Md. Imran Alam, Raju Halder
Tailoring Taint Analysis for Database Applications in the K Framework. DATA (2021)
Akshay M. Fajge, Subhasish Goswami, Arpit Srivastava, Raju Halder
Wait or Reset Gas Price?: A Machine Learning-based Prediction Model for Ethereum Transactions' Waiting Time. TrustCom (2021)
Md Tauseef Alam, Sujit Chowdhury, Raju Halder, Abyayananda Maiti
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison. Blockchain (2021)
Swagatika Sahoo, Raju Halder
Traceability and ownership claim of data on big data marketplace using blockchain technology. J. Inf. Telecommun. 5 (1) (2021)
Bhavye Sharma, Raju Halder, Jawar Singh
Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption. COMSNETS (2020)
Swagatika Sahoo, Raju Halder
Blockchain-Based Forward and Reverse Supply Chains for E-waste Management. FDSE (2020)
Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi
Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Trans. Software Eng. 46 (5) (2020)
Swagatika Sahoo, Rishu Roshan, Vikash Singh, Raju Halder
BDmark: A Blockchain-Driven Approach to Big Data Watermarking. ACIIDS (Companion) (2020)
Arnab Mukherjee, Raju Halder
PoliceChain: Blockchain-Based Smart Policing System for Smart Cities. SIN (2020)
Angshuman Jana, Md. Imran Alam, Raju Halder
A Symbolic Model Checker for Database Programs. ICSOFT (2018)
Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31 (2018)
Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. ENASE (2018)
Dileep Kumar Koshley, Sapana Rani, Raju Halder
Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage. ICISS (2017)
Raju Halder, José Proença, Nuno Macedo, André Santos
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE (2017)
Sapana Rani, Dileep Kumar Koshley, Raju Halder
Adapting MapReduce for Efficient Watermarking of Large Relational Dataset. TrustCom/BigDataSE/ICESS (2017)
Sapana Rani, Dileep Kumar Koshley, Raju Halder
Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases. Trans. Large Scale Data Knowl. Centered Syst. 36 (2017)
Md. Imran Alam, Raju Halder
Refining dependencies for information flow analysis of database applications. Int. J. Trust. Manag. Comput. Commun. 3 (3) (2016)
Angshuman Jana, Raju Halder
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications. ICISS (2016)
Sapana Rani, Dileep Kumar Koshley, Raju Halder
A Watermarking Framework for Outsourced and Distributed Relational Databases. FDSE (2016)
Raju Halder, Angshuman Jana, Agostino Cortesi
Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. Trans. Large Scale Data Knowl. Centered Syst. 23 (2016)
Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi
Policy-Based Slicing of Hibernate Query Language. CISIM (2015)
Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, Raju Halder
On Preventing SQL Injection Attacks. ACSS (1) (2015)
Dileep Kumar Koshley, Raju Halder
Data cleaning: An abstraction-based approach. ICACCI (2015)
Md. Imran Alam, Raju Halder
Data-Centric Refinement of Information Flow Analysis of Database Applications. SSCC (2015)
Sapana Rani, Preeti Kachhap, Raju Halder
Data-Flow Analysis-Based Approach of Database Watermarking. ACSS (1) (2015)
Angshuman Jana, Raju Halder, Agostino Cortesi
Verification of Hibernate Query Language by Abstract Interpretation. IScIDE (2) (2015)
Agostino Cortesi, Raju Halder
Information-Flow Analysis of Hibernate Query Language. FDSE (2014)
Raju Halder, Matteo Zanioli, Agostino Cortesi
Information leakage analysis of database query languages. SAC (2014)
Raju Halder, Agostino Cortesi
Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78 (9) (2013)
Raju Halder, Agostino Cortesi
Abstract program slicing of database query languages. SAC (2013)
Agostino Cortesi, Raju Halder
Abstract Interpretation of Recursive Queries. ICDCIT (2013)
Raju Halder, Agostino Cortesi
Tukra: An Abstract Program Slicing Tool. ICSOFT (2012)
Raju Halder, Agostino Cortesi
Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38 (2) (2012)
Raju Halder, Agostino Cortesi
Observation-Based Fine Grained Access Control for XML Documents. CISIM (2011)
Raju Halder, Agostino Cortesi
Cooperative Query Answering by Abstract Interpretation. SOFSEM (2011)
Raju Halder, Shantanu Pal, Agostino Cortesi
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. Univers. Comput. Sci. 16 (21) (2010)
Raju Halder, Agostino Cortesi
Fine Grained Access Control for Relational Databases by Abstract Interpretation. ICSOFT (Selected Papers) (2010)
Agostino Cortesi, Raju Halder
Dependence condition graph for semantics-based abstract program slicing. LDTA (2010)
Raju Halder, Agostino Cortesi
Obfuscation-based analysis of SQL injection attacks. ISCC (2010)
Raju Halder, Agostino Cortesi
Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) (2010)
Raju Halder, Agostino Cortesi
A Persistent Public Watermarking of Relational Databases. ICISS (2010)
Raju Halder, Parthasarathi Dasgupta, Saptarshi Naskar, Samar Sen-Sarma
An internet-based IP protection scheme for circuit designs using linear feedback shift register (LFSR)-based locking. SBCCI (2009)