Quantitative Attack Tree Analysis via Priced Timed Automata. - Rajesh Kumar 012; Enno Ruijters; Mariëlle Stoelinga (FORMATS, 2015)

Sequential and Parallel Attack Tree Modelling. - Florian Arnold; Dennis Guck; Rajesh Kumar 012; Mariëlle Stoelinga (SAFECOMP Workshops, 2015)

Time Dependent Analysis with Dynamic Counter Measure Trees. - Rajesh Kumar 012; Dennis Guck; Mariëlle Stoelinga (CoRR, 2015)

Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. - Marlon Fraile; Margaret Ford; Olga Gadyatskaya; Rajesh Kumar 012; Mariëlle Stoelinga; Rolando Trujillo-Rasua (PoEM, 2016)

Quantitative Security and Safety Analysis with Attack-Fault Trees. - Rajesh Kumar 012; Mariëlle Stoelinga (HASE, 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 012; Stefan Dziwok; Arend Rensink; Mariëlle Stoelinga (SETTA, 2017)

Effective Analysis of Attack Trees: A Model-Driven Approach. - Rajesh Kumar 012; Stefano Schivo; Enno Ruijters; Bugra Mehmet Yildiz; David Huistra; Jacco Brandt; Arend Rensink; Mariëlle Stoelinga (FASE, 2018)

LOCKS: a property specification language for security goals. - Rajesh Kumar 012; Arend Rensink; Mariëlle Stoelinga (SAC, 2018)

An attack tree template based on feature diagram hierarchy. - Rajesh Kumar 012 (DependSys, 2020)

A Quantitative Security Risk Analysis Framework for Modelling and Analyzing Advanced Persistent Threats. - Rajesh Kumar 012; Siddhant Singh; Rohan Kela (FPS, 2020)

A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures. - Rajesh Kumar 012 (Critical Infrastructure Protection, 2020)

APT: a buzzword and a reality - A bibliometric review of the literature (2010-2020). - Budi Aditya Bhat; Rajesh Kumar 012 (HPCC/DSS/SmartCity/DependSys, 2021)

Analyzing Advanced Persistent Threats Using Game Theory: A Critical Literature Review. - Rajesh Kumar 012; Siddhant Singh; Rohan Kela (Critical Infrastructure Protection, 2021)

Co-engineering Safety-Security Using Statistical Model Checking. - Rajesh Kumar 012; Siddhant Singh; Bhavesh Narra; Rohan Kela (FORTE, 2022)

AFMT: Maintaining the safety-security of industrial control systems. - Rajesh Kumar 012; Bhavesh Narra; Rohan Kela; Siddhant Singh (Comput. Ind., 2022)

What changed in the cyber-security after COVID-19? - Rajesh Kumar 012; Siddharth Sharma; Chirag Vachhani; Nitish Yadav (Comput. Secur., 2022)

APT attacks on industrial control systems: A tale of three incidents. - Rajesh Kumar 012; Rohan Kela; Siddhant Singh; Rolando Trujillo-Rasua (Int. J. Crit. Infrastructure Prot., 2022)

A methodology for resilient safety-critical infrastructures using statistical model checking. - Rajesh Kumar 012; Nitish Yadav (APSEC, 2023)

Realistic Attacks with Realistic Attackers: An Information-Security Risk Analysis of an Automatic Metering Infrastructure. - Rajesh Kumar 012; Ishan Rai; Krish Vora; Mithil Shah (IECON, 2023)

Simulating Cyber-Attack Scenarios by Discovering Petri-Nets from Large-Scale Event Logs. - Mohit Dilip Makwana; Vedant Thakkar; Debanshu Das; Rajesh Kumar 012 (COMSNETS, 2024)

PALM: A framework to identify novel attacks in an e-commerce system. - Rajesh Kumar 012; Swapnil Pandey; Debanshu Das (PRDC, 2024)

A Cyber-Risk Management Schema for Classifying Literature on Advanced Persistent Threats. - Rajesh Kumar 012; Swapnil Pandey (COMSNETS, 2025)