The Compilation of a Set-Based Logic Language for Generic Parallel Machines. - Giancarlo Succi; Joy Marino; Alberto Baudino; Antonio Durante (WLP, 1994)

CVS: A Compiler for the Analysis of Cryptographic Protocols. - Antonio Durante; Riccardo Focardi; Roberto Gorrieri (CSFW, 1999)

A compiler for analyzing cryptographic protocols using noninterference. - Antonio Durante; Riccardo Focardi; Roberto Gorrieri (ACM Trans. Softw. Eng. Methodol., 2000)

CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. - Antonio Durante; Riccardo Focardi; Roberto Gorrieri (MMM-ACNS, 2001)

Formal Specification for Fast Automatic IDS Training. - Antonio Durante; Roberto Di Pietro; Luigi V. Mancini (FASec, 2002)

A Reliable Key Authentication Schema for Secure Multicast Communications. - Roberto Di Pietro; Antonio Durante; Luigi V. Mancini (SRDS, 2003)

A Trace Logic for Local Security Properties. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Antonio Durante (SVV@ICLP, 2003)

Security issues concerning cryptographic protocols. - Antonio Durante (2004)

Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. - Roberto Di Pietro; Antonio Durante; Luigi V. Mancini; Vishwas Patil (SecureComm, 2005)

Addressing the shortcomings of one-way chains. - Roberto Di Pietro; Luigi V. Mancini; Antonio Durante; Vishwas Patil (AsiaCCS, 2006)