Fundings

Fundings

  • Design and Implementation of a Web-based Scalable, Secure, Non-Repudiable, and Attributable Institutional Grade Management System
    Project Investigator: Prof. Sandeep Kumar Shukla
    Funded By: MHRD Design Innovation Program
  • A Formal Approach against Code Replacement Attacks on SCADA Systems
    Project Investigator: Prof. Sandeep Kumar Shukla
    Funded By: Science & Engineering Research Board (SERB)
  • Interdisciplinary Center for Cyber Security and Cyber Defense of Critical Infrastructures
    Project Investigator: Prof. Manindra Agrawal, Prof. Sandeep Kumar Shukla
    Funded By: Science & Engineering Research Board (SERB)
  • CORESAFE: A Formal Approach against Code Replacement Attacks on Cyber Physical Systems
    Project Investigator: Prof. Sandeep K. Shukla
    Funded By: US Air Force
  • FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety- Critical ICT Systems
    Project Investigator: Pallab Dasgupta
    Funded By: IMPRINT Program and Indian Railways
  • Engineering of security hardened cryptographic protocols for critical national infrastructure
    Project Investigator: Prof. Sandeep Kumar Shukla, Prof. Manindra Agrawal
    Funded By: Uchchatar Avishkar Yojana
  • A Framework for Forecasting Solar Generation and Risk Minimization with Storage Technologies
    Project Investigator: Prof. Sandeep Kumar Shukla
    Funded By: Indo-UK program of DST