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

May 15, 2024 • Congratulation! Swagatika Sahoo has successfully defended her PhD thesis entitled "Towards Scalable, Interoperable, and Secure Blockchain-based Decentralized Applications". Wising her all the best for her new journey at KIIT!

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

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!

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

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

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 1, 2022 • Successfully 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 • Successfully 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 the Ph.D. student Md Tauseef Alam for receiving the Prime Minister's Research Fellowship (PMRF) in December 2021 cycle.

March 24, 2022 • Congratulation to the Ph.D. student Fajge Akshay Madhukarrao for receiving best poster presentation award (CSE) in Research Scholar Day 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.

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!

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

Dec 25, 2020 • Work entitled "A Deductive Reasoning Approach for Database Applications using Verification Conditions" is accepted for publication in "The Journal of Systems & Software" (Core Ranking: A). Congratulation to the team!

Dec 24, 2020 • Successfully concluded online ATAL Course on "Blockchain Technology" at IIT Patna (20 - 24 Dec 2020).

Apr 3, 2020 • We are going to organize a five days ONLINE FDP on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna from 26.05.2020 - 30.05.2020 under AICTE Training and Learning (ATAL) Programme.

Jan 5, 2020 • Two GIAN courses "A Proof and Refinement based Development for Cyber-Physical Systems" and "A Guided Tour to Static Program Analysis: State-of-the-Art Tools and Techniques" are accepted.

Dec 18, 2019 • Delighted to share that Dr. Halder received a grant under "Visiting Professor 2020 at National Polytechnic Institute of Toulouse (TOULOUSE INP), France".

Dec 18, 2019 • Successfully concluded ATAL Course on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna. Few snapshots of the program can be found at: "https://drive.google.com/open?id=1kDxG6-MvgJ0jxKzqN-1zkwEcMwW3ADf6".

Sept 10, 2019 • We are going to organize a five days workshop on "Introduction to Blockchain Technology: Cryptocurrency and Beyond" at IIT Patna from 14.12.2019 - 18.12.2019 under AICTE Training and Learning (ATAL) Programme. No Registration Fee, Limited Seats, On First Come First Serve Basis.

June 21, 2019 • Congratulation! Angshuman Jana has successfully defended his PhD thesis entitled "Semantics-based Dependency Analysis of Database Applications by Abstract Interpretation". Wising him all the best for his new journey at IIIT Guwahati!

June 13, 2019 • We are now hiring two JRF under IMPRINT-II Project "Development of Lizard-like Robotic Spy Surveillance System". Walkin Interview is on 15th July 2019. To know more, click here: "https://www.iitp.ac.in/index.php/noticeboard/3431-advertisement-no-rad376serb141-dated-13062019-for-the-post-of-jrf.html".

June 5, 2019 • Work entitled "A Hierarchical and Abstraction-Based Blockchain Model" is accepted for publication in "Applied Sciences" as part of the Special Issue "Advances in Blockchain Technology and Applications". Congratulation to the team!

Sept 21, 2018 • We are going to organize a three days Short Term (CEP) Course on "Introduction to Robotics: Mechanics, Control, and Programming" at IIT Patna from 26.10.2018 - 28.10.2018. Register here: "http://www.iitp.ac.in/cep/cep_doc/ Robotics_Course_Brochure_IITPatna.pdf".

July 24, 2018 • Work entitled "Extending Abstract Interpretation to Dependency Analysis of Database Applications" is accepted for publication in "IEEE Transactions on Software Engineering" (Core Ranking: A*). Congratulation to the team!

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.