Papers presented.
1. Presented the paper --"LOCKS: a specification language for security goals" at ACM SAC-SVT held at Pau, France from April 9-13, 2018
2. Presented the paper--"Safety and security analysis via attack-fault trees" at HASE 2018 held at Singapore from January 12-17, 2018
3. Presented the paper—“Attack defense tree analyze threats in ATM” at 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM) 8 - 10 November, 2016, Skövde, Sweden
4. Presented the paper--“Sequential and Parallel Attack Tree Modelling” at SAFECOMP 2015, held at Delft, Netherlands
5. Presented the paper—“Quantitative attack tree analysis using priced timed automata” at FORMATS 2015 held at Madrid, Spain
6. Presented the paper— “Time dependent attack tree analysis” at ETAPS 2015, held at London, UK
Poster presentation.
- Presented “Quantitative Analysis of Socio-Technical Security Models - The TREsPASS project” at Cybersecurity and Privacy (CySeP) Winter School, held at KTH, Stockholm, 27-31 October 2014.
Deliverables (Project reports).
- D3.5.1 Dynamics of stochastic models, R.Kumar (Editor), J. C. van de Pol, A. Rensink, S. M. Hallberg, C. W. Probst, A. Lenin, published on 31-10-2016, Trespass project
- Deliverable D3.3.2, Methods for Stochastic Analysis, Z.Aslanyan, A.Lenin, M.Martins, R.R.Hansen, R.Kumar, published on 30-10-2015, Trespass project
- Deliverable D3.2.1, Extraction methods for stochastic models, R.Kumar (Editor), A.Rensink, published on 301-10-2015, Trespass project
Program Committee.
1. International Conference on Networks and Cryptology (NetCrypt) 2019, Jawahar lal Nehru University, New Delhi
2.
7th International Workshop on Graphical Models for Security (GraMSec 2020, https://www.gramsec.uni.lu/), held online in conjunction with the 33rd IEEE Computer Security Foundations Symposium, on June 22, 2020.