Pubblicazione in rivista scientifica

Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione in rivista scientifica]

Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications. [Pubblicazione in rivista scientifica]

Contributo a Convegno o Workshop

Benerecetti, Massimo and Peron, Adriano (2010) Analysis of Timed Recursive State Machines. In: 17th Internationa Symposium on Temporal Representation and Reasoning, 6-8 Settembre 2010, Paris, France.

Benerecetti, Massimo and Peron, Adriano (2010) Timed protocols insecurity problem is NP-complete. In: International Conference on High Performance Computing & Simulation, Giugno 28 - Luglio 2, Caen, France.

Benerecetti, Massimo (2007) Abstraction Refinement of Linear Programs with Arrays. In: Tools and Algorithms for the Construction and Analysis of Systems, 13-16 ottobre 2006, Braga, Portugal.

Benerecetti, Massimo (2007) The Eureka Tool for Software Model Checking. In: International Conference on Automatic Software Engineering 2007, 5-9 novembre 2007, Atlanta, USA.

Benerecetti, Massimo and Peron, Adriano (2006) Timed HLPSL for specification and verification of time sensitive protocols. In: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, 15-16 August, 2006, Seattle, USA.

Capitolo di libro

Benerecetti, Massimo (2008) The Dimensions Of Context Dependence. In: Perspectives on Contexts. CSLI Publications, pp. 1-18. ISBN 9781575865386