Blockchain & Robotics (PLANR) Lab
Department of Computer Science & Engineering

R-502, 5th Floor, Block 3
+91 612 3028889

 

  •  People  •  Publications  •  Tools & Data  •  Photo Gallery

   •  Projects  •  Contact

About

The PLANR Lab was established in 2019 at the Department of Computer Science & Engineering of Indian Institute of Technology Patna to nurture the state-of-the-art research in various thrust areas, including Blockchain Technology, Formal Methods, Program Analysis and Verification, and Robotics.

With more than 20 members, the research team led by Dr. Raju Halder is currently contributing to the following research directions:

  • Blockchain Technology and Smart Contract
    • Blockchain-based Secure Decentralized Application Development: Supply Chain, Smart City Solutions, Healthcare, Smart Agriculture, Land Registry, Cyber Security, IoT/Cloud Security, Identity Management, Insurance, etc.
    • Combining Machine Learning and Blockchain: Transactions' Waiting Time Prediction, Solidity Vulnerability Detection, Phishing Fraud Detection, Decentralized Learning, etc.
  • Formal Methods:
    • Formal Analysis and Verification of Blockchain Smart Contracts, ROS-based Robotic Applications, Database Query Languages, etc.
    • Semantics-based Static Program Analysis
    • Program Verification using Deductive Reasoning and Model Checking
    • Code Optimization
  • Robotics:
    • ROS-based Robotic Application Development
    • Lizard-inspired Robot Design and Development for Spy Surveillance to Combat Terrorism
    • Hostage Crime Detection using Machine Learning

News Updates

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

July 01, 2023 • Our 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!

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.

Sept 10, 2022 • Congratulations to our 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.

July 30, 2022 • Congratulation to Mrs. Sapana Rani for successfully defending 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 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).

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 Md Tauseef Alam for receiving the Prime Minister's Research Fellowship (PMRF) in December 2021 cycle.

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

Oct 01, 2021 • Congratulation to Md. Imran Alam for successfully defending 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!

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

Contact

Lab Name: Blockchain & Robotics (PLANR) Lab

Professor In-Charge: Dr. Raju Halder (https://www.iitp.ac.in/~halder)

Department: Department of Computer Science & Engineering

Phone: +91 612 3028889

E-Mail: halderiitp•ac•in

Address: R-502, 5th Floor, Block 3, IIT Patna, Bihta, Bihar, India - 801106

 

© PLANR Lab, 2024.