Nicola Cuomo

According to our database¹, Nicola Cuomo authored at least 3 papers between 2009 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Verification of Timed Security Protocols.

[BibT_eX]

[DOI]

PhD thesis, 2010

Timed protocols insecurity problem is NP-complete.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009

TPMC: A Model Checker For Time-Sensitive Security Protocols.

[BibT_eX]

[DOI]

J. Comput., 2009