Verifying Security Protocols: An Application of CSP. - Steve A. Schneider; Rob Delicata (25 Years Communicating Sequential Processes, 2004)

Temporal Rank Functions for Forward Secrecy. - Rob Delicata; Steve A. Schneider (CSFW, 2005)

A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. - Rob Delicata; Steve A. Schneider (Formal Aspects in Security and Trust, 2005)

Reasoning about secrecy in the rank function framework. - Roberto Delicata (2006)

An algebraic approach to the verification of a class of Diffie-Hellman protocols. - Rob Delicata; Steve A. Schneider (Int. J. Inf. Sec., 2007)