| 2005 | ACISP | Security Requirements for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols. | Kim-Kwang Raymond Choo, Yvonne Hitchcock |
| 2005 | ASIACRYPT | Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock |
| 2005 | ASIACRYPT | Errors in Computational Complexity Proofs for Protocols. | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock |
| 2004 | INDOCRYPT | Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. | Yvonne Hitchcock, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2004 | SCN | On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland |
| 2003 | ACISP | The Security of Fixed versus Random Elliptic Curves in Cryptography. | Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson |
| 2003 | INDOCRYPT | A Password-Based Authenticator: Security Proof and Applications. | Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel Gonzlez Nieto, Colin Boyd, Paul Montague |
| 2002 | ACISP | A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis. | Yvonne Hitchcock, Paul Montague |