Rajesh Kumar
Rajesh Kumar
Assistant Professor, BITS-Pilani
Verified email at pilani.bits-pilani.ac.in - Homepage
Title
Cited by
Cited by
Year
Quantitative attack tree analysis via priced timed automata
R Kumar, E Ruijters, M Stoelinga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
582015
Quantitative security and safety analysis with attack-fault trees
R Kumar, M Stoelinga
2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017
562017
Using attack-defense trees to analyze threats and countermeasures in an ATM: a case study
M Fraile, M Ford, O Gadyatskaya, R Kumar, M Stoelinga, R Trujillo-Rasua
IFIP Working Conference on The Practice of Enterprise Modeling, 326-334, 2016
362016
Sequential and parallel attack tree modelling
F Arnold, D Guck, R Kumar, M Stoelinga
International Conference on Computer Safety, Reliability, and Security, 291-299, 2014
352014
Effective analysis of attack trees: A model-driven approach
R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ...
International Conference on Fundamental Approaches to Software Engineering …, 2018
222018
How to efficiently build a front-end tool for UPPAAL: a model-driven approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
132017
Truth or dare: quantitative security risk analysis via attack trees
R Kumar
62018
Time dependent analysis with dynamic counter measure trees
R Kumar, D Guck, MIA Stoelinga
Thirteenth International Workshop on Quantitative Aspects of Programming …, 2015
62015
LOCKS: a property specification language for security goals
R Kumar, A Rensink, M Stoelinga
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1907-1915, 2018
42018
A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures
R Kumar
International Conference on Critical Infrastructure Protection, 283-306, 2020
12020
An attack tree template based on feature diagram hierarchy
R Kumar
2020 IEEE 6th International Conference on Dependability in Sensor, Cloud and …, 2020
2020
A Quantitative Security Risk Analysis Framework for Modelling and Analyzing Advanced Persistent Threats.
R Kumar, S Singh, R Kela
FPS, 29-46, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–12