Rajeswar Yadav, Raju Halder, Gourinath Banda, and Atul Thakur.
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.
Proc. of the 6th International Conference on Advances in Robotics (AIR '23),
IIT Ropar, India, 5-8 July 2023.
ACM Press.
Swagatika Sahoo, Raju Halder, Samrat Mondal.
An Automated Policy Verification and Enforcement Framework for Ethereum Applications.
Proc. of the 5th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '23),
Pages 1-5.
UAE, Dubai, 1-5 May 2023.
IEEE Press.
Arnab Mukherjee, Raju Halder, Joydeep Chandra, Shailesh Shrivastava.
HealthChain: A Blockchain-aided Federated Healthcare Management System.
Proc. of the 5th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '23),
Pages 1-5.
UAE, Dubai, 1-5 May 2023.
IEEE Press.
Oindrila Bhadra, Swagatika Sahoo, Chandra Mohan Kumar, and Raju Halder.
Decentralized Insurance Subrogation Using Blockchain.
Proc. of the 5th International Conference on Blockchain Technology and Applications (ICBTA '22),
Pages 1-9.
Xi'an, China, 16-18 Dec 2022.
ACM Press.
Supriya Shakya, Arnab Mukherjee, Raju Halder, Abyayananda Maiti and Amrita Chaturvedi.
SmartMixModel: Machine Learning-Based Vulnerability Detection of Solidity Smart Contracts.
Proc. of the 5th IEEE International Conference on Blockchain (IEEE Blockchain '22),
Pages 37-44.
Espoo, Finland, 22-25 Aug 2022.
IEEE Press.
Suryakanta Panda, Arnab Mukherjee, Raju Halder, and Samrat Mondal.
Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System.
Proc. of the 4th IEEE International Conference on Blockchain and Cryptocurrency (IEEE ICBC '22),
Pages 1-5.
Shanghai, China, 2-5 May 2022.
IEEE Press.
Swagatika Sahoo, Saksham Jha, Somenath Sarkar and Raju Halder.
BLRS: An Automated Land Records Management System using Blockchain Technology.
Proc. of the 9th International Symposium on Applied Computing for Software and Smart Systems (ACSS '22),
Pages 113-128.
Kolkata, India, 9-10 Sept 2022.
Springer LNNS 555.
Md Tauseef Alam, Sujit Chowdhury, Raju Halder and Abyayananda Maiti.
Blockchain Domain-Specific Languages: Survey, Classification, and Comparison.
Proc. of the 4th IEEE International Conference on Blockchain (IEEE Blockchain '21),
Pages 499-504.
Melbourne, Australia, 6-8 Dec 2021.
IEEE Press.
Akshay M. Fajge, Subhasish Goswami, Arpit Srivastava and Raju Halder.
Wait or Reset Gas Price?: A Machine Learning-based Prediction Model for Ethereum Transactions' Waiting Time.
Proc. of the 20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom '21),
Pages 1153-1160.
Shenyang, China, 18-20 Aug 2021.
IEEE Press.
Akshay M. Fajge, Siddharth Thakur, Rahul Kumar, and Raju Halder.
An Automated Framework for Migrating Java Applications to Ethereum Solidity Applications.
Proc. of the 3rd International Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS '21),
Pages 1-3.
Paris, France, 27-30 Sept 2021.
IEEE Press.
Md. Imran Alam and Raju Halder.
Tailoring Taint Analysis for Database Applications in the K Framework.
Proc. of the 10th International Conference on Data Science, Technology and Applications (DATA '21),
Pages 370-377.
Lieusaint-Paris, France, 6-8 Jul 2021.
SciTePress.
Arya Das, Raju Halder and Atul Thakur.
Deep Reinforcement Learning-Based 3D Exploration with a Wall Climbing Robot.
Proc. of the IEEE International Region 10 Technical Conference (IEEE TENCON '21),
Pages 863-868.
Auckland, New Zealand, 7-10 Dec 2021.
IEEE Press.
Md S. Sarwar, R. Yadav, S. Samanta, R. Ray, Raju Halder, G. Banda, A. Bhattacharya, A. Thakur.
A Robotic Software Framework for Autonomous Navigation in Unknown Environment.
Proc. of the 1st International Symposium of Asian Control Association on Intelligent Robotics and Industrial Automation (IRIA '21),
Pages 345-350.
IIT Goa, India, 20-22 September 2021.
IEEE Press.
Rishikesh, A. Bhattacharya, A. Thakur, G. Banda, R. Ray, Raju Halder.
Secure Communication System Implementation for Robot-based Surveillance Applications.
Proc. of the 1st International Symposium of Asian Control Association on Intelligent Robotics and Industrial Automation (IRIA '21),
Pages 270-275.
IIT Goa, India, 20-22 September 2021.
IEEE Press.
S. Nishad, R. Halder, G. Banda, R. Ray, A. Bhattacharya, and A. Thakur.
A Lizard-inspired Quadruped Robot based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
Proc. of the 5th International Conference on Advances in Robotics (AIR '21),
Pages 33:1-33:5.
IIT Kanpur, India, 30 June-4 July 2021.
ACM Press.
Arnab Mukherjee and Raju Halder.
An Integrated Platform for Vehicle-Related Services and Records Management using Blockchain Technology.
Proc. of the 13th Asian Conference on Intelligent Information and Database Systems (ACIIDS '21),
Pages 337–351.
Phuket, Thailand, 7-10 April 2021.
Springer CCIS 1371.
Swagatika Sahoo and Raju Halder.
Blockchain-based Forward and Reverse Supply Chains for E-Waste Management.
Proc. of the 7th International Conference on Future Data and Security Engineering (FDSE '20),
Pages 201-220.
Binh Dinh, Vietnam, 25-27 Nov 2020.
Springer LNCS 12466.
Arnab Mukherjee and Raju Halder.
PoliceChain: Blockchain-Based Smart Policing System for Smart Cities.
Proc. of the 13th International Conference on Security of Information and Networks (SIN '20),
Pages 6:1-6:5.
Istanbul, Turkey, 4-6 Nov 2020.
ACM Press.
Swagatika Sahoo, Rishu Roshan, Vikash Singh and Raju Halder.
BDmark: A Blockchain-driven Approach to Big Data Watermarking.
Proc. of the 12th Asian Conference on Intelligent Information and Database Systems (ACIIDS '20),
Pages 71-84.
Phuket, Thailand, 23-26 Mar 2020.
Springer CCIS 1178.
Bhavye Sharma, Raju Halder and Jawar Singh.
Blockchain-based Interoperable Healthcare Using Zero-knowledge Proofs and Proxy Re-Encryption.
Proc. of the International Conference on COMmunication Systems and NETworkS (COMSNETS '20),
Pages 1-6.
Bengaluru, India, 7-11 Jan 2020.
IEEE Press.
Angshuman Jana, Md. Imran Alam, and Raju Halder.
A Symbolic Model Checker for Database Programs.
Proc. of the 13th International Conference on Software Technologies (ICSOFT '18),
Pages 347-354.
Porto, Portugal, 26-28 Jul 2018.
SciTePress.
Md. Imran Alam, Raju Halder, Harshita Goswami, and Jorge Sousa Pinto.
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.
Proc. of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE '18),
Pages 359-366.
Funchal, Madeira, Portugal, 23-25 Mar 2018.
SciTePress.
Dileep Kumar Koshley, Sapana Rani, and Raju Halder.
Towards Generalization of Privacy Policy Specification and Property-based Information Leakage.
Proc. of the 13th International Conference on Information Systems Security (ICISS '17),
Pages 68-87.
IIT Bombay, India, 16-20 Dec 2017.
Springer LNCS 10717.
Sapana Rani, Dileep Kumar Koshley, and Raju Halder.
Adapting MapReduce for Efficient Watermarking of Large Relational Dataset.
Proc. of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom '17),
Pages 729-736.
Sydney, Australia, 1-4 Aug 2017.
IEEE CPS. (PPT)
Raju Halder, José Proença, Nuno Macedo, and André Santos.
Formal Verification of ROS-based Robotic Applications using Timed-Automata .
Proc. of the 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE '17), Co-located with ICSE 2017,
Pages 44-50.
Buenos Aires, Argentina, 27 May 2017.
IEEE Press.
Angshuman Jana and Raju Halder.
Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications .
Proc. of the 12th International Conference on Information Systems Security (ICISS '16),
Pages 151-171.
MNIT Jaipur, India, 16-20 Dec 2016.
Springer LNCS 10063.
Sapana Rani, Dileep Kumar Koshley, and Raju Halder.
A Watermarking Framework for Outsourced and Distributed Relational Databases.
Proc. of the 3rd International Conference on Future Data and Security Engineering (FDSE '16),
Pages 175-188.
Can Tho City, Vietnam, 23-25 Nov 2016.
Springer LNCS 10018.
Angshuman Jana and Raju Halder.
SemDDA: A Semantics-based Database Dependency Analyzer.
Appeared in the Poster Session of the 14th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '16),
IIT Kanpur, India, 18-20 Nov 2016.
Angshuman Jana, Raju Halder, Nabendu Chaki, and Agostino Cortesi.
Policy-based Slicing of Hibernate Query Language.
Proc. of the 14th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '15),
Pages 267-281.
Warsaw, Poland, 24-26 September 2015.
Springer LNCS 9339.
Md. Imran Alam and Raju Halder.
Data-centric Refinement of Information Flow Analysis of Database Applications.
Proc. of the 3rd International Symposium on Security in Computing and Communications (SSCC '15),
Pages 506-518.
Kochi, India, 10-13 August 2015.
Springer CCIS 536.
Dileep Khosley and Raju Halder.
Data Cleaning: An Abstraction-based Approach.
Proc. of the 4th International Conference on Advances in Computing, Communications and Informatics (ICACCI '15),
Pages 713-719.
Kochi, India, 10-13 August 2015.
IEEE Press.
Angshuman Jana, Raju Halder, and Agostino Cortesi.
Verification of Hibernate Query Language by Abstract Interpretation.
Proc. of the 5th International Conference on Intelligence Science and Big Data Engineering (IScIDE '15),
Pages 116-128.
Suzhou, China, 14-16 June 2015.
Springer LNCS 9243.
Raju Halder.
Language-based Security Analysis of Database Applications.
Proc. of the IEEE 3rd International Conference on Computer, Communication, Control and Information Technology (C3IT '15),
AOT, West Bengal, India, 7-8 Feb 2015.
IEEE Press. (Invited Paper)
Angshuman Jana, Raju Halder, and Agostino Cortesi.
Abstract Interpretation of Hibernate Query Language.
Appeared in Student Poster Session and Student Research Competition of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15),
Mumbai, India, 12-18 Jan 2015.
Agostino Cortesi and Raju Halder.
Information-flow Analysis of Hibernate Query Language.
Proc. of the 1st International Conference on Future Data and Security Engineering (FDSE '14),
Pages 262-274.
Ho Chi Minh City, Vietnam, 19-21 Nov 2014.
Springer LNCS 8860.
Raju Halder, Matteo Zanioli, and Agostino Cortesi.
Information Leakage Analysis of Database Query Languages.
Proc. of the 29th Symposium on Applied Computing (SAC '14), DTTA Track,
Pages 813-820.
Gyeongju, Korea, 24 - 28 Mar 2014.
ACM Press.
Raju Halder and Agostino Cortesi.
Abstract program slicing of database query languages.
Proc. of the 28th Symposium on Applied Computing (SAC '13), DTTA Track,
Pages 838-845.
Coimbra, Portugal, 18 - 22 March 2013.
ACM Press.
Agostino Cortesi and Raju Halder.
Abstract Interpretation of Recursive Queries.
Proc. of the 9th International Conference on Distributed Computing and Internet Technologies (ICDCIT '13),
Pages 157-170.
Bhubaneswar, Orissa, India, 5-8 Feb 2013.
Springer LNCS 7753.
Raju Halder and Agostino Cortesi.
TUKRA: An Abstract Program Slicing Tool.
Proc. of the 7th International Conference on Software Paradigm Trends (ICSOFT '12),
Pages 178-183.
Rome, Italy, 24-27 Jul 2012.
SciTePress.
Raju Halder and Agostino Cortesi.
Observation-based Fine Grained Access Control for XML Documents.
Proc. of the 10th International Conference on Computer Information Systems and Industrial Management Applications (CISIM '11),
Pages 267-276.
Kolkata, India, 14-16 Dec 2011.
Springer CCIS 245.
Raju Halder and Agostino Cortesi.
Cooperative Query Answering by Abstract Interpretation.
Proc. of the 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM '11),
Pages 284-296.
Novy Smokovec, Slovakia, 22-28 Jan 2011.
Springer LNCS 6543.
Raju Halder and Agostino Cortesi.
A Persistent Public Watermarking of Relational Databases.
Proc. of the 6th International Conference on Information Systems Security (ICISS '10),
Pages 216-230.
Gandhinagar, Gujrat, India, 15-19 Dec 2010.
Springer LNCS 6503.
Raju Halder and Agostino Cortesi.
Persistent Watermarking of Relational Databases.
Proc. of the 1st IEEE International Conference on Advances in Communication, Network, and Computing (CNC '10),
Pages 46-52.
Calicut, Kerala, India, 4-5 Oct 2010.
IEEE Computer Society..
Raju Halder and Agostino Cortesi.
Observation-based Fine Grained Access Control for Relational Databases.
Proc. of the 5th International Conference on Software and Data Technologies (ICSOFT '10),
Pages 254-265.
Athens, Greece, 22-24 Jul 2010.
SciTePress.
Raju Halder and Agostino Cortesi.
Obfuscation-based Analysis of SQL Injection Attacks.
Proc. of the 15th IEEE Symposium on Computers and Communications (ISCC '10),
Pages 931-938.
Riccione, Italy, 22-25 Jun 2010.
IEEE Press.
Raju Halder and Agostino Cortesi.
Abstract Interpretation for Sound Approximation of Database Query Languages.
Proc. of the IEEE 7th International Conference on Informatics and Systems (INFOS '10), Advances in Data Engineering and Management Track,
Pages 53-59.
Cairo, Egypt, 28-30 Mar 2010.
IEEE Press.
Agostino Cortesi and Raju Halder.
Dependence Condition Graph for Semantics-based Abstract Program Slicing.
Proc. of the 10th International Workshop on Language Descriptions Tools and Applications (LDTA '10), Satellite Event of ETAPS '10,
Pages 1-9.
Paphos, Cyprus, 27-28 Mar 2010.
ACM Press
Agostino Cortesi and Raju Halder.
An Abstract Interpretation Framework for Structured Query Languages.
Proc. of the 21st Nordic Workshop on Programming Theory (NWPT '09),
Pages 41-43.
Lyngby, Denmark, 14-16 Oct 2009.
DTU Informatics.
Raju Halder, P. S. Dasgupta, S. Naskar, and S. S. Sarma.
An Internet-based IP Protection Scheme for Circuit Designs using Linear Feedback Shift Register (LFSR)-based Locking.
Proc. of the 22nd ACM/IEEE Annual Symposium on Integrated Circuits and System Design (SBCCI '09),
Pages 1-6.
Natal, Brazil, 31st Aug-3rd Sep 2009.
ACM Press.