Rajesh Kumar

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 14

Top Topics

Critical Infrastructure

Literature Review

Top Venues

Critical Infrastructure Protection

Publications

Rajesh Kumar, Nitish Yadav
A methodology for resilient safety-critical infrastructures using statistical model checking. APSEC (2023)
Rajesh Kumar, Bhavesh Narra, Rohan Kela, Siddhant Singh
AFMT: Maintaining the safety-security of industrial control systems. Comput. Ind. 136 (2022)
Rajesh Kumar, Rohan Kela, Siddhant Singh, Rolando Trujillo-Rasua
APT attacks on industrial control systems: A tale of three incidents. Int. J. Crit. Infrastructure Prot. 37 (2022)
Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela
Co-engineering Safety-Security Using Statistical Model Checking. FORTE (2022)
Rajesh Kumar, Siddharth Sharma, Chirag Vachhani, Nitish Yadav
What changed in the cyber-security after COVID-19? Comput. Secur. 120 (2022)
Rajesh Kumar, Siddhant Singh, Rohan Kela
Analyzing Advanced Persistent Threats Using Game Theory: A Critical Literature Review. Critical Infrastructure Protection (2021)
Rajesh Kumar
A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures. Critical Infrastructure Protection (2020)
Rajesh Kumar
An attack tree template based on feature diagram hierarchy. DependSys (2020)
Rajesh Kumar, Siddhant Singh, Rohan Kela
A Quantitative Security Risk Analysis Framework for Modelling and Analyzing Advanced Persistent Threats. FPS (2020)
Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga
LOCKS: a property specification language for security goals. SAC (2018)
Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
Effective Analysis of Attack Trees: A Model-Driven Approach. FASE (2018)
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA (2017)
Rajesh Kumar, Mariëlle Stoelinga
Quantitative Security and Safety Analysis with Attack-Fault Trees. HASE (2017)
Marlon Fraile, Margaret Ford, Olga Gadyatskaya, Rajesh Kumar, Mariëlle Stoelinga, Rolando Trujillo-Rasua
Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. PoEM (2016)
Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga
Sequential and Parallel Attack Tree Modelling. SAFECOMP Workshops (2015)
Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga
Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR (2015)
Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga
Quantitative Attack Tree Analysis via Priced Timed Automata. FORMATS (2015)