Michele Peroli

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Automated Design

Security Protocols

Cryptographic Algorithms

Artificial Immune Algorithm

Top Venues

Security Protocols Workshop

Softw. Test. Verification Reliab.

Publications

Michele Peroli, Federico De Meo, Luca Viganò, Davide Guardini
MobSTer: A model-based security testing framework for web applications. Softw. Test. Verification Reliab. 28 (8) (2018)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios. Frontiers ICT 2 (2015)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). Security Protocols Workshop (2014)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version). CoRR (2014)
Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti
VERA: A Flexible Model-Based Vulnerability Testing Tool. ICST (2013)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
An environmental paradigm for defending security protocols. CTS (2012)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Attack Interference: A Path to Defending Security Protocols. ICETE (Selected Papers) (2011)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] CoRR (2011)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis. SECRYPT (2011)
Maria-Camilla Fiazza, Michele Peroli, Luca Viganò
Security protocols as environments: A lesson from non-collaboration. CollaborateCom (2011)