BITS Pilani

  • Page last updated on Friday, March 25, 2022

Sponsored Projects

Sponsored Projects

Sponsored Projects

In Progress:

Project Name: Predictor and Analyzer of Security Threats (PAST): A model based risk analysis
framework for critical interconnected infrastructures.
Funding agency: IHUB-NITIHAC Foundation (IIT Kanpur, DST, 18.14 Lakhs) 
Time-line: 2021-2024
Objective of the project: Cyber risk assessment of  interconnected architectures
Role: Principal Investigator 
Project Name: MOR: An integrated model-based safety and security framework for complex interconnected  system
Funding agency: BITS RIG grant (2 lakhs) 
Time-line: 2019-2021
Objective of the project: The goal of MOR project is to use formal verification, in particular (statistical) model- checking techniques, to construct trustworthy systems by design, i.e. systems which are safe, secure and resilient.  
 Role: Principal Investigator 

Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security, funded by European  Union. Role:  PhD scholar under the package WP3 coordinated by Formal methods and tools group led by Prof. Jaco van de Pol, Prof Marielle Stoelinga and Prof. Arend Rensink   



Quick Links

    An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

    © 2022 Centre for Software Development,SDET Unit, BITS-Pilani, India.

    Designed and developed by fractal | ink design studios