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…