1. Modeling attack-defense trees’ countermeasures using continuous time markov chains;lounis;1st International Conference on Software Engineering and Formal Methods,2020
2. Security evaluation of cyber-physical systems using automatically generated attack trees;lemaire;International Conference on Critical Information Infrastructures Security,2017
3. Simplified Timed Attack Trees
4. Attack trees with time constraints;ali;CS&P,2021
5. Quantitative Attack Tree Analysis via Priced Timed Automata