| 2007 |
|---|
| 4 | EE | Rob Delicata,
Steve Schneider:
An algebraic approach to the verification of a class of Diffie-Hellman protocols.
Int. J. Inf. Sec. 6(2-3): 183-196 (2007) |
| 2005 |
|---|
| 3 | EE | Rob Delicata,
Steve A. Schneider:
Temporal Rank Functions for Forward Secrecy.
CSFW 2005: 126-139 |
| 2 | EE | Rob Delicata,
Steve A. Schneider:
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.
Formal Aspects in Security and Trust 2005: 34-46 |
| 2004 |
|---|
| 1 | EE | Steve A. Schneider,
Rob Delicata:
Verifying Security Protocols: An Application of CSP.
25 Years Communicating Sequential Processes 2004: 243-263 |
