Security protocols as environments: A lesson from non-collaboration. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CollaborateCom, 2011)

Attack Interference: A Path to Defending Security Protocols. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (ICETE (Selected Papers), 2011)

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (SECRYPT, 2011)

Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CoRR, 2011)

An environmental paradigm for defending security protocols. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (CTS, 2012)

VERA: A Flexible Model-Based Vulnerability Testing Tool. - Abian Blome; Martín Ochoa; Keqin Li 002; Michele Peroli; Mohammad Torabi Dashti (ICST, 2013)

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). - Michele Peroli; Luca Viganò 001; Matteo Zavatteri (Security Protocols Workshop, 2014)

Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. - Maria-Camilla Fiazza; Michele Peroli; Luca Viganò 001 (Frontiers ICT, 2015)

MobSTer: A model-based security testing framework for web applications. - Michele Peroli; Federico De Meo; Luca Viganò 001; Davide Guardini (Softw. Test. Verification Reliab., 2018)