default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRaju Halder
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2012
[b1]Raju Halder:
Extending abstract interpretation to new applicative scenarios. Ca' Foscari University of Venice, Italy, 2012
Journal Articles
- 2024
- [j22]Rajeshwar Yadav
, Raju Halder, Gourinath Banda:
Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition. IEEE Access 12: 132084-132095 (2024) - [j21]Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar:
AgroBLF: blockchain-based framework for smart agriculture. Innov. Syst. Softw. Eng. 20(3): 443-453 (2024) - [j20]Suryakanta Panda, Swagatika Sahoo, Raju Halder, Samrat Mondal:
Contextual attribute-based access control scheme for cloud storage using blockchain technology. Softw. Pract. Exp. 54(10): 2042-2062 (2024) - 2023
- [j19]Md Tauseef Alam, Raju Halder, Abyayananda Maiti:
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata. Frontiers Blockchain 6 (2023) - [j18]Atul Thakur, Swagatika Sahoo, Arnab Mukherjee, Raju Halder:
Making Robotic Swarms Trustful: A Blockchain-Based Perspective. J. Comput. Inf. Sci. Eng. 23(6) (2023) - [j17]Sujit Chowdhury, Arnab Mukherjee, Raju Halder:
${\sf FedRLChain}$: Secure Federated Deep Reinforcement Learning With Blockchain. IEEE Trans. Serv. Comput. 16(6): 3865-3878 (2023) - 2022
- [j16]Sapana Rani, Raju Halder:
Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study. IEEE Access 10: 27970-27989 (2022) - [j15]Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur:
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. IEEE Access 10: 72535-72544 (2022) - [j14]Sapana Rani, Raju Halder:
An efficient format-independent watermarking framework for large-scale data sets. Expert Syst. Appl. 208: 118085 (2022) - [j13]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): 2116-2141 (2022) - 2021
- [j12]Swagatika Sahoo, Arnab Mukherjee, Raju Halder:
A unified blockchain-based platform for global e-waste management. Int. J. Web Inf. Syst. 17(5): 449-479 (2021) - [j11]Swagatika Sahoo, Raju Halder:
Traceability and ownership claim of data on big data marketplace using blockchain technology. J. Inf. Telecommun. 5(1): 35-61 (2021) - [j10]Md. Imran Alam, Raju Halder, Jorge Sousa Pinto:
A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175: 110903 (2021) - [j9]Md. Imran Alam, Raju Halder:
Formal Verification of Database Applications Using Predicate Abstraction. SN Comput. Sci. 2(2): 135 (2021) - 2020
- [j8]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): 463-494 (2020) - 2018
- [j7]Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli:
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31: 98-135 (2018) - 2017
- [j6]Sapana Rani, Dileep Kumar Koshley, Raju Halder:
Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases. Trans. Large Scale Data Knowl. Centered Syst. 36: 172-192 (2017) - 2016
- [j5]Md. Imran Alam, Raju Halder:
Refining dependencies for information flow analysis of database applications. Int. J. Trust. Manag. Comput. Commun. 3(3): 193-223 (2016) - [j4]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: 23-44 (2016) - 2013
- [j3]Raju Halder, Agostino Cortesi:
Abstract program slicing on dependence condition graphs. Sci. Comput. Program. 78(9): 1240-1263 (2013) - 2012
- [j2]Raju Halder, Agostino Cortesi:
Abstract interpretation of database query languages. Comput. Lang. Syst. Struct. 38(2): 123-157 (2012) - 2010
- [j1]Raju Halder, Shantanu Pal, Agostino Cortesi:
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. J. Univers. Comput. Sci. 16(21): 3164-3190 (2010)
Conference and Workshop Papers
- 2024
- [c45]Raju Halder:
State-based Invariant Property Generation of Solidity Smart Contracts using Abstract Interpretation. Blockchain 2024: 235-242 - [c44]Aritra Bhaduri, Ayush Kumar Jain, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar:
Metasurance: A Blockchain-Based Insurance Management Framework for Metaverse. ENASE 2024: 190-201 - 2023
- [c43]Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda:
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. AIR 2023: 70:1-70:6 - [c42]Arnab Mukherjee, Raju Halder, Joydeep Chandra, Shailesh Shrivastava:
HealthChain: A Blockchain-aided Federated Healthcare Management System. ICBC 2023: 1-5 - [c41]Swagatika Sahoo, Raju Halder, Samrat Mondal:
An Automated Policy Verification and Enforcement Framework for Ethereum Applications. ICBC 2023: 1-5 - 2022
- [c40]Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti, Amrita Chaturvedi:
SmartMixModel: Machine Learning-based Vulnerability Detection of Solidity Smart Contracts. Blockchain 2022: 37-44 - [c39]Suryakanta Panda, Arnab Mukherjee, Raju Halder, Samrat Mondal:
Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System. ICBC 2022: 1-5 - [c38]Oindrila Bhadra, Swagatika Sahoo, Chandra Mohan Kumar, Raju Halder:
Decentralized Insurance Subrogation Using Blockchain. ICBTA 2022: 1-9 - 2021
- [c37]Arnab Mukherjee, Raju Halder:
An Integrated Platform for Vehicle-Related Services and Records Management Using Blockchain Technology. ACIIDS (Companion) 2021: 337-351 - [c36]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: 33:1-33:5 - [c35]Md Tauseef Alam, Sujit Chowdhury, Raju Halder, Abyayananda Maiti:
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison. Blockchain 2021: 499-504 - [c34]Akshay M. Fajge, Siddharth Thakur, Rahul Kumar, Raju Halder:
An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications. BRAINS 2021: 1-3 - [c33]Md. Imran Alam, Raju Halder:
Tailoring Taint Analysis for Database Applications in the K Framework. DATA 2021: 370-377 - [c32]Arya Das, Raju Halder, Atul Thakur:
Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot. TENCON 2021: 863-868 - [c31]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: 1153-1160 - 2020
- [c30]Swagatika Sahoo, Rishu Roshan, Vikash Singh, Raju Halder:
BDmark: A Blockchain-Driven Approach to Big Data Watermarking. ACIIDS (Companion) 2020: 71-84 - [c29]Bhavye Sharma, Raju Halder, Jawar Singh:
Blockchain-based Interoperable Healthcare using Zero-Knowledge Proofs and Proxy Re-Encryption. COMSNETS 2020: 1-6 - [c28]Swagatika Sahoo, Raju Halder:
Blockchain-Based Forward and Reverse Supply Chains for E-waste Management. FDSE 2020: 201-220 - [c27]Arnab Mukherjee, Raju Halder:
PoliceChain: Blockchain-Based Smart Policing System for Smart Cities. SIN 2020: 6:1-6:5 - 2018
- [c26]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: 359-366 - [c25]Angshuman Jana, Md. Imran Alam, Raju Halder:
A Symbolic Model Checker for Database Programs. ICSOFT 2018: 381-388 - 2017
- [c24]Dileep Kumar Koshley, Sapana Rani, Raju Halder:
Towards Generalization of Privacy Policy Specification and Property-Based Information Leakage. ICISS 2017: 68-87 - [c23]Raju Halder, José Proença, Nuno Macedo, André Santos:
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE 2017: 44-50 - [c22]Sapana Rani, Dileep Kumar Koshley, Raju Halder:
Adapting MapReduce for Efficient Watermarking of Large Relational Dataset. TrustCom/BigDataSE/ICESS 2017: 729-736 - 2016
- [c21]Sapana Rani, Dileep Kumar Koshley, Raju Halder:
A Watermarking Framework for Outsourced and Distributed Relational Databases. FDSE 2016: 175-188 - [c20]Angshuman Jana, Raju Halder:
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications. ICISS 2016: 151-171 - 2015
- [c19]Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, Raju Halder:
On Preventing SQL Injection Attacks. ACSS (1) 2015: 49-64 - [c18]Sapana Rani, Preeti Kachhap, Raju Halder:
Data-Flow Analysis-Based Approach of Database Watermarking. ACSS (1) 2015: 153-171 - [c17]Angshuman Jana, Raju Halder, Nabendu Chaki, Agostino Cortesi:
Policy-Based Slicing of Hibernate Query Language. CISIM 2015: 267-281 - [c16]Dileep Kumar Koshley, Raju Halder:
Data cleaning: An abstraction-based approach. ICACCI 2015: 713-719 - [c15]Angshuman Jana, Raju Halder, Agostino Cortesi:
Verification of Hibernate Query Language by Abstract Interpretation. IScIDE (2) 2015: 116-128 - [c14]Md. Imran Alam, Raju Halder:
Data-Centric Refinement of Information Flow Analysis of Database Applications. SSCC 2015: 506-518 - 2014
- [c13]Agostino Cortesi, Raju Halder:
Information-Flow Analysis of Hibernate Query Language. FDSE 2014: 262-274 - [c12]Raju Halder, Matteo Zanioli, Agostino Cortesi:
Information leakage analysis of database query languages. SAC 2014: 813-820 - 2013
- [c11]Agostino Cortesi, Raju Halder:
Abstract Interpretation of Recursive Queries. ICDCIT 2013: 157-170 - [c10]Raju Halder, Agostino Cortesi:
Abstract program slicing of database query languages. SAC 2013: 838-845 - 2012
- [c9]Raju Halder, Agostino Cortesi:
Tukra: An Abstract Program Slicing Tool. ICSOFT 2012: 178-183 - 2011
- [c8]Raju Halder, Agostino Cortesi:
Observation-Based Fine Grained Access Control for XML Documents. CISIM 2011: 267-276 - [c7]Raju Halder, Agostino Cortesi:
Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296 - 2010
- [c6]Raju Halder, Agostino Cortesi:
A Persistent Public Watermarking of Relational Databases. ICISS 2010: 216-230 - [c5]Raju Halder, Agostino Cortesi:
Fine Grained Access Control for Relational Databases by Abstract Interpretation. ICSOFT (Selected Papers) 2010: 235-249 - [c4]Raju Halder, Agostino Cortesi:
Observation-based Fine Grained Access Control for Relational Databases. ICSOFT (1) 2010: 254-265 - [c3]Raju Halder, Agostino Cortesi:
Obfuscation-based analysis of SQL injection attacks. ISCC 2010: 931-938 - [c2]Agostino Cortesi, Raju Halder:
Dependence condition graph for semantics-based abstract program slicing. LDTA 2010: 4 - 2009
- [c1]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
Informal and Other Publications
- 2024
- [i4]Ankit K. Bhagat, Dipika Jha, Raju Halder, Rajendra N. Paramanik, Chandra Mohan Kumar:
IITP-VDLand: A Comprehensive Dataset on Decentraland Parcels. CoRR abs/2404.07533 (2024) - [i3]Sujit Chowdhury, Raju Halder:
FedSat: A Statistical Aggregation Approach for Class Imbalaced Clients in Federated Learning. CoRR abs/2407.03862 (2024) - [i2]Kartik Kaushik, Raju Halder, Samrat Mondal:
Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment. CoRR abs/2409.01804 (2024) - [i1]Md Tauseef Alam, Raju Halder, Abyayananda Maiti:
Detection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities. CoRR abs/2409.10574 (2024)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
