Raju Halder Raju Halder
Dr. Raju Halder
Associate Professor
Department of Computer Science & Engineering
Indian Institute of Technology Patna, Bihta-801106, Patna, Bihar, India
Email: halder[AT]iitp[dot]ac[dot]in


Office Room
R-406, 4th Floor, Block 3
Phone: +91 6115 233009

Programming LANguages & Robotics (PLANR) Lab
R-502, 5th Floor, Block 3
Phone: +91 6115 233889


Quick Links: DBLP List | Google Scholar List
Jump To: Journals and Book Chapters | Conferences | Dissertation


Publications


Journals and Book Chapters:
  1. Arnab Mukherjee, Swagatika Sahoo and Raju Halder. A Blockchain-Based Integrated and Interconnected Hybrid Platform for Smart City Ecosystem. Peer-to-Peer Networking and Applications, Springer, 2022. (Accepted)

  2. Sapana Rani, Raju Halder. Comparative Analysis of Relational Database Watermarking Techniques: An Empirical Study. IEEE Access, Volume 10: 27970-27989. IEEE, 2022.

  3. Md. Imran Alam, Raju Halder, and Jorge Sousa Pinto. A Deductive Reasoning Approach for Database Applications using Verification Conditions. The Journal of Systems & Software, Volume 175: 110903. Elsevier Ed., 2021.

  4. Neeraj Kumar Singh, Akshay M. Fajge, Raju Halder, Md. Imran Alam. Formal Verification and Code Generation for Solidity Smart Contracts. In R. Pandey, S. Goundar, S. Fatima (Eds.), Distributed Computing to Blockchain: Architecture, Technology, and Applications, Elsevier Ed., 2022. (Accepted)

  5. Raju Halder, Md. Imran Alama, Akshay M. Fajge, Neeraj Kumar Singh, Agostino Cortesi. Analyzing Information Flow in Solidity Smart Contracts. In R. Pandey, S. Goundar, S. Fatima (Eds.), Distributed Computing to Blockchain: Architecture, Technology, and Applications, Elsevier Ed., 2022. (Accepted)

  6. Swagatika Sahoo, Arnab Mukherjee, and Raju Halder. A Unified Blockchain-based Platform for Global e-waste Management. International Journal of Web Information Systems, Volume 17(5): 449-479. Emerald Publishing, 2021.

  7. Md. Imran Alam and Raju Halder. Formal Verification of Database Applications using Predicate Abstraction. Springer Nature Computer Science, Volume 2(2): 135. Springer, 2021.

  8. Swagatika Sahoo and Raju Halder. Traceability and Ownership Claim of Data on Big Data Marketplace using Blockchain Technology. Journal of Information and Telecommunication, Volume 5(1): 35-61. Taylor & Francis, 2021.

  9. Angshuman Jana, Raju Halder, K. V. Abhishekh, S. D. Ganni, and Agostino Cortesi. Extending Abstract Interpretation to Dependency Analysis of Database Applications. IEEE Transactions on Software Engineering, Volume 46(5): 463-494. IEEE, 2020.

  10. Swagatika Sahoo, Akshay M. Fajge, Raju Halder, and Agostino Cortesi. A Hierarchical and Abstraction-based Blockchain Model. Applied Sciences, Volume 9 (11): 1-20. MDPI, 2019.

  11. Agostino Cortesi, Pietro Ferrara, Raju Halder, and Matteo Zanioli. Combining Symbolic and Numerical Domains for Information Leakage Analysis. LNCS Transactions on Computational Science, Volume 31: 98-135. Springer LNCS 10730, 2018.

  12. Sapana Rani, Dileep Kumar Koshley, and Raju Halder. Partitioning-Insensitive Watermarking Approach for Distributed Relational Databases. LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, Volume 36: 172-192. Springer LNCS 10720, 2017.

  13. Raju Halder, Angshuman Jana, and Agostino Cortesi. Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain. LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, Volume 23: 23-44. Springer LNCS 9480, 2016.

  14. Md. Imran Alam and Raju Halder. Refining Dependences for Information Flow Analysis of Database Applications. International Journal of Trust Management in Computing and Communications, 3(3): 193-223. Inderscience, 2016.

  15. Sapana Rani, Preeti Kachhap, and Raju Halder. Data-flow Analysis-based Approach of Database Watermarking. In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki (Eds.), Advanced Computing and Systems for Security, Pages 153-171. Springer AISC 396, 2016.

  16. Bharat Kumar Ahuja, Angshuman Jana, Ankit Swarnkar, and Raju Halder. On Preventing SQL Injection Attacks. In R. Chaki, A. Cortesi, K. Saeed, and N. Chaki (Eds.), Advanced Computing and Systems for Security, Pages 49-64. Springer AISC 395, 2016.

  17. Raju Halder and Agostino Cortesi. Abstract Program Slicing on Dependence Condition Graph. Science of Computer Programming, 78(9): 1240-1263. Elsevier Ed., 2013.

  18. Raju Halder and Agostino Cortesi. Fine Grained Access Control for Relational Databases by Abstract Interpretation. In Josè Cordeiro, Maria Virvou and Boris Shishkov (Eds.), Software and Data Technologies, Pages 235-249. Springer CCIS 170, 2013.

  19. Raju Halder and Agostino Cortesi. Observation-based Fine Grained Access Control of Data. International Journal of Computer Information Systems and Industrial Management Applications, Volume 5: 671-684, 2013.

  20. Raju Halder and Agostino Cortesi. Abstract Interpretation of Database Query Languages. Computer Languages, Systems & Structures, 38(2): 123-157. Elsevier Ed., 2012.

  21. 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-based Locking. Engineering Letters, 19(2): 84-94, 2011.

  22. Raju Halder, Shantanu Pal, and Agostino Cortesi. Watermarking Techniques for Relational Databases: Survey, Classification and Comparison. Journal of Universal Computer Science, 16(21): 3164-3190, 2010.

  23. S. S. Sarma, S. Naskar, K. Basuli, and Raju Halder Research Note The Obscure History of Graph. The Icfai University Journal of Computer Sciences, III(2): 74-78, 2009.


International Conference Proceedings:

  1. 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), Shanghai, China, 2-5 May 2022. IEEE Press.

  2. 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.

  3. 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.

  4. 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 Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS '21), Pages 1-3. Paris, France, 27-30 Sept 2021. IEEE Press.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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)

  19. 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.

  20. 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.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

  25. 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.

  26. 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.

  27. 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)

  28. 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.

  29. 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.

  30. 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.

  31. 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.

  32. 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.

  33. 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.

  34. 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.

  35. 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.

  36. 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.

  37. 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..

  38. 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.

  39. 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.

  40. 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.

  41. 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

  42. 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.

  43. 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.

Ph.D. Dissertation:
  1. Raju Halder. Extending Abstract Interpretation to New Applicative Scenarios. DAIS, Università Ca' Foscari Venezia, Italy, March 2012.


Latest update: May 15, 2022.