8 citations · 20 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
Automated generation of attack trees with optimal shape and labelling
Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasuac +1
This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks…
cs.CR2023★ 2 cited
Provably Unlinkable Smart Card-based Payments
Sergiu Bursuc, Ross Horne, Sjouke Mauw +1
The most prevalent smart card-based payment method, EMV, currently offers no privacy to its users. Transaction details and the card number are sent in cleartext, enabling the profi…