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 | 33 | 2013 |
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 | 22 | 2018 |
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 | 7 | 2011 |
An environmental paradigm for defending security protocols MC Fiazza, M Peroli, L Vigano 2012 International Conference on Collaboration Technologies and Systems (CTS …, 2012 | 4 | 2012 |
Attack interference: a path to defending security protocols MC Fiazza, M Peroli, L Viganò E-Business and Telecommunications: International Joint Conference, ICETE …, 2012 | 3 | 2012 |
Security protocols as environments: A lesson from non-collaboration MC Fiazza, M Peroli, L Viganò 7th International Conference on Collaborative Computing: Networking …, 2011 | 3 | 2011 |
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 | 2 | 2015 |
A Model-Based Security Testing Approach for Web Applications M Peroli | 1 | 2015 |
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 | 1 | 2014 |
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version] MC Fiazza, M Peroli, L Vigano arXiv preprint arXiv:1106.3746, 2011 | 1 | 2011 |
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 |