Antonio Durante

According to our database, Antonio Durante authored at least 10 papers between 1994 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Addressing the shortcomings of one-way chains.

Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

2005

Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy.

Roberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil

Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks, 2005

2004

Security issues concerning cryptographic protocols.

Antonio Durante

PhD thesis, 2004

2003

A Trace Logic for Local Security Properties.

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante

Proceedings of the International Workshop on Software Verification and Validation, 2003

A Reliable Key Authentication Schema for Secure Multicast Communications.

Roberto Di Pietro, Antonio Durante, Luigi V. Mancini

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

2002

Formal Specification for Fast Automatic IDS Training.

Antonio Durante, Roberto Di Pietro, Luigi V. Mancini

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001

CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.

Antonio Durante, Riccardo Focardi, Roberto Gorrieri

Proceedings of the Information Assurance in Computer Networks: Methods, 2001

2000

A compiler for analyzing cryptographic protocols using noninterference.

Antonio Durante, Riccardo Focardi, Roberto Gorrieri

ACM Trans. Softw. Eng. Methodol., 2000

1999

CVS: A Compiler for the Analysis of Cryptographic Protocols.

Antonio Durante, Riccardo Focardi, Roberto Gorrieri

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1994

The Compilation of a Set-Based Logic Language for Generic Parallel Machines.

Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante

Proceedings of the Tenth Logic Programming Workshop, 1994