Michele Peroli

According to our database1, Michele Peroli authored at least 9 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
MobSTer: A model-based security testing framework for web applications.
Softw. Test. Verification Reliab., 2018

2015
Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios.
Frontiers ICT, 2015

2014
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version).
Proceedings of the Security Protocols XXII, 2014

2013
VERA: A Flexible Model-Based Vulnerability Testing Tool.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
An environmental paradigm for defending security protocols.
Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

2011
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]
CoRR, 2011

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

Attack Interference: A Path to Defending Security Protocols.
Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

Security protocols as environments: A lesson from non-collaboration.
Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011


  Loading...