Yvonne Hitchcock

20 papers A 2B 1Misc 6Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2006 J jnl
Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model.
Appl. Algebra Eng. Commun. Comput.
Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
2006 J jnl
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.
Comput. Commun.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 A conf
Errors in Computational Complexity Proofs for Protocols.
ASIACRYPT
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 J jnl
Errors in Computational Complexity Proofs for Protocols.
IACR Cryptol. ePrint Arch.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 A conf
Examining Indistinguishability-Based Proof Models for Key Establishment Protocols.
ASIACRYPT
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 J jnl
Examining Indistinguishability-Based Proof Models for Key Establishment Protocols.
IACR Cryptol. ePrint Arch.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 — conf
On Session Key Construction in Provably-Secure Key Establishment Protocols.
Mycrypt
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 J jnl
On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols.
IACR Cryptol. ePrint Arch.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005 B conf
Provably Secure Tripartite Password Protected Key Exchange Protocol Based on Elliptic Curves.
Selected Areas in Cryptography
Sanggon Lee, Yvonne Hitchcock, Youngho Park, Sang-Jae Moon
2005 J jnl
RAK factoring algorithm.
Australas. J Comb.
Yousef Bani Hammad, Gary Carter, Ed Dawson, W. Müller, Yvonne Hitchcock
2005 Misc conf
Security Requirements for Key Establishment Proof Models: Revisiting Bellare-Rogaway and Jeong-Katz-Lee Protocols.
ACISP
Kim-Kwang Raymond Choo, Yvonne Hitchcock
2004 — conf
Complementing Computational Protocol Analysis with Formal Specifications.
Formal Aspects in Security and Trust
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004 — conf
Improvements to the RAK Factoring Algorithm.
Cryptographic Algorithms and their Uses
Yousef Bani Hammad, Gary Carter, Ed Dawson, Yvonne Hitchcock
2004 Misc conf
On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited.
SCN
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004 J jnl
On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited.
IACR Cryptol. ePrint Arch.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004 J jnl
The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves.
Int. J. Inf. Sec.
Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson
2004 Misc conf
Tripartite Key Exchange in the Canetti-Krawczyk Proof Model.
INDOCRYPT
Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
2003 Misc conf
A Password-Based Authenticator: Security Proof and Applications.
INDOCRYPT
Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel González Nieto, Colin Boyd, Paul Montague
2003 Misc conf
The Security of Fixed versus Random Elliptic Curves in Cryptography.
ACISP
Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson
2002 Misc conf
A New Elliptic Curve Scalar Multiplication Algorithm to Resist Simple Power Analysis.
ACISP
Yvonne Hitchcock, Paul Montague