Rob Delicata

According to our database, Rob Delicata authored at least 5 papers between 2004 and 2007.

Collaborative distances:

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

2007

An algebraic approach to the verification of a class of Diffie-Hellman protocols.

Rob Delicata, Steve A. Schneider

Int. J. Inf. Sec., 2007

2006

Reasoning about secrecy in the rank function framework.

Roberto Delicata

PhD thesis, 2006

2005

A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.

Rob Delicata, Steve A. Schneider

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Temporal Rank Functions for Forward Secrecy.

Rob Delicata, Steve A. Schneider

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Verifying Security Protocols: An Application of CSP.

Steve A. Schneider, Rob Delicata

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004