3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CR2015
Attack Trees with Sequential Conjunction
Ravi Jhawar, Barbara Kordy, Sjouke Mauw +2
We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity…
cs.CR2015
Generalizing Multi-party Contract Signing
Sjouke Mauw, Sasa Radomirovic
Multi-party contract signing (MPCS) protocols allow a group of signers to exchange signatures on a predefined contract. Previous approaches considered either completely linear prot…
cs.CR2006★ 3 cited
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…