Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. - Yiu Shing Terry Tin; Colin Boyd; Juan Manuel González Nieto (ACISP, 2003)

Provably Secure Key Exchange: An Engineering Approach. - Yiu Shing Terry Tin; Colin Boyd; Juanma González Nieto (ACSW, 2003)

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

Protocols with Security Proofs for Mobile Applications. - Yiu Shing Terry Tin; Harikrishna Vasanta; Colin Boyd; Juan Manuel González Nieto (ACISP, 2004)

A Secure Framework for User Privacy in Heterogeneous Location Networks. - Harikrishna Vasanta; Yiu Shing Terry Tin; Colin Boyd; Mark Looi; Juan Manuel González Nieto (MATA, 2004)

Password Based Server Aided Key Exchange . - Yvonne Cliff; Yiu Shing Terry Tin; Colin Boyd (ACNS, 2006)