Raju Halder

Most-cited papers

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Raju Halder, José Proença, Nuno Macedo, A. Santos
2017FME Workshop on Formal Methods in Software Engineering70 citations Open access
Semantic Scholar
Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption
Bhavye Sharma, Raju Halder, Jawar Singh
2020International Conference on Communication Systems and Networks52 citations
Semantic Scholar
A unified blockchain-based platform for global e-waste management
Swagatika Sahoo, Arnab Mukherjee, Raju Halder
2021International Journal of Web Information Systems46 citations
Semantic Scholar
On Preventing SQL Injection Attacks
B. Ahuja, Angshuman Jana, A. Swarnkar, Raju Halder
2015International Doctoral Symposium on Applied Computation and Security Systems38 citations
Semantic Scholar
SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts
Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti +1 more
2022International Congress on Blockchain and Applications31 citations
Semantic Scholar
A Hierarchical and Abstraction-Based Blockchain Model
Swagatika Sahoo, A. Fajge, Raju Halder, Agostino Cortesi
2019Applied Sciences29 citations Open access
Semantic Scholar
Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study
S. Rani, Raju Halder
2022IEEE Access28 citations Open access
Semantic Scholar
A Persistent Public Watermarking of Relational Databases
Raju Halder, Agostino Cortesi
2010International Conferences on Information Science and System26 citations
Semantic Scholar
Traceability and ownership claim of data on big data marketplace using blockchain technology
Swagatika Sahoo, Raju Halder
2020Journal of Information and Telecommunication24 citations Open access
Semantic Scholar
Investigating the impact of structural and temporal behaviors in Ethereum phishing users detection
Medhasree Ghosh, Dyuti Ghosh, Raju Halder, Joydeep Chandra
2023Blockchain: Research and Applications23 citations Open access
Semantic Scholar
Blockchain-Based Forward and Reverse Supply Chains for E-waste Management
Swagatika Sahoo, Raju Halder
2020International Conference on Future Data and Security Engineering23 citations
Semantic Scholar
Extending Abstract Interpretation to Dependency Analysis of Database Applications
Angshuman Jana, Raju Halder, Kalahasti Venkata Abhishekh, Sanjeevini Devi Ganni +1 more
2020IEEE Transactions on Software Engineering21 citations Open access
Semantic Scholar
CATALOG: Exploiting Joint Temporal Dependencies for Enhanced Phishing Detection on Ethereum
Medhasree Ghosh, Swapnil Srivastava, Apoorva Upadhyaya, Raju Halder +1 more
2025The Web Conference17 citations Open access
Semantic Scholar
Persistent Watermarking of Relational Databases
Raju Halder, Agostino Cortesi
201017 citations
Semantic Scholar
Information leakage analysis of database query languages
Raju Halder, Matteo Zanioli, Agostino Cortesi
2014ACM Symposium on Applied Computing16 citations
Semantic Scholar
${\sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain
S. Chowdhury, Arnab Mukherjee, Raju Halder
2023IEEE Transactions on Services Computing15 citations
Semantic Scholar
Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities
Md Tauseef Alam, Raju Halder, Abyayananda Maiti
2024arXiv.org14 citations
Semantic Scholar
Abstract program slicing on dependence condition graphs
Raju Halder, Agostino Cortesi
2013Science of Computer Programming14 citations Open access
Semantic Scholar
Cooperative Query Answering by Abstract Interpretation
Raju Halder, Agostino Cortesi
2011Conference on Current Trends in Theory and Practice of Informatics14 citations Open access
Semantic Scholar
An efficient format-independent watermarking framework for large-scale data sets
S. Rani, Raju Halder
2022Expert systems with applications12 citations
Semantic Scholar
Abstract program slicing of database query languages
Raju Halder, Agostino Cortesi
2013ACM Symposium on Applied Computing12 citations
Semantic Scholar
A Symbolic Model Checker for Database Programs
Angshuman Jana, M. I. Alam, Raju Halder
2018International Conference on Software and Data Technologies11 citations Open access
Semantic Scholar
SpaTeD: Sparsity-Aware Tensor Decomposition-Based Representation Learning Framework for Phishing Scams Detection
Medhasree Ghosh, Raju Halder, Joydeep Chandra
2025IEEE Transactions on Computational Social Systems10 citations
Semantic Scholar
TREAT: Temporal and Relational Attention-Based Tensor Representation Learning for Ethereum Phishing Users
Medhasree Ghosh, Raju Halder, Joydeep Chandra
2025IEEE Transactions on Services Computing10 citations
Semantic Scholar
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul C. Thakur
2022IEEE Access10 citations Open access
Semantic Scholar
BDmark: A Blockchain-Driven Approach to Big Data Watermarking
Swagatika Sahoo, Rishu Roshan, V. Singh, Raju Halder
2020Asian Conference on Intelligent Information and Database Systems10 citations
Semantic Scholar
PoliceChain: Blockchain-Based Smart Policing System for Smart Cities
Arnab Mukherjee, Raju Halder
2020International Conference on Security of Information and Networks10 citations
Semantic Scholar
Abstract Interpretation of Recursive Queries
Agostino Cortesi, Raju Halder
2013International Conference on Distributed Computing and Internet Technology10 citations
Semantic Scholar
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications
Angshuman Jana, Raju Halder
2016International Conferences on Information Science and System9 citations
Semantic Scholar
Making Robotic Swarms Trustful: A Blockchain-Based Perspective
A. Thakur, Swagatika Sahoo, Arnab Mukherjee, Raju Halder
2023Journal of Computing and Information Science in Engineering8 citations
Semantic Scholar
Combining Symbolic and Numerical Domains for Information Leakage Analysis
Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
2018IFIP International Conference on Theoretical Computer Science8 citations
Semantic Scholar
Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases
S. Rani, Dileep Kumar Koshley, Raju Halder
2017Trans. Large Scale Data Knowl. Centered Syst.8 citations
Semantic Scholar
Contextual attribute‐based access control scheme for cloud storage using blockchain technology
Suryakanta Panda, Swagatika Sahoo, Raju Halder, S. Mondal
2023Software, Practice & Experience7 citations
Semantic Scholar
AgroBLF: blockchain-based framework for smart agriculture
Oindrila Bhadra, Swagatika Sahoo, Raju Halder, C. Mohan Kumar
2022Innovations in Systems and Software Engineering7 citations Open access
Semantic Scholar
Information-Flow Analysis of Hibernate Query Language
Agostino Cortesi, Raju Halder
2014International Conference on Future Data and Security Engineering7 citations Open access
Semantic Scholar
Fine Grained Access Control for Relational Databases by Abstract Interpretation
Raju Halder, Agostino Cortesi
2010International Conference on Software and Data Technologies7 citations Open access
Semantic Scholar
SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting
Md Tauseef Alam, Sorbajit Goswami, Khushi Singh, Raju Halder +2 more
2025International Symposium on Electronic Commerce6 citations Open access
Semantic Scholar
TEMPER: Capturing Consistent and Fluctuating TEMPoral User Behaviour for EtheReum Phishing Scam Detection
Medhasree Ghosh, Chirag Jain, Raju Halder, Joydeep Chandra
2025Knowledge Discovery and Data Mining6 citations Open access
Semantic Scholar
A blockchain-based integrated and interconnected hybrid platform for Smart City ecosystem
Arnab Mukherjee, Swagatika Sahoo, Raju Halder
2022Peer-to-Peer Networking and Applications6 citations
Semantic Scholar
Formal Veriﬁcation and Code Generation for Solidity Smart Contracts
Neeraj Kumar Singh, A. Fajge, Raju Halder, M. I. Alam
20226 citations
Semantic Scholar
Data cleaning: An abstraction-based approach
Dileep Kumar Koshley, Raju Halder
2015International Conference on Advances in Computing, Communications and Informatics6 citations
Semantic Scholar
Data-Flow Analysis-Based Approach of Database Watermarking
S. Rani, Preeti Kachhap, Raju Halder
2015International Doctoral Symposium on Applied Computation and Security Systems6 citations
Semantic Scholar
A Systematic Review on Ethereum Phishing Scam Detection: Challenges, Empirical Insights, and Future Directions
Medhasree Ghosh, Raju Halder, Joydeep Chandra
2025Blockchain: Research and Applications5 citations Open access
Semantic Scholar
Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation
Maitri Kushwaha, Arnab Mukherjee, A. Pandey, Raju Halder
2024International Conferences on Information Science and System5 citations
Semantic Scholar
SIRD-YOLO: an enhanced deep learning model for weapon detection using spatial interactions and diverse receptive fields
Rajeshwar Yadav, Raju Halder, Atul C. Thakur, Gourinath Banda
2024Innovations in Systems and Software Engineering5 citations
Semantic Scholar
A deductive reasoning approach for database applications using verification conditions
M. I. Alam, Raju Halder, J. Pinto
2021Journal of Systems and Software5 citations
Semantic Scholar
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison
Md Tauseef Alam, S. Chowdhury, Raju Halder, Abyayananda Maiti
2021International Congress on Blockchain and Applications5 citations
Semantic Scholar
Adapting MapReduce for Efficient Watermarking of Large Relational Dataset
S. Rani, Dileep Kumar Koshley, Raju Halder
20172017 IEEE Trustcom/BigDataSE/ICESS5 citations
Semantic Scholar
A Watermarking Framework for Outsourced and Distributed Relational Databases
S. Rani, Dileep Kumar Koshley, Raju Halder
2016International Conference on Future Data and Security Engineering5 citations
Semantic Scholar
Policy-Based Slicing of Hibernate Query Language
Angshuman Jana, Raju Halder, N. Chaki, Agostino Cortesi
2015International Conference on Computer Information Systems and Industrial Management Applications5 citations Open access
Semantic Scholar