Raju Halder

According to our database, Raju Halder authored at least 72 papers between 2009 and 2024.

Collaborative distances:

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

2024

AgroBLF: blockchain-based framework for smart agriculture.

Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar

Innov. Syst. Softw. Eng., September, 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

Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities.

Md Tauseef Alam, Raju Halder, Abyayananda Maiti

CoRR, 2024

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment.

Kartik Kaushik, Raju Halder, Samrat Mondal

CoRR, 2024

FedSat: A Statistical Aggregation Approach for Class Imbalaced Clients in Federated Learning.

Sujit Chowdhury, Raju Halder

CoRR, 2024

IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels.

Ankit K. Bhagat, Dipika Jha, Raju Halder, Rajendra N. Paramanik, Chandra Mohan Kumar

CoRR, 2024

Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition.

Rajeshwar Yadav, Raju Halder, Gourinath Banda

IEEE Access, 2024

Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse.

Aritra Bhaduri, Ayush Kumar Jain, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation.

Raju Halder

Proceedings of the IEEE International Conference on Blockchain, 2024

2023

Making Robotic Swarms Trustful: A Blockchain-Based Perspective.

Atul Thakur, Swagatika Sahoo, Arnab Mukherjee, Raju Halder

J. Comput. Inf. Sci. Eng., December, 2023

