Antonio Durante

Publication Activity (10 Years)

Years Active: 1994-2006
Publications (10 Years): 0

Publications

Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil
Addressing the shortcomings of one-way chains. AsiaCCS (2006)
Roberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil
Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. SecureComm (2005)
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
A Trace Logic for Local Security Properties. Electron. Notes Theor. Comput. Sci. 118 (2005)
Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
A Trace Logic for Local Security Properties CoRR (2004)
Roberto Di Pietro, Antonio Durante, Luigi V. Mancini
A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS (2003)
Antonio Durante, Roberto Di Pietro, Luigi V. Mancini
Formal Specification for Fast Automatic IDS Training. FASec (2002)
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS (2001)
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9 (4) (2000)
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW (1999)
Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante
The Compilation of a Set-Based Logic Language for Generic Parallel Machines. WLP (1994)