BITS Pilani

  • Page last updated on Monday, September 20, 2021

Sponsored Projects

banner
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 
 
 
Completed:

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

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

    Designed and developed by fractal | ink design studios