Feedback

Rajesh Kumar

Assistant Professor

Research Interests: Formal Verification, Cyber-Physical systems. Modelling complex infrastructures

Assistant Professor,
Department of Computer Science & Information Systems
Birla Institute of Technology & Science, K.K Birla Goa Campus
Goa, INDIA
(Please note a change in location and email address, rajesh.k@pilani.bits-pilani.ac.in do not work anymore)

Sponsored Projects

 

  1. Project Name: RESilience-by-DEsign (RESIDE)—an open-source software tool for ranking cyber-attacks and performing quantitative safety-security risk assessment for critical infrastructures under adversarial attacks. Funding agency: Data Security Council of India (5.81 Lakhs), Time-line: 2022, Outcome of the project: Cyber resilience tool (Available freely at: https://play.google.com/store/apps/details?id=com.bits.riskio), Role: Principal Investigator
  2. 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, Outcome of the project: Tool for Cyber risk assessment of  interconnected architectures (http://afmt-simulator.com/), Role: Principal Investigator