Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. - Hitchcock, Yvonne; Boyd, Colin; Nieto, Juan Manuel González (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. - Choo, Kim-Kwang Raymond; Boyd, Colin; Hitchcock, Yvonne (Comput. Commun., 2006)

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

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

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

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

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

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

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

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

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

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

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

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

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

On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. - Choo, Kim-Kwang Raymond; Boyd, Colin; Hitchcock, Yvonne; Maitland, Greg (2004)

On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. - Choo, Kim-Kwang Raymond; Boyd, Colin; Hitchcock, Yvonne; Maitland, Greg (IACR Cryptol. ePrint Arch., 2004)

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

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

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