Searching for authors named "Yvonne Hitchcock" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Implementing an efficient elliptic curve cryptosystem over GF (p) on a smart card
by Yvonne Hitchcock, Edward Dawson, Andrew Clark, Paul Montague — 2003
… GF (p) on a smart card Yvonne Hitchcock ∗ Edward Dawson † Andrew Clark ‡ Paul Montague § (Received 1…
Cited by 2 (0 self) – Add To MetaCart

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model (Extended version available from http://sky.fit.qut.edu.au
by Yvonne Hitchcock, Colin Boyd, Juan Manuel, González Nieto — 2004 — boydc/papers/), in A. Canteaut & K. Viswanathan, eds, ‘5th International Conference on Cryptology in India - Indocrypt 2004
…Tripartite Key Exchange in the Canetti-Krawczyk Proof Model ∗ Yvonne Hitchcock, Colin Boyd…
Cited by 2 (1 self) – Add To MetaCart

On Session Identifiers in Provably Secure Protocols - The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited
by Kim-kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland — 2004 — In Carlo Blundo and Stelvio Cimato, editors, Fourth Conference on Security in Communication Networks - SCN 2004 Proceedings, volume 3352 of Lecture Notes in Computer Science
… Distribution Protocol Revisited ⋆ Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, and Greg Maitland…
Cited by 7 (4 self) – Add To MetaCart

On Session Key Construction in Provably-Secure Key Establishment Protocols
by Kim-kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock — 2005 — Kudla (2003) and McCullagh & Barreto (2005) ID-based protocols’, In Proceedings of Mycrypt 2005, LNCS 3715
… Choo, Colin Boyd, and Yvonne Hitchcock Information Security Institute Queensland University…
Cited by 4 (0 self) – Add To MetaCart

Complementing computational protocol analysis with formal specifications (Extended version available from: in
by Kim-kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitl — 2004 — Martinelli (Eds.), IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust – FAST 2004, Springer-Verlag, IFIP International Federation for Information Processing Series 173/2005, 2004
…, Colin Boyd, Yvonne Hitchcock, and Greg Maitland lnformation Security Research Centre Queensland…
Cited by 2 (2 self) – Add To MetaCart

The Importance of Proofs of Security for Key Establishment Protocols: Formal Analysis of Jan–Chen
by Kim-kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock — 2005 — Yang–Shen–Shieh, Kim–Huh–Hwang–Lee, Lin–Sun–Hwang, & Yeh– Sun Protocols
… Choo *, Colin Boyd, Yvonne Hitchcock Information Security Institute, Queensland University…
Cited by 2 (2 self) – Add To MetaCart

Errors in Computational Complexity Proofs for Protocols
by Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock — 2005
…, Kim-Kwang Raymond and Boyd, Colin A. and Hitchcock, Yvonne (2005) Errors in Computational Complexity…
Cited by 11 (7 self) – Add To MetaCart

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
by Kim-kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock — 2005 — In Advances in Cryptology – ASIACRYPT’05
…-Kwang Raymond Choo & Colin Boyd & Yvonne Hitchcock Information Security Institute Queensland University…
Cited by 21 (7 self) – Add To MetaCart

A Password-Based Authenticator: Security Proof and Applications
by Yvonne Hitchcock, Yiu Shing Terry Tin, Yiu Shing, Terry Tin, Paul Montague, Colin Boyd, Juan Manuel, Juan Manuel Gonzalez Nieto, Paul
…A Password-Based Authenticator: Security Proof and Applications # Yvonne Hitchcock 1 , Yiu Shing…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB