profile

Dr. Raju Halder

Associate Professor

Department of Computer Science & Engineering
Indian Institute of Technology Patna, India

halderiitp•ac•in

Office

R-406, 4th Floor, Block 3

+91 612 3028009

Blockchain & Robotics (PLANR) Lab

R-502, 5th Floor, Block 3

+91 612 3028889

  •  Publications  •  Tools Developed  •  PLANR Lab  •  Gallery

   •  Research & Publications  •  Education, Awards & Honours  •  Teaching  •  Professional Activities

News Updates

Mar 10, 2024 • Delivered an invited talk entitled "Recent Trends in Blockchain Technology" in the International Conference on Women in Multifaceted Research (ICWMR 2024), organised by Gopal Narayan Singh University, Rohtas, Bihar.

Mar 1, 2024 • Delivered an invited talk entitled "Formal Analysis and Verification of Blockchain Smart Contracts" in the International Symposium on Security Engineering for Trusted Cyberspace (ISSETC 2024), organised by CDAC Patna at Rajgir, Bihar.

Feb 29, 2024 • Congratulation to my Ph.D. student Md. Tauseef Alam for receiving best poster presentation award (CSE) in Research Scholar Day 2024!

Jan 27, 2024 • Delivered an invited talk entitled "Blockchain Technology and Its Role in the Sustainability of Supply Chain Management" in one day Webinar on "Recent trend in AI and Blockchain Technology Application in Supply Chain Management to meet Sustainable Development Goals", organized by Operational Research Society of India Durgapur Chapter (Jan 27, 2024).

Nov 27, 2023 • Delivered an invited talk entitled "Bitcoin Working Principle: Transactions, Validation, and Mining" in the FDP organized by VIT Vellore (Nov 27, 2023).

Oct 11, 2023 • Delivered an invited talk entitled "Safety and Security Issues in Ethereum Decentralized Application and Possible Preventive Measures" in the FDP organized by G H Raisoni Institute of Engineering and Business Management, Jalgaon (Oct 11, 2023).

July 10, 2023 • Delivered an invited talk entitled "Introduction to Bitcoin and Blockchain Basics" in the DST SERB-sponsored workshop organized by Punjab Engineering College Chandigarh (July 10, 2023).

July 01, 2023 • Work entitled "FedRLChain: Secure Federated Deep Reinforcement Learning with BlockChain" is accepted for publication in "IEEE Transactions on Services Computing" (Core Ranking: A*). Congratulation to the team!

May 18, 2023 • Delivered an invited talk entitled "Safety & Security Issues in Ethereum Decentralized Application and Possible Preventive Measures" in the FDP organized by Tulsiramji Gaikwad - Patil College of Engineering & Technology, Nagpur (May 18, 2023).

Apr 3, 2023 • Delivered an invited talk entitled "Blockchain Technology and Its Applications" in 3-day workshop on Cyber Crime and Cyber Law organized by Mizorum University (3rd Apr 2023).

Feb 15, 2023 • Delivered an invited talk entitled "Safety and Security issues in Ethereum Decentralized Application and Possible preventive measures" in FDP organized by NITTTR Chandigarh (15th Feb 2023).

Jan 3, 2023 • Delivered an invited talk entitled "Introduction to Bitcoin consensus" at Kamaraj College of Engineering and Technology, Tamil Nadu (3rd Jan 2023).

Nov 5, 2022 • Happy to share that Mr. Chandra Mohan Kumar (Director, Digital Practice, Financial Services Capgemini India Limited, Bengaluru) has delivered an interesting talk online entitled: "Metaverse and its Implication in Insurance Industry" for the students at IITP Patna. (5th Nov 2022).

Oct 13, 2022 • Delivered an invited talk entitled "Blockchain Technology: Bitcoin Vs. Ethereum" in the AICTE-ATAL sponsored course at Army Institute of Technology, Pune (13th Oct 2022).

Sept 21, 2022 • Delivered an invited talk on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain in Smart City: Emerging Technologies for the Next Decade and Beyond" at NIT Raipur (21 Sept 2022).

Sept 10, 2022 • Congratulations to my research team (Oindrila Bhadra, Swagatika Sahoo, and Chandra Mohan Kumar) for receiving BEST PAPER award at ACSS 2022. As reward, e-book gift voucher of 250 Euro from Springer Nature has been received.

Aug 2, 2022 • Delighted to serve as an invited speaker in the FDP organized by Ajay Kumar Garg Engineering College, Ghaziabad, UP.

July 30, 2022 • Congratulation! Mrs. Sapana Rani has successfully defended her PhD thesis entitled "Towards Persistency, Distributiveness and Data Format Independency in Database Watermarking". Wising her all the best for her new journey ahead!

July 14, 2022 • Delivered an invited talk entitled "Blockchain Technology: A Potential Game Changer" online in the FDP organized by Haldia Institute of Technology, West Bengal

July 10, 2022 • Delivered an invited talk entitled "Blockchain Revolution: Reshaping the Digital World" online in the FDP organized by GITA Autonomous College, Bhubaneswar.

July 1, 2022 • Succefully concluded online GIAN Course on "A Proof and Refinement based Development for Cyber-Physical Systems" at IIT Patna (June 20, 2022 - July 01, 2022).

May 31, 2022 • We are going to organize a ten days ONLINE GIAN course on "A Proof and Refinement based Development for Cyber-Physical Systems" at IIT Patna from June 20, 2022 - July 01, 2022 sponsored by the Ministry of Education, Govt. of India. The foreign faculty is Dr. Neeraj Kumar Singh, Associate Professor in Computer Science at INPT-ENSEEIHT and member of the ACADIE team at IRIT, France (http://singh.perso.enseeiht.fr).

May 4, 2022 • Cyber Jagrookta Diwas (Ministry of Education, Govt. of India): Delivered a talk online on "Blockchain Technology for Cyber-Security and Safeguarding Electronic Payments" (4 May 2022).

Apr 15, 2022 • Succefully concluded online GIAN Course on "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IIT Patna (4 - 15 Apr 2022).

Apr 11, 2022 • Congratulation to my Ph.D. student Md Tauseef Alam for receiving the Prime Minister's Research Fellowship (PMRF) in December 2021 cycle.

March 24, 2022 • Congratulation to my Ph.D. student Fajge Akshay Madhukarrao for receiving best poster presentation award (CSE) in Research Scholar Day 2022!

Feb 10, 2022 • Delivered an invited talk on ROS in the AICTE-ATAL sponsored course on "Robotics and Artificial Intelligence" at LBRCE, Mylavaram, Andhra Pradesh (10 Feb 2022).

Dec 30, 2021 • We are going to organize a ten days ONLINE GIAN course on "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IIT Patna from 4 April 2022 - 15 April 2022 sponsored by the Ministry of Education, Govt. of India. The foreign faculty is Prof. Agostino Cortesi, full professor, Ca’ Foscari University of Venice, Italy.

Dec 10, 2021 • Delivered invited talks on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain and its Security Perspectives" at IIITG Guwahati (6-10 Dec 2021).

Dec 6, 2021 • Delivered an invited talk on Blockchain Technology in the AICTE-ATAL sponsored course on "Blockchain Technology and its Applications" at IIITDM Kancheepuram (6 Dec 2021).

Oct 01, 2021 • Congratulation! Md. Imran Alam has successfully defended his PhD thesis entitled "Formal Analysis and Verification of Database Applications for Safety and Security Properties". Wising him all the best for his new journey ahead!

Sept 23, 2021 • Delivered a lecture on Robot Operating System (ROS) in the AICTE-ATAL sponsored Course on "Mobile Robotics" at IITP (23 Sept 2021).

Aug 25, 2021 • Delivered an invited talk on "Blockchain Technology: A Potential Game Changer" online organized by G. N. S. University, Rohtas, Bihar.

July 13, 2021 • Delivererd Keynote Talk on "Introduction to Blockchain Technology: A Potential Game Changer" in International Symposium on Blockchain Technology organized by Bharat Institute of Engineering and Technology, Hyderabad (13-15 July 2021)

June 18, 2021 • Delivered a lecture on Robot Operating System (ROS) in the AICTE-ATAL sponsored Course on "Mobile Robotics" at IITP (18 June 2021).

March 16, 2021 • Delighted to serve as invited speaker in QIP Sponsored Short Term Course on "Blockchain: Business Foundations and Solution Architectures" conducted by IIT Indore (24-25 March 2021).

March 20, 2021 • Congratulation to my Ph.D. student Swagatika Sahoo for receiving best poster presentation award (CSE) in Research Scholar Day 2021!

March 16, 2021 • Delighted to serve as invited speaker in AICTE-STTP on "Security in Decentralized Systems and Smart Contracts" conducted by NIT Meghalaya (15-16 March 2021).

Jan 30, 2021 • Delivered an invited talk on "Blockchain Technology: A Potential Game Changer" online organized by Department of Computer Science, Theivanai Ammal College for Women (Autonomous), Villupuram.

Jan 18, 2021 • Delivered a lecture on Blockchain Technology in ATAL FDP "Blockchain Technology - Future of Cyber Security" conducted by Excel Engineering College, Tamil Nadu (18 Jan 2021).

March 16, 2021 • Delighted to serve as invited speaker in AICTE-STTP on "Security in Decentralized Systems and Smart Contracts" conducted by NIT Meghalaya (15-16 March 2021).

Jan 30, 2021 • Delivered an invited talk on "Blockchain Technology: A Potential Game Changer" online organized by Department of Computer Science, Theivanai Ammal College for Women (Autonomous), Villupuram.

Jan 18, 2021 • Delivered a lecture on Blockchain Technology in ATAL FDP "Blockchain Technology - Future of Cyber Security" conducted by Excel Engineering College, Tamil Nadu (18 Jan 2021).

Research & Publications

My current research interests are broadly in the areas of Blockchain Technology and Smart Contracts, Machine Learning and AI in/for Blockchain Technology, Blockchain for Cybersecurity, Formal Methods for Program Analysis and Verification, Information Systems Security, and Robotics. Some highlights of my publications are:

  • Blockchain Transactions' Waiting Time Prediction using Machine Learning.
  • Hierarchical and Abstraction-based Blockchain Model.
  • Blockchain Technology in Smart City Applications.
  • Analysis and Verification of Smart Contracts.
  • Automated Migration from Legacy Systems to Blockchain Systems.
  • Analysis & Verification of Robotics Software Properties.
  • Information Flow Security Analysis.
  • Deductive Reasoning & Model-based Verification of Database Applications.
  • Semantics-based Dependency Analysis of Database Applications.
  • Static Analysis & Verification of Hibernate Query Language.
  • Abstract Interpretation of Database Query Languages.
  • Semantics-based Program Slicing Refinements, etc.

For further details, please visit the PLANR Lab Website.

Education, Awards & Honours

  • Researcher, HASLab (University of Minho), INESC TEC, Portugal (January 2016-December 2016).
  • Post-doctoral Researcher, Macquarie University, Australia (August 2012-December 2012).
  • Post-doctoral Researcher, Ca’ Foscari University of Venice, Italy (January 2012-July 2012).
  • Associate System Engineer, IBM India Pvt. Ltd., India (December 2007-August 2008).

  • Ph.D., Ca’ Foscari University of Venice, Italy (January 2009-December 2011).
  • Research Associate, Ca’ Foscari University of Venice, Italy (September 2008-December 2008).
  • M.Tech., University of Calcutta, India (July 2005-July 2007).

  • IBM AIX Certified.
  • Best Paper Award in CISIM 2011, ACSS 2015, IRIA 2021, ACSS 2022.
  • Received Research Fellowship from “INESC TEC, Portugal”.
  • Received Research Fellowship from “Ministry of Education, Universities and Research (MIUR), Italy”.
  • Received Grant under “Visiting Professor 2023 at National Polytechnic Institute of Toulouse (TOULOUSE INP), France”.

Sponsored Projects

  • Title: Information Leakage Analysis of Database Query Languages

    Principal Investigator: Dr. Raju Halder

    Sponsored Agency: Science & Engineering Research Board (SERB), DST, Govt. of India

    Status: Completed

  • Title: Development of Lizard-like Robotic Spy Surveillance System

    Principal Investigator: Dr. Raju Halder

    Co-Investigators:   Dr. Atul Thakur (IIT Patna)  •  Dr. Gourinath Banda (IIT Indore)  •  Dr. Rajarshi Ray (IACS Kolkata)  •  Dr. Ansuman Bhattacharya (IIT Dhanbad)  

    Sponsored Agency: IMPRINT-II, Science & Engineering Research Board (SERB), DST, Govt. of India

    Status: Completed

  • Title: HealthChain: Blockchain-Based Decentralized Framework with AI-based Predictive Capabilities for Tracking Long-Term Impact of Health Pandemic

    Principal Investigator: Dr. Joydeep Chandra & Dr. Raju Halder

    Co-Investigators:   Shailesh Kumar Shrivastava (DGRC, NIC, Patna)   

    Sponsored Agency: Meity NIC

    Status: Ongoing

  • Title: Blockchain-based Secure Application Development in E-Governance (VRITIKA Training and Skill Internship Program)

    Principal Investigator: Dr. Raju Halder

    Sponsored Agency: Science & Engineering Research Board (SERB), DST, Govt. of India

    Status: Completed

  • Title: LIFTchain: Development of Language-Independent Formal Method Toolchain for Efficient and Verified Blockchain Smart Contracts

    Principal Investigator: Dr. Raju Halder

    Sponsored Agency: Core Research Grant, Science & Engineering Research Board (SERB), DST, Govt. of India

    Status: Ongoing

  • Title: Metasurance: Blockchain-based Insurance Administration System with ML-Driven Dynamic Pricing for New Metaverse Products

    Principal Investigator: Dr. Raju Halder

    Co-Investigators:   Dr. Rajendra N. Paramanik (IIT Patna)  •  Mr. Chandra Mohan Kumar (Capgenimi India Limited)  •  Mr. ThiruVasagam (Thinman Websolvers India Limited)  

    Sponsored Agency: IBITF (Technology Innovation Hub), IIT Bhilai

    Status: Ongoing

Research Scholars Guided/Guiding

  • profile

    Ms. Maitri Kushwaha (Visvesvaraya Project Fellow)

    Broad Area: Blockchain Technology

  • profile

    Mr. Kartik Kaushik (Jointly with Dr. Samrat Mondal)

    Broad Area: Blockchain Technology

  • profile

    Ms. Medhasree Ghosh

    Broad Area: Machine Learning and Blockchain

  • profile

    Mr. Md Tauseef Alam (Prime Minister's Research Fellow, Jointly with Dr. Abyayananda Maiti)

    Broad Area: Blockchain Technology

  • profile

    Mr. Sujit Chowdhury

    Broad Area: Blockchain and Smart Contract

  • profile

    Mr. Rajeswar Yadav

    Broad Area: Robotics

  • profile

    Mr. Sudhir Kumar (Part-time, Jointly with Dr. Samrat Mondal)

    Broad Area: Blockchain Applications

  • profile

    Mr. Chandra Mohan Kumar (Part-time)

    Broad Area: Blockchain Applications

  • profile

    Mr. Fajge Akshay Madhukarrao (Under Visvesvaraya PhD Scheme)

    Broad Area: Blockchain and Smart Contract (Formal Methods)

  • profile

    Ms. Swagatika Sahoo

    Broad Area: Blockchain Applications

  • profile

    Mr. Shashank Srivastava (Jointly with Dr. Samrat Mondal)

    Broad Area: Blockchain Applications

  • profile

    Mrs. Sapana Rani

    Thesis: Towards Persistency, Distributiveness and Data Format Independency in Database Watermarking

    Status: Ph.D. Degree Awarded. Currently Deputy Superintendent of Police, Bihar.

  • profile

    Mr. Md. Imran Alam

    Thesis: Formal Analysis and Verification of Database Applications for Safety and Security Properties

    Status: Ph.D. Degree Awarded. Initally worked with the SSV group at Ca Foscari University of Venice, Italy. Now Assistant Professor at LNM Institute of Information Technology, Jaipur.

  • profile

    Mr. Angshuman Jana

    Thesis: Semantics-based Dependency Analysis of Database Applications by Abstract Interpretation

    Status: Ph.D. Degree Awarded, Currently Assistant Professor at IIIT Guwahati

PG Students Guided/Guiding

Bhabya Mohanty  •  Ayush Kumar Jain  •  Arnab Mukherjee  •  Rutuj Waghare  •  Jagdish Mohekar  •  Vinay Kumar  •  Pallavi  •  Sufal Sikdar  •  Satish Kumar  •  Ankit Bhargava  •  Avinash Singh Chauhan  •  Manish Kumar Tiwari  •  Anupam Kumar  •  Susheel Kumar Maurya  •  Ashis Kumar Ranjan  •  Harshita Goswami  •  Shivi Patel  •  Bitopan Das  •  Md. Imran Alam  •  Dileep Kumar Koshley  

Courses Taught/Teaching

  • Blockchain Technology: A Software Engineering Perspective
  • Introduction to Blockchain and Cryptocurrency
  • Foundation of Blockchin Technology and Its Application Landscape
  • Formal Methods for Analysis and Verification
  • Principles of Programming Languages
  • Foundation of Theoretical Computer Science
  • Formal Language & Automata Theory
  • Compilers
  • Design and Analysis of Algorithms
  • Discrete Mathematics
  • Relational Databases
  • Introduction to Computing
  • Programming and Data Structures

Short-term Courses Organized

  • Short-term CEP course on "Introduction to Robotics: Mechanics, Control, and Programming" at IITP (26-28th October 2018)
  • Three short-term courses on ``Introduction to Blockchain Technology: Cryptocurrency and Beyond'' at IITP under AICTE Training and Learning Programme (14 - 18th Dec 2019, 26 - 30 May 2020, and 20 - 24 Dec 2020)
  • GIAN course "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" at IITP sponsored by Ministry of Education, Govt. of India (Apr 4-15 2022)
  • GIAN course "A Proof and Refinement based Development for Cyber-Physical Systems" at IITP sponsored by Ministry of Education, Govt. of India (June 20 - July 1 2022)

Invited Talk

  • Delivered invited talk on "Blockchain Technology" in the following short-term courses under AICTE Training and Learning (ATAL) Programme:
    • "Blockchain Technology" at National Power Training Institute (NPTI), Durgapur, West Bengal (Sept 5-6, 2019)
    • "Blockchain Architecture Design and Use Cases" at Gudlavalleru Engineering College (AP) (Aug 2020)
    • "Blockchain Technology using Hyperledger Fabric and Ethereal" at NIT Meghalaya (Oct 5-6, 2020)
    • "Blockchain Technology - Future of Cyber Security" at Excel Engineering College, Tamil Nadu (Jan 18 2021)
    • "Security in Decentralized Systems and Smart Contracts" at NIT Meghalaya (Mar 15-16, 2021)
    • "Blockchain Technology and Its Applications" at IIITDM Kancheepuram (Dec 6, 2021)
    • "Blockchain and its Security Perspectives" at IIIT Guwahati (Dec 6-10, 2021)
    • "Smart City: Emerging Technologies for the Next Decade and Beyond" at NIT Raipur (Sept 21, 2022)
    • "Blockchain Technology" at Army Institute of Technology, Pune (Oct 13, 2022)
  • Delivered invited talk on "Robot Operating System (ROS)" in the following short-term courses under AICTE Training and Learning (ATAL) Programme:
    • "Robotics" at Gujarat Technological University (Oct 30, 2020)
    • "Mobile Robotics" at IIT Patna (18 June 2021, 23 Sept 2021)
    • "Robotics and Artificial Intelligence" at LBRCE, Mylavaram, Andhra Pradesh (Feb 10, 2022)
  • Delivered invited talk on "Blockchain Technology" in
    • Bihar State Student Convention, in collaboration with Computer Society of India, at NSIT-Bihta, Bihar (Nov 16, 2019)
    • IEEE International Conference on Computer, Electrical & Communication Engineering (ICCECE) organised by TIU Kolkata (Jan 16, 2020)
    • TEQIP-sponsored FDPs by AKU Patna (July 6-10, 2020) and GEC Aurangabad (July 18-22, 2020)
    • QIP Sponsored Short Term Course "Blockchain: Business Foundations and Solution Architectures" at IIT Indore (Mar 24-25, 2021)
    • International Symposium on Blockchain Technology, BIET, Hyderabad (July 13, 2021)
    • National Seminar on Cyber-crime and Cyber-law at Mizorum University (Apr 3, 2023)
    • High-end Workshop (KARYASHALA) on "Cryptocurrency and Blockchain Technology: Fundamentals, Programming and Case Studies" at Punjab Engineering College Chandigarh (July 10, 2023)
    • One Day Webinar on "Recent trend in AI & Blockchain Technology Application in Supply Chain Management to meet Sustainable Development Goals", by ORSI Durgapur Chapter (Jan 27, 2024)
    • International Conference on Women in Multifaceted Research (ICWMR 2024), GNSU, Rohtas, Bihar (March 10, 2024)
  • Delivered invited talk on "Blockchain Technology for Cyber-Security and Safeguarding Electronic Payments" in Cyber Jagrookta Diwas, the Ministry of Education, Govt. of India (May 4, 2022)
  • Delivered invited talk on "Formal Analysis and Verification of Blockchain Smart Contracts" in International Symposium on Security Engineering for Trusted Cyberspace (ISSETC 2024), CDAC Patna, Rajgir, Bihar (Mar 1, 2024)

Professional Activities

Member of Professional Bodies:

IEEE Senior Member (2022 - Present)  •  IEEE Member (2015-2022)  •  ACM SIGSOFT (2019)  •  INSTICC (2019-2023)  

Conference Session Chair:

ENASE 2024  •  ICECCS 2023  •  BLOCKCHAIN 2022  •  DATA 2021  •  ICCCS 2020  •  ACOMP 2016  •  C3IT 2015  •  FDSE 2014  

Program Committee Member:

ICBC 2024   •  MEDI 2023 / 2022 / 2021 / 2019   •  FDSE 2023 / 2022 / 2021 / 2020 / 2019 / 2018 / 2017 / 2016 / 2015   •  DATA 2023 / 2022 / 2021 / 2020 / 2019 / 2018 / 2017 / 2016 / 2015   •  SKM 2021 / 2019   •  ACSS 2024 / 2023 / 2022 / 2021 / 2019 / 2018 / 2017 / 2016 / 2015 / 2014   •  CISIM 2024 / 2023 / 2022 / 2021 / 2020 / 2019 / 2018 / 2017 / 2016 / 2015 / 2014 / 2014   •  ICACCI 2018 / 2017 / 2016   •  SSCC 2018 / 2017 / 2015   •  iSES 2021   •  ICIA 2020   •  ICCCS 2020   •  iWML 2018   •  FQM 2014   

(External/Invited) Journal Reviewer:

IEEE Transactions on Computational Social Systems  •  IEEE Transactions on Dependable and Secure Computing  •  IEEE Transactions on Industrial Informatics  •  IET Information Security  •  ACM Transactions on Computational Logic  •  IET Signal Processing  •  IEEE Transactions on Knowledge and Data Engineering  •  IEEE Transactions on Reliability  •  Blockchain: Research and Applications  •  Journal of Computer Languages  •  ACM Distributed Ledger Technologies: Research and Practice  •  Springer Information Systems Frontiers  •  Springer Artificial Intelligence Review  •  Journal of Systems and Software  •  International Journal of Web Information Systems  

(External/Invited) Conference Reviewer:

ICECCS'24  •  ICBC'24  •  TASE'22  •  FM'19  •  SAS'11/SAS'14  •  MEDI'19/'21-23  •  FDSE''15-18/'20-23  •  DATA'15-18/'20-22  •  ACSS'15-18/'21-24  •  CISIM'13-19/ '21-24  •  SKM'19/'21  •  ICACCI'15-18  •  SSCC'15/'17-18  •  iSES'19/'21, AIR'21  •  ICCCS'20  •  SmartDataServices'20  •  ICCCI'23