Piotr Kordy

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 2

Top Topics

Security Analysis

Encryption Algorithm

Attack Scenarios

Top Venues

Publications

Barbara Kordy, Piotr Kordy, Yoann van den Boom
SPTool - Equivalence Checker for SAND Attack Trees. CRiSIS (2016)
Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua
Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. QEST (2016)
Piotr Kordy, Rom Langerak, Sjouke Mauw, Jan Willem Polderman
A Symbolic Algorithm for the Analysis of Robust Timed Automata. FM (2014)
Xihui Chen, Piotr Kordy, Ruipeng Lu, Jun Pang
MinUS: Mining User Similarity with Trajectory Patterns. ECML/PKDD (3) (2014)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack- Defense Trees (Extended Version) CoRR (2013)
Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer
ADTool: Security Analysis with Attack-Defense Trees. QEST (2013)
Piotr Kordy, Rom Langerak, Jan Willem Polderman
Re-verification of a Lip Synchronization Protocol using Robust Reachability FMA (2009)
Conrado Daws, Piotr Kordy
Symbolic Robustness Analysis of Timed Automata. FORMATS (2006)