Yvonne Hitchcock

According to our database, Yvonne Hitchcock authored at least 17 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

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

2005

Errors in Computational Complexity Proofs for 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

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

RAK factoring algorithm.

Yousef Bani Hammad, Gary Carter, Ed Dawson, W. Müller, Yvonne Hitchcock

Australas. J Comb., 2005

Provably Secure Tripartite Password Protected Key Exchange Protocol Based on Elliptic Curves.

Sanggon Lee, Yvonne Hitchcock, Youngho Park, Sang-Jae Moon

Proceedings of the Selected Areas in Cryptography, 12th International Workshop, 2005

On Session Key Construction in Provably-Secure Key Establishment Protocols.

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock

Proceedings of the Progress in Cryptology, 2005

Security Requirements for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols.

Kim-Kwang Raymond Choo, Yvonne Hitchcock

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

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

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

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model.

Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto

Proceedings of the Progress in Cryptology, 2004

Complementing Computational Protocol Analysis with Formal Specifications.

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Improvements to the RAK Factoring Algorithm.

Yousef Bani Hammad, Gary Carter, Ed Dawson, Yvonne Hitchcock

Proceedings of the Cryptographic Algorithms and their Uses, 2004

2003

A Password-Based Authenticator: Security Proof and Applications.

Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel González Nieto, Colin Boyd, Paul Montague

Proceedings of the Progress in Cryptology, 2003

The Security of Fixed versus Random Elliptic Curves in Cryptography.

Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson

Proceedings of the Information Security and Privacy, 8th Australasian Conference, 2003

2002

A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis.

Yvonne Hitchcock, Paul Montague

Proceedings of the Information Security and Privacy, 7th Australian Conference, 2002