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 & Data  •  PLANR Lab  •  Gallery

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

News Updates

Nov 14, 2024 • Congratulation! Arnab Mukherjee has successfully defended his M.Tech. By Research thesis entitled "Blockchain-enabled ABDM (Ayushman Bharat Digital Mission) with modular and library-agnostic Federated Learning". Wising him all the best for her new journey ahead!

Sept 25, 2024 • Delivered an invited talk entitled "Security Vulnerabilities in Smart Contracts" in the FDP organized by G H Raisoni Institute of Engineering and Business Management, Jalgaon (Sept 25, 2024).

Aug 6, 2024 • Delivered an invited talk entitled "Synergizing Machine Learning and Blockchain" in the AICTE-ATAL sponsored FDP at Gopal Narayan Singh University, Rohtas, Bihar (6th Aug 2024).

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!

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 (March 10, 2024).

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 (Mar 1, 2024).

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

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

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

Nov 12, 2020 • Delivered a lecture on Robot Operating System (ROS) in the CEP Short Term Course on "Mobile Robotics" at IITP (12 Nov 2020).

Oct 30, 2020 • Delivered a lecture on Robot Operating System (ROS) in ATAL FDP on "Robotics" conducted by Gujarat Technological University (30 Oct 2020).

Oct 05, 2020 • Delivered lectures for two days in ATAL FDP on "Blockchain Technology Using Hyperledger & Ethereum" conducted by NIT Meghalaya (5-6 Oct 2020).

Aug 17, 2020 • Delighted to serve as invited speaker in AICTE-STTP on "Blockchain Architecture Design and Use Cases" conducted by Gudlavalleru Engineering College (AP) (Aug 2020).

July 22, 2020 • Delighted to serve as invited speaker in two TEQIP-sponsored FDPs on "Blockchain Technology" conducted by AKU Patna (6-10 July 2020) and GEC Aurangabad (18-22 July 2020).

June 20, 2020 • Delivered invited talk on "Blockchain Technology" online at SRM Institute Of Science And Technology Ramapuram (Chennai) on 20th June 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.

Feb 22, 2020 • Delivered talk on "Blockchain Technology: A Potential Game Changer" at International School of Management Patna.

Jan 16 & Feb 2, 2020 • Delivered talk on "Blockchain Technology: A Potential Game Changer" at Techno India University (Kolkata) and MACET (Patna).

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

Nov 16, 2019 • Delivered Keynote Talk on "Introduction and Application of Blockchain Technology - An Overview" in Bihar State Student Convention held at NSIT, Bihta in collaboration with Computer Society of India (CSI).

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.

Sept 6, 2019 • Delivered a talk on "Introduction and Application of Blockchain Technology - An Overview" at the Institution of Engineers (Durgapur Local Center), West Bengal.

Sept 5-6, 2019 • Delivered lectures on "Blockchain Technology" under AICTE Training and Learning (ATAL) Program held at NPTI, Durgapur, West Bengal.

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!

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

  • Title: Developing a Dynamic, Transitive, and Energy Efficient Access Control Mechanism Using Blockchain for Large Scale IoT Network

    Principal Investigator: Dr. Raju Halder, IIT Patna (Mentor), Dr. Amit Kr Mandal, SRM University, AP (P.I.)

    Sponsored Agency: TARE, SERB

    Status: Ongoing

Research Scholars Guided/Guiding

PG Students Guided/Guiding

Bhabya Mohanty  •  Ayush Kumar Jain  •  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)
    • "Synergizing Machine Learning and Blockchain" at Gopal Narayan Singh University, Bihar (Aug 6, 2024)
  • 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:

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

Program Committee Member:

BuildSec 2024   •  BCCA 2024   •  ICBC 2024   •  MEDI 2024 / 2023 / 2022 / 2021 / 2019   •  FDSE 2024 / 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:

BuildSec'24  •  BCCA'24  •  ICECCS'24  •  ICBC'24  •  TASE'22  •  FM'19  •  SAS'11/SAS'14  •  MEDI'19/'21-24  •  FDSE'15-18/'20-24  •  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