4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.CR2013★ 3 cited
ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
Barbara Kordy, Piotr Kordy, Sjouke Mauw +1
The ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack-defense trees. The main features of the ADTool are easy cr…
cs.LO2010★ 4 cited
Re-verification of a Lip Synchronization Protocol using Robust Reachability
Piotr Kordy, Rom Langerak, Jan Willem Polderman
The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clo…