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)

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

Security Requirements for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols - Kim-Kwang Raymond Choo; Yvonne Hitchcock (Information Security and Privacy, 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings, 2005)

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings, 2005)

Errors in Computational Complexity Proofs for Protocols - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings, 2005)

On Session Key Construction in Provably-Secure Key Establishment Protocols - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Progress in Cryptology - Mycrypt 2005, First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings, 2005)

Provably Secure Tripartite Password Protected Key Exchange Protocol Based on Elliptic Curves - Sanggon Lee; Yvonne Hitchcock; Youngho Park; Sang-Jae Moon (Selected Areas in Cryptography, 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers, 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)

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

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

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)

Improvements to the RAK Factoring Algorithm - Yousef Bani Hammad; Gary Carter; Ed Dawson; Yvonne Hitchcock (Cryptographic Algorithms and their Uses - 2004, International Workshop, Gold Coast, Australia, July 5-6, 2004, Proceedings, 2004)

Complementing Computational Protocol Analysis with Formal Specifications - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock; Greg Maitland (Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, 2004)

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (Progress in Cryptology - INDOCRYPT 2004, 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings, 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 (Security in Communication Networks, 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers, 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 (IACR Cryptol. ePrint Arch., 2004)

The Security of Fixed versus Random Elliptic Curves in Cryptography - Yvonne Hitchcock; Paul Montague; Gary Carter; Ed Dawson (Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, 2003)

A Password-Based Authenticator: Security Proof and Applications - Yvonne Hitchcock; Yiu Shing Terry Tin; Juan Manuel González Nieto; Colin Boyd; Paul Montague (Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, 2003)

A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis - Yvonne Hitchcock; Paul Montague (Information Security and Privacy, 7th Australian Conference, ACISP 2002, Melbourne, Australia, July 3-5, 2002, Proceedings, 2002)