Piotr Kordy

Piotr Kordy
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2016

Full Text
See detailAttack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0
Gadyatskaya, Olga; Jhawar, Ravi; Kordy, Piotr; Lounis, Karim; Mauw, Sjouke; Trujillo Rasua, Rolando

in Quantitative Evaluation of Systems - 13th International Conference (2016)

Top of Page

2014

Full Text
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr; Langerak, Rom; Mauw, Sjouke; Polderman, Jan

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Top of Page

2013

Full Text
See detailADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)
Kordy, Barbara; Kordy, Piotr; Mauw, Sjouke; Schweitzer, Patrick

in 10th International Conference on Quantitative Evaluation of SysTems (2013)

Top of Page