Rajesh Kumar

According to our database, Rajesh Kumar authored at least 18 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A methodology for resilient safety-critical infrastructures using statistical model checking.

Rajesh Kumar, Nitish Yadav

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

APT attacks on industrial control systems: A tale of three incidents.

Rajesh Kumar, Rohan Kela, Siddhant Singh, Rolando Trujillo-Rasua

Int. J. Crit. Infrastructure Prot., 2022

What changed in the cyber-security after COVID-19?

Rajesh Kumar, Siddharth Sharma, Chirag Vachhani, Nitish Yadav

Comput. Secur., 2022

AFMT: Maintaining the safety-security of industrial control systems.

Rajesh Kumar, Bhavesh Narra, Rohan Kela, Siddhant Singh

Comput. Ind., 2022

Co-engineering Safety-Security Using Statistical Model Checking.

Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

Analyzing Advanced Persistent Threats Using Game Theory: A Critical Literature Review.

Rajesh Kumar, Siddhant Singh, Rohan Kela

Proceedings of the Critical Infrastructure Protection XV, 2021

APT: a buzzword and a reality - A bibliometric review of the literature (2010-2020).

Budi Aditya Bhat, Rajesh Kumar

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

2020

A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures.

Rajesh Kumar

Proceedings of the Critical Infrastructure Protection XIV, 2020

A Quantitative Security Risk Analysis Framework for Modelling and Analyzing Advanced Persistent Threats.

Rajesh Kumar, Siddhant Singh, Rohan Kela

Proceedings of the Foundations and Practice of Security - 13th International Symposium, 2020

An attack tree template based on feature diagram hierarchy.

Rajesh Kumar

Proceedings of the 6th IEEE International Conference on Dependability in Sensor, 2020

2018

LOCKS: a property specification language for security goals.

Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Effective Analysis of Attack Trees: A Model-Driven Approach.

Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Quantitative Security and Safety Analysis with Attack-Fault Trees.

Rajesh Kumar, Mariëlle Stoelinga

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

2016

Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study.

Marlon Fraile, Margaret Ford, Olga Gadyatskaya, Rajesh Kumar, Mariëlle Stoelinga, Rolando Trujillo-Rasua

Proceedings of the Practice of Enterprise Modeling, 2016

2015

Time Dependent Analysis with Dynamic Counter Measure Trees.

Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga

CoRR, 2015

Sequential and Parallel Attack Tree Modelling.

Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2015

Quantitative Attack Tree Analysis via Priced Timed Automata.

Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015