I am grateful to the following organizations for supporting our research.

  1. Semiconductor Research Corporation. Formal Methods for Security Validation of Trustworthy SoC Platforms. PI: Pramod Subramanyan and co-PI Sandeep Shukla. (2018-2021)
  2. Science and Engineering Research Board, Department of Science and Technology (SERB DST). Ramanujan Fellowship: Formal Methods for Provably Secure Enclave Platforms. PI: Pramod Subramanyan. (2018-2023)
  3. Government of Uttar Pradesh. Cyber Security for the Bundelkhand Defence Corridor. With PI: Manindra Agrawal, co-PIs for the Cybersecurity Vertical are: Sandeep Shukla, Biswabandan Panda, Debadatta Misra and Pramod Subramanyan. (2018-2023)