Raju Halder

86 papers A* 1B 4C 9Misc 8Journal 35Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Dynamic Context-Aware and Role-Capability Based Access Control Mechanism for Internet of Things.
J. Netw. Syst. Manag.
Rudra Krishnasrija, Amit Kr Mandal, Raju Halder, Agostino Cortesi
2026 J jnl
Confusion-Calibrated Cross-Entropy and Class-Specialized Aggregation for Robust Federated Learning under Extreme Data Heterogeneity.
Knowl. Based Syst.
Sujit Chowdhury, Raju Halder
2025 J jnl
Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation.
Innov. Syst. Softw. Eng.
Kartik Kaushik, Raju Halder, Samrat Mondal
2025 J jnl
Anomaly-free federated access control policy enforcement framework for ethereum.
Clust. Comput.
Swagatika Sahoo, Raju Halder, Samrat Mondal
2025 A* conf
CATALOG: Exploiting Joint Temporal Dependencies for Enhanced Phishing Detection on Ethereum.
WWW
Medhasree Ghosh, Swapnil Srivastava, Apoorva Upadhyaya, Raju Halder, Joydeep Chandra
2025 J jnl
FLsim: A Modular and Library-Agnostic Simulation Framework for Federated Learning.
CoRR
Arnab Mukherjee, Raju Halder, Joydeep Chandra
2025 J jnl
Near-Pruned single assignment transformation of programs.
J. Comput. Lang.
Akshay M. Fajge, Raju Halder
2025 J jnl
SIRD-YOLO: an enhanced deep learning model for weapon detection using spatial interactions and diverse receptive fields.
Innov. Syst. Softw. Eng.
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
2025 — conf
SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting.
ISEC
Md Tauseef Alam, Sorbajit Goswami, Khushi Singh, Raju Halder, Abyayananda Maiti, Soumyadip Banerjee
2025 J jnl
SpaTeD: Sparsity-Aware Tensor Decomposition-Based Representation Learning Framework for Phishing Scams Detection.
IEEE Trans. Comput. Soc. Syst.
Medhasree Ghosh, Raju Halder, Joydeep Chandra
2025 — conf
TEMPER: Capturing Consistent and Fluctuating TEMPoral User Behaviour for EtheReum Phishing Scam Detection.
KDD (1)
Medhasree Ghosh, Chirag Dinesh Jain, Raju Halder, Joydeep Chandra
2025 J jnl
TREAT: Temporal and Relational Attention-Based Tensor Representation Learning for Ethereum Phishing Users.
IEEE Trans. Serv. Comput.
Medhasree Ghosh, Raju Halder, Joydeep Chandra
2025 — conf
When Humor Crosses the Line: Decoding Offensiveness in Meme-Ads Through Language Model Reasoning.
CISIM
Shambhavi, Dipika Jha, Raju Halder
2024 J jnl
AgroBLF: blockchain-based framework for smart agriculture.
Innov. Syst. Softw. Eng.
Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar
2024 J jnl
Contextual attribute-based access control scheme for cloud storage using blockchain technology.
Softw. Pract. Exp.
Suryakanta Panda, Swagatika Sahoo, Raju Halder, Samrat Mondal
2024 J jnl
Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities.
CoRR
Md Tauseef Alam, Raju Halder, Abyayananda Maiti
2024 J jnl
FedSat: A Statistical Aggregation Approach for Class Imbalaced Clients in Federated Learning.
CoRR
Sujit Chowdhury, Raju Halder
2024 J jnl
IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels.
CoRR
Ankit K. Bhagat, Dipika Jha, Raju Halder, Rajendra N. Paramanik, Chandra Mohan Kumar
2024 J jnl
Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition.
IEEE Access
Rajeshwar Yadav, Raju Halder, Gourinath Banda
2024 B conf
Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse.
ENASE
Aritra Bhaduri, Ayush Kumar Jain, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar
2024 Misc conf
Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation.
ICISS
Maitri Kushwaha, Arnab Mukherjee, Aishwarya Pandey, Raju Halder
2024 — conf
State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation.
Blockchain
Raju Halder
2024 J jnl
Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment.
CoRR
Kartik Kaushik, Raju Halder, Samrat Mondal
2023 J jnl
${\sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain.
IEEE Trans. Serv. Comput.
Sujit Chowdhury, Arnab Mukherjee, Raju Halder
2023 — conf
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.
AIR
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
2023 C conf
An Automated Policy Verification and Enforcement Framework for Ethereum Applications.
ICBC
Swagatika Sahoo, Raju Halder, Samrat Mondal
2023 J jnl
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata.
Frontiers Blockchain
Md Tauseef Alam, Raju Halder, Abyayananda Maiti
2023 C conf
HealthChain: A Blockchain-aided Federated Healthcare Management System.
ICBC
Arnab Mukherjee, Raju Halder, Joydeep Chandra, Shailesh Shrivastava
2023 J jnl
Making Robotic Swarms Trustful: A Blockchain-Based Perspective.
J. Comput. Inf. Sci. Eng.
Atul Thakur, Swagatika Sahoo, Arnab Mukherjee, Raju Halder
2022 J jnl
A blockchain-based integrated and interconnected hybrid platform for Smart City ecosystem.
Peer-to-Peer Netw. Appl.
Arnab Mukherjee, Swagatika Sahoo, Raju Halder
2022 J jnl
An efficient format-independent watermarking framework for large-scale data sets.
Expert Syst. Appl.
Sapana Rani, Raju Halder
2022 C conf
Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System.
ICBC
Suryakanta Panda, Arnab Mukherjee, Raju Halder, Samrat Mondal
2022 J jnl
Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study.
IEEE Access
Sapana Rani, Raju Halder
2022 — conf
Decentralized Insurance Subrogation Using Blockchain.
ICBTA
Oindrila Bhadra, Swagatika Sahoo, Chandra Mohan Kumar, Raju Halder
2022 J jnl
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion.
IEEE Access
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur
2022 — conf
SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts.
Blockchain
Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti, Amrita Chaturvedi
2021 — conf
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
AIR
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
2021 J jnl
A deductive reasoning approach for database applications using verification conditions.
J. Syst. Softw.
Md. Imran Alam, Raju Halder, Jorge Sousa Pinto
2021 J jnl
A unified blockchain-based platform for global e-waste management.
Int. J. Web Inf. Syst.
Swagatika Sahoo, Arnab Mukherjee, Raju Halder
2021 — conf
An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications.
BRAINS
Akshay M. Fajge, Siddharth Thakur, Rahul Kumar, Raju Halder
2021 — conf
An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology.
ACIIDS (Companion)
Arnab Mukherjee, Raju Halder
2021 — conf
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison.
Blockchain
Md Tauseef Alam, Sujit Chowdhury, Raju Halder, Abyayananda Maiti
2021 C conf
Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot.
TENCON
Arya Das, Raju Halder, Atul Thakur
2021 J jnl
Formal Verification of Database Applications Using Predicate Abstraction.
SN Comput. Sci.
Md. Imran Alam, Raju Halder
2021 C conf
Tailoring Taint Analysis for Database Applications in the K Framework.
DATA
Md. Imran Alam, Raju Halder
2021 J jnl
Traceability and ownership claim of data on big data marketplace using blockchain technology.
J. Inf. Telecommun.
Swagatika Sahoo, Raju Halder
2021 B conf
Wait or Reset Gas Price?: A Machine Learning-based Prediction Model for Ethereum Transactions' Waiting Time.
TrustCom
Akshay M. Fajge, Subhasish Goswami, Arpit Srivastava, Raju Halder
2020 — conf
BDmark: A Blockchain-Driven Approach to Big Data Watermarking.
ACIIDS (Companion)
Swagatika Sahoo, Rishu Roshan, Vikash Singh, Raju Halder
2020 — conf
Blockchain-Based Forward and Reverse Supply Chains for E-waste Management.
FDSE
Swagatika Sahoo, Raju Halder
2020 Misc conf
Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption.
COMSNETS
Bhavye Sharma, Raju Halder, Jawar Singh
2020 J jnl
Extending Abstract Interpretation to Dependency Analysis of Database Applications.
IEEE Trans. Software Eng.
Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni, Agostino Cortesi
2020 C conf
PoliceChain: Blockchain-Based Smart Policing System for Smart Cities.
SIN
Arnab Mukherjee, Raju Halder
2018 C conf
A Symbolic Model Checker for Database Programs.
ICSOFT
Angshuman Jana, Md. Imran Alam, Raju Halder
2018 J jnl
Combining Symbolic and Numerical Domains for Information Leakage Analysis.
Trans. Comput. Sci.
Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
2018 B conf
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.
ENASE
Md. Imran Alam, Raju Halder, Harshita Goswami, Jorge Sousa Pinto
2017 — conf
Adapting MapReduce for Efficient Watermarking of Large Relational Dataset.
TrustCom/BigDataSE/ICESS
Sapana Rani, Dileep Kumar Koshley, Raju Halder
2017 — conf
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.
FormaliSE@ICSE
Raju Halder, José Proença, Nuno Macedo, André Santos
2017 J jnl
Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases.
Trans. Large Scale Data Knowl. Centered Syst.
Sapana Rani, Dileep Kumar Koshley, Raju Halder
2017 Misc conf
Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage.
ICISS
Dileep Kumar Koshley, Sapana Rani, Raju Halder
2016 — conf
A Watermarking Framework for Outsourced and Distributed Relational Databases.
FDSE
Sapana Rani, Dileep Kumar Koshley, Raju Halder
2016 J jnl
Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain.
Trans. Large Scale Data Knowl. Centered Syst.
Raju Halder, Angshuman Jana, Agostino Cortesi
2016 Misc conf
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications.
ICISS
Angshuman Jana, Raju Halder
2016 J jnl
Refining dependencies for information flow analysis of database applications.
Int. J. Trust. Manag. Comput. Commun.
Md. Imran Alam, Raju Halder
2015 — conf
Data cleaning: An abstraction-based approach.
ICACCI
Dileep Kumar Koshley, Raju Halder
2015 — conf
Data-Centric Refinement of Information Flow Analysis of Database Applications.
SSCC
Md. Imran Alam, Raju Halder
2015 — conf
Data-Flow Analysis-Based Approach of Database Watermarking.
ACSS (1)
Sapana Rani, Preeti Kachhap, Raju Halder
2015 — conf
On Preventing SQL Injection Attacks.
ACSS (1)
Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, Raju Halder
2015 — conf
Policy-Based Slicing of Hibernate Query Language.
CISIM
Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi
2015 — conf
Verification of Hibernate Query Language by Abstract Interpretation.
IScIDE (2)
Angshuman Jana, Raju Halder, Agostino Cortesi
2014 Misc conf
Information leakage analysis of database query languages.
SAC
Raju Halder, Matteo Zanioli, Agostino Cortesi
2014 — conf
Information-Flow Analysis of Hibernate Query Language.
FDSE
Agostino Cortesi, Raju Halder
2013 Misc conf
Abstract Interpretation of Recursive Queries.
ICDCIT
Agostino Cortesi, Raju Halder
2013 Misc conf
Abstract program slicing of database query languages.
SAC
Raju Halder, Agostino Cortesi
2013 J jnl
Abstract program slicing on dependence condition graphs.
Sci. Comput. Program.
Raju Halder, Agostino Cortesi
2012 J jnl
Abstract interpretation of database query languages.
Comput. Lang. Syst. Struct.
Raju Halder, Agostino Cortesi
2012 — —
Extending abstract interpretation to new applicative scenarios.
Raju Halder
2012 C conf
Tukra: An Abstract Program Slicing Tool.
ICSOFT
Raju Halder, Agostino Cortesi
2011 B conf
Cooperative Query Answering by Abstract Interpretation.
SOFSEM
Raju Halder, Agostino Cortesi
2011 — conf
Observation-Based Fine Grained Access Control for XML Documents.
CISIM
Raju Halder, Agostino Cortesi
2010 Misc conf
A Persistent Public Watermarking of Relational Databases.
ICISS
Raju Halder, Agostino Cortesi
2010 — conf
Dependence condition graph for semantics-based abstract program slicing.
LDTA
Agostino Cortesi, Raju Halder
2010 — conf
Fine Grained Access Control for Relational Databases by Abstract Interpretation.
ICSOFT (Selected Papers)
Raju Halder, Agostino Cortesi
2010 C conf
Obfuscation-based analysis of SQL injection attacks.
ISCC
Raju Halder, Agostino Cortesi
2010 — conf
Observation-based Fine Grained Access Control for Relational Databases.
ICSOFT (1)
Raju Halder, Agostino Cortesi
2010 J jnl
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison.
J. Univers. Comput. Sci.
Raju Halder, Shantanu Pal, Agostino Cortesi
2009 — conf
An internet-based IP protection scheme for circuit designs using linear feedback shift register (LFSR)-based locking.
SBCCI
Raju Halder, Parthasarathi Dasgupta, Saptarshi Naskar, Samar Sen-Sarma