2019-2021: DST Mission Innovation: "Research and Development of Smart, Secure, Scalable, Resilient and Adaptive Cyber-Physical Power Systems"

2018-19: Hitachi India Ltd. "Validation Of Bayesian Based Vulnerability"

2018-19: UP Govt: "Cyber Security for Defense Applications", part of the UP Defense Corridor Center of Excellence, with Pramod Subramanyan, Biswabandan Panda & Debadatta Mishra.

2018-2023: National Cyber Security Coordinator Office: Developmen of National Block Chain and Demonstration of Two Strategic Applications with Prof. Manindra Agrawal

2018-2020: Indo-Israel Collaborative for Infrastructure Security with Second Generation Anomaly Detection, with Tel Aviv University

2017-2022: Indo-US:UI-Assist: US-India Collaborative for Smart Distribution Systems with Storage, led by Prof. S. C. Srivastava, Cyber Security Share

2017-2021: Indo-UK: UK-India Clean Energy Research led by IIT Kharagpur

2017-2022: Interdisciplinary Center for Cyber Security and Cyber Defense of Critical Infrastructures, SERB-DST with Prof. Manindra Agrawal

2017-2020: Networked center for formal methods in validation and certification procedures for safety-critical systems (FMSAFE), IMPRINT

2016-2020: UAY: Engineering of security hardened cryptographic protocols for critical national infrastructure.

2016-2017: US-AFOSR: Formal Approach to mitigating code-replace attacks on SCADA Systems.

2016-2017: Design Innovation Center Grant: Design and Implementation of a Web-based Scalable Non-Repudiable Grade Management System/IIT Kanpur Design Innovation Center

2015-2020: SERB: Ramanujan Fellowship

2015-2017: Initiation Grant: Research and Education in Cyber Security of Critical Infrastructure, IIT Kanpur

2015-2016: Cyber Security Course for NTRO with Manindra-Agrawal

2012-2014: Title: "Industry strength tool and technology for automated synthesis of safety-critical applications from formal specifications"

• Office of the Secretary of Defense via Air Force Labs, Rome

2010-2013: Title: "Formal Methods for Provably Correct Safety-Critical Embedded Software Synthesis"

• Air Force Labs, Rome

2011-2013 The associate team project: POLYCORE: Polychronous Models for Multi-Core Software Synthesis, FERMAT Lab and INRIA ESPRESSO TEAM Collaboration Project, Amount Requested: Euro 15,000, as co-PI, INRIA. The money stays at INRIA, and can be used only for travel between INRIA and Virginia Tech, Status Funded for FY 2011-13

2013-2014 Title: "Virtual SCADA Test Bed for Cyber Security Experimentation" PI: Sandeep Shukla Sponsor:General Electric Duration: 1 year Amount: $40000(Aug 2013 - Aug 2014) Personal Share: 100% – $40000

2012-2013 Title: "Event Correlation Language for SCADA Event Correlation for Intrusion Detection" PI: Sandeep Shukla Sponsor:L3 - Stratus Duration: 1 year Amount: $30,000(Aug 2012 - August 13) Personal Share: 100% – $30,000

2011-2012 Title: "Techniques for Smart Grid Cyber Security" PI: Sandeep Shukla Sponsor:General Electric Duration: 1 year Amount: $30,000(Aug 2011 - May 2012) Personal Share: 100% – $30,000