Blockchain & Robotics (PLANR) Lab
Department of Computer Science & Engineering
R-502, 5th Floor, Block 3
+91 612 3028889
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
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