Back
  1. Home
  2. Profile of Piotr KORDY (Unilu)
Profil

KORDY Piotr

Main Referenced Co-authors
MAUW, Sjouke  (3)
GADYATSKAYA, Olga  (1)
JHAWAR, Ravi  (1)
KORDY, Barbara  (1)
Langerak, Rom (1)
Main Referenced Keywords
Attack Trees (1); Attack-Defense Trees (1); Computer Tool (1); Graphical Security Modeling (1);
Main Referenced Disciplines
Computer science (3)

Publications (total 3)

The most downloaded
73 downloads
Kordy, P., Langerak, R., Mauw, S., & Polderman, J. (2014). A symbolic algorithm for the analysis of robust timed automata. In 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (pp. 351-366). https://hdl.handle.net/10993/25901

The most cited

41 citations (Scopus®)

Gadyatskaya, O., Jhawar, R., Kordy, P., Lounis, K., Mauw, S., & Trujillo Rasua, R. (2016). Attack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0. In Quantitative Evaluation of Systems - 13th International Conference (Lecture Notes in Computer Science, pp. 159--162). Quebec, Canada: Springer. doi:10.1007/978-3-319-43425-4_10 https://hdl.handle.net/10993/28763

Gadyatskaya, O., Jhawar, R., Kordy, P., Lounis, K., Mauw, S., & Trujillo Rasua, R. (2016). Attack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0. In Quantitative Evaluation of Systems - 13th International Conference (Lecture Notes in Computer Science, pp. 159--162). Quebec, Canada: Springer. doi:10.1007/978-3-319-43425-4_10
Peer reviewed

Kordy, P., Langerak, R., Mauw, S., & Polderman, J. (2014). A symbolic algorithm for the analysis of robust timed automata. In 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (pp. 351-366).
Peer reviewed

Kordy, B., Kordy, P., Mauw, S., & Schweitzer, P. (2013). ADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper). In 10th International Conference on Quantitative Evaluation of SysTems (pp. 173-176). Springer.
Peer reviewed

Contact ORBilu