Antonio Durante

According to our database1, Antonio Durante authored at least 9 papers between 1994 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Addressing the shortcomings of one-way chains.
Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

2005
A Trace Logic for Local Security Properties.
Electr. Notes Theor. Comput. Sci., 2005

Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy.
Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks, 2005

2003
A Reliable Key Authentication Schema for Secure Multicast Communications.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

2002
Formal Specification for Fast Automatic IDS Training.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.
Proceedings of the Information Assurance in Computer Networks: Methods, 2001

2000
A compiler for analyzing cryptographic protocols using noninterference.
ACM Trans. Softw. Eng. Methodol., 2000

1999
CVS: A Compiler for the Analysis of Cryptographic Protocols.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1994
The Compilation of a Set-Based Logic Language for Generic Parallel Machines.
Proceedings of the Tenth Logic Programming Workshop, 1994


  Loading...