${\sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain.

Sujit Chowdhury, Arnab Mukherjee, Raju Halder

IEEE Trans. Serv. Comput., 2023

Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata.

Md Tauseef Alam, Raju Halder, Abyayananda Maiti

Frontiers Blockchain, 2023

An Automated Policy Verification and Enforcement Framework for Ethereum Applications.

Swagatika Sahoo, Raju Halder, Samrat Mondal

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

HealthChain: A Blockchain-aided Federated Healthcare Management System.

Arnab Mukherjee, Raju Halder, Joydeep Chandra, Shailesh Shrivastava

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.

Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda

Proceedings of the 2023 6th International Conference on Advances in Robotics, 2023

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

An efficient format-independent watermarking framework for large-scale data sets.

Sapana Rani, Raju Halder

Expert Syst. Appl., 2022

Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study.

Sapana Rani, Raju Halder

IEEE Access, 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

Decentralized Insurance Subrogation Using Blockchain.

Oindrila Bhadra, Swagatika Sahoo, Chandra Mohan Kumar, Raju Halder

Proceedings of the 2022 5th International Conference on Blockchain Technology and Applications, 2022

Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System.

Suryakanta Panda, Arnab Mukherjee, Raju Halder, Samrat Mondal

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts.

Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti, Amrita Chaturvedi

Proceedings of the IEEE International Conference on Blockchain, 2022

2021

Formal Verification of Database Applications Using Predicate Abstraction.

Md. Imran Alam, Raju Halder

SN Comput. Sci., 2021

A deductive reasoning approach for database applications using verification conditions.

Md. Imran Alam, Raju Halder, Jorge Sousa Pinto

J. Syst. Softw., 2021

Traceability and ownership claim of data on big data marketplace using blockchain technology.

Swagatika Sahoo, Raju Halder

J. Inf. Telecommun., 2021

A unified blockchain-based platform for global e-waste management.

Swagatika Sahoo, Arnab Mukherjee, Raju Halder

Int. J. Web Inf. Syst., 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

Proceedings of the 20th IEEE International Conference on Trust, 2021

Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot.

Arya Das, Raju Halder, Atul Thakur

Proceedings of the IEEE Region 10 Conference, 2021

Tailoring Taint Analysis for Database Applications in the K Framework.

Md. Imran Alam, Raju Halder

Proceedings of the 10th International Conference on Data Science, 2021

An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications.

Akshay M. Fajge, Siddharth Thakur, Rahul Kumar, Raju Halder

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 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

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.

Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad

Proceedings of the AIR 2021: Advances in Robotics - 5th International Conference of The Robotics Society, Kanpur, India, 30 June 2021, 2021

An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology.

Arnab Mukherjee, Raju Halder

Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2021

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

PoliceChain: Blockchain-Based Smart Policing System for Smart Cities.

Arnab Mukherjee, Raju Halder

Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

Blockchain-Based Forward and Reverse Supply Chains for E-waste Management.

Swagatika Sahoo, Raju Halder

Proceedings of the Future Data and Security Engineering - 7th International Conference, 2020

Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption.

Bhavye Sharma, Raju Halder, Jawar Singh

Proceedings of the 2020 International Conference on COMmunication Systems & NETworkS, 2020

BDmark: A Blockchain-Driven Approach to Big Data Watermarking.

Swagatika Sahoo, Rishu Roshan, Vikash Singh, Raju Halder

Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2018

Combining Symbolic and Numerical Domains for Information Leakage Analysis.

Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli

Trans. Comput. Sci., 2018

A Symbolic Model Checker for Database Programs.

Angshuman Jana, Md. Imran Alam, Raju Halder

Proceedings of the 13th International Conference on Software Technologies, 2018

K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.

Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases.

Sapana Rani, Dileep Kumar Koshley, Raju Halder

Trans. Large Scale Data Knowl. Centered Syst., 2017

Adapting MapReduce for Efficient Watermarking of Large Relational Dataset.

Sapana Rani, Dileep Kumar Koshley, Raju Halder

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.

Raju Halder, José Proença, Nuno Macedo, André Santos

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage.

Dileep Kumar Koshley, Sapana Rani, Raju Halder

Proceedings of the Information Systems Security - 13th International Conference, 2017

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

Refining dependencies for information flow analysis of database applications.

Md. Imran Alam, Raju Halder

Int. J. Trust. Manag. Comput. Commun., 2016

Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications.

Angshuman Jana, Raju Halder

Proceedings of the Information Systems Security - 12th International Conference, 2016

A Watermarking Framework for Outsourced and Distributed Relational Databases.

Sapana Rani, Dileep Kumar Koshley, Raju Halder

Proceedings of the Future Data and Security Engineering - Third International Conference, 2016

2015

Data-Centric Refinement of Information Flow Analysis of Database Applications.

Md. Imran Alam, Raju Halder

Proceedings of the Security in Computing and Communications, 2015

Verification of Hibernate Query Language by Abstract Interpretation.

Angshuman Jana, Raju Halder, Agostino Cortesi

Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015

Data cleaning: An abstraction-based approach.

Dileep Kumar Koshley, Raju Halder

Proceedings of the 2015 International Conference on Advances in Computing, 2015

Policy-Based Slicing of Hibernate Query Language.

Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi

Proceedings of the Computer Information Systems and Industrial Management, 2015

Data-Flow Analysis-Based Approach of Database Watermarking.

Sapana Rani, Preeti Kachhap, Raju Halder

Proceedings of the Advanced Computing and Systems for Security - ACSS 2015, 2015

On Preventing SQL Injection Attacks.

Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, Raju Halder

Proceedings of the Advanced Computing and Systems for Security - ACSS 2015, 2015

2014

Information leakage analysis of database query languages.

Raju Halder, Matteo Zanioli, Agostino Cortesi

Proceedings of the Symposium on Applied Computing, 2014

Information-Flow Analysis of Hibernate Query Language.

Agostino Cortesi, Raju Halder

Proceedings of the Future Data and Security Engineering - First International Conference, 2014

2013

Abstract program slicing on dependence condition graphs.

Raju Halder, Agostino Cortesi

Sci. Comput. Program., 2013

Abstract program slicing of database query languages.

Raju Halder, Agostino Cortesi

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Abstract Interpretation of Recursive Queries.

Agostino Cortesi, Raju Halder

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Extending abstract interpretation to new applicative scenarios.

Raju Halder

PhD thesis, 2012

Abstract interpretation of database query languages.

Raju Halder, Agostino Cortesi

Comput. Lang. Syst. Struct., 2012

Tukra: An Abstract Program Slicing Tool.

Raju Halder, Agostino Cortesi

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Cooperative Query Answering by Abstract Interpretation.

Raju Halder, Agostino Cortesi

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Observation-Based Fine Grained Access Control for XML Documents.

Raju Halder, Agostino Cortesi

Proceedings of the Computer Information Systems - Analysis and Technologies, 2011

2010

Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.

Raju Halder, Shantanu Pal, Agostino Cortesi

J. Univers. Comput. Sci., 2010

Dependence condition graph for semantics-based abstract program slicing.

Agostino Cortesi, Raju Halder

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Obfuscation-based analysis of SQL injection attacks.

Raju Halder, Agostino Cortesi

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Fine Grained Access Control for Relational Databases by Abstract Interpretation.

Raju Halder, Agostino Cortesi

Proceedings of the Software and Data Technologies - 5th International Conference, 2010

Observation-based Fine Grained Access Control for Relational Databases.

Raju Halder, Agostino Cortesi

Proceedings of the ICSOFT 2010, 2010

A Persistent Public Watermarking of Relational Databases.

Raju Halder, Agostino Cortesi

Proceedings of the Information Systems Security - 6th International Conference, 2010

2009

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

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009