A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis. - Yvonne Hitchcock; Paul Montague (ACISP, 2002)

The Security of Fixed versus Random Elliptic Curves in Cryptography. - Yvonne Hitchcock; Paul Montague; Gary Carter; Ed Dawson (ACISP, 2003)

A Password-Based Authenticator: Security Proof and Applications. - Yvonne Hitchcock; Yiu Shing Terry Tin; Juan Manuel González Nieto; Colin Boyd; Paul Montague (INDOCRYPT, 2003)

Improvements to the RAK Factoring Algorithm. - Yousef Bani Hammad; Gary Carter; Ed Dawson; Yvonne Hitchcock (Cryptographic Algorithms and their Uses, 2004)

Complementing Computational Protocol Analysis with Formal Specifications. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock; Greg Maitland (Formal Aspects in Security and Trust, 2004)

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (INDOCRYPT, 2004)

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 (SCN, 2004)

The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves. - Yvonne Hitchcock; Paul Montague; Gary Carter; Ed Dawson (Int. J. Inf. Sec., 2004)

Security Requirements for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols. - Kim-Kwang Raymond Choo; Yvonne Hitchcock (ACISP, 2005)

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (ASIACRYPT, 2005)

Errors in Computational Complexity Proofs for Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (ASIACRYPT, 2005)

On Session Key Construction in Provably-Secure Key Establishment Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Mycrypt, 2005)

Provably Secure Tripartite Password Protected Key Exchange Protocol Based on Elliptic Curves. - Sanggon Lee; Yvonne Hitchcock; Youngho Park 005; Sang-Jae Moon (Selected Areas in Cryptography, 2005)

RAK factoring algorithm. - Yousef Bani Hammad; Gary Carter; Ed Dawson; W. Müller; Yvonne Hitchcock (Australas. J Comb., 2005)

On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (IACR Cryptol. ePrint Arch., 2005)

Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (Appl. Algebra Eng. Commun. Comput., 2006)

The importance of proofs of security for key establishment protocols: Formal analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Comput. Commun., 2006)