Follow
Michele Peroli
Michele Peroli
Ph. D. Student at the University of Verona
Verified email at univr.it
Title
Cited by
Cited by
Year
Vera: A flexible model-based vulnerability testing tool
A Blome, M Ochoa, K Li, M Peroli, MT Dashti
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
332013
MobSTer: A model‐based security testing framework for web applications
M Peroli, F De Meo, L Viganò, D Guardini
Software Testing, Verification and Reliability 28 (8), e1685, 2018
222018
Attack interference in non-collaborative scenarios for security protocol analysis
M Fiazza, M Peroli, L Vigano
Security and Cryptography (SECRYPT), 2011 Proceedings of the International …, 2011
72011
An environmental paradigm for defending security protocols
MC Fiazza, M Peroli, L Vigano
2012 International Conference on Collaboration Technologies and Systems (CTS …, 2012
42012
Attack interference: a path to defending security protocols
MC Fiazza, M Peroli, L Viganò
E-Business and Telecommunications: International Joint Conference, ICETE …, 2012
32012
Security protocols as environments: A lesson from non-collaboration
MC Fiazza, M Peroli, L Viganò
7th International Conference on Collaborative Computing: Networking …, 2011
32011
Defending vulnerable security protocols by means of attack interference in non-collaborative scenarios
MC Fiazza, M Peroli, L Viganò
Frontiers in ICT 2, 11, 2015
22015
A Model-Based Security Testing Approach for Web Applications
M Peroli
12015
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
M Peroli, L Viganò, M Zavatteri
Security Protocols XXII: 22nd International Workshop, Cambridge, UK, March …, 2014
12014
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]
MC Fiazza, M Peroli, L Vigano
arXiv preprint arXiv:1106.3746, 2011
12011
Security Protocols as Environments: a Lesson from Non-collaboration
M Peroli, L Viganò, MC Fiazza
The 6th International Workshop on Trusted Collaboration, 2012
2012
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]
M Camilla Fiazza, M Peroli, L Viganò
arXiv e-prints, arXiv: 1106.3746, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–12