8 citations · 20 across the 17 of their papers we have counts for
4 papers · 1 filter
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu, Sjouke Mauw
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on Jun…
Comparing Distance Bounding Protocols: a Critical Mission Supported by Decision Theory
Gildas Avoine, Sjouke Mauw, Rolando Trujillo-Rasua
Distance bounding protocols are security countermeasures designed to thwart relay attacks. Such attacks consist in relaying messages exchanged between two parties, making them beli…
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…
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…