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
funded by the National Research Fund Luxembourg (CORE grant No. C08/IS/26), and the
FP7 EU TREsPASS
(Grant Agreement No. 318003).
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.
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.
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.
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.
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: