Piotr Kordy

I was a technical assistant in the Security and Trust of Software Systems (SaToSS) research group headed by Prof. Sjouke Mauw. I was a member of the Interdisciplinary Centre for Security, Reliability and Trust. I worked on the ATREES project, funded by the National Research Fund Luxembourg (CORE grant No. C08/IS/26), and the FP7 EU TREsPASS project (Grant Agreement No. 318003).

Software

I have developed the following software:

ADTool software supporting threat modeling and analysis with attack-defense trees.
cCarve command line tool for carving attributed dump sets.
Verifix tool for robust reachability analysis of timed automata.
MSC package - I am one of the designers and the maintainer of the MCS LaTeX package for drawing Message Sequence Charts.

[1]	Piotr Kordy, Rom Langerak, Sjouke Mauw, and Jan Willem Polderman. A Symbolic Algorithm for the Analysis of Robust Timed Automata. In Cliff Jones, Pekka Pihlajasaari, and Jun Sun, editors, Formal Methods (FM 2014), volume 8442 of LNCS, pages 351–366. Springer, 2014.
[2]	Barbara Kordy, Piotr Kordy, Sjouke Mauw, and Patrick Schweitzer. ADTool: Security Analysis with Attack-Defense Trees. In Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, and Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems (QEST 2013), volume 8054 of LNCS, pages 173–176. Springer, 2013.
[3]	Piotr Kordy, Rom Langerak, and Jan Willem Polderman. Re-verification of a Lip Synchronization Protocol using Robust Reachability. In Manuela L. Bujorianu and Michael Fisher, editors, Formal Methods for Aerospace (FMA 2009), volume 20 of EPTCS, pages 49–62, 2009.
[4]	Conrado Daws and Piotr Kordy. Symbolic Robustness Analysis of Timed Automata. In Eugene Asarin and Patricia Bouyer, editors, Formal Modeling and Analysis of Timed Systems (FORMATS 2006) , volume 4202 of LNCS, pages 143–155. Springer, 2006.

I have been the web chair of the following scientific events: