1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2014
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it…
cs.CR2011★ 1 cited
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]
M. Camilla Fiazza, Michele Peroli, Luca Viganò
In security protocol analysis, the traditional choice to consider a single Dolev-Yao attacker is supported by the fact that models with multiple collaborating Dolev-Yao attackers h…