Colin Boyd - Publications

DBLP is more complete.

Book

Colin Boyd and Anish Mathuria, Protocols for Authentication and Key Establishment, Springer-Verlag, 2003.

As far as possible these are available online. Some papers may not be available for copyright reasons. Many of my older papers no longer exist, if they ever did, in electronic form. (Some were written on typewriters! )

Note that copyright for many of the papers published in the LNCS series is held by Springer.

Colin Boyd, Kim-Kwang Raymond Choo, Anish Mathuria, "An Extension to the Bellare--Rogaway Model: Resetting Compromised Long-term Keys", ACISP 2006, Lecture Notes in Computer Science, Springer-Verlag, 2006, pp.371-382. Full version (with proofs).
Yvonne Cliff, Terry Tin, Colin Boyd, Password Based Server Aided Key Exchange", Applied Cryptography and Network Security (ACNS 2006), Lecture Notes in Computer Science, Springer-Verlag. Full version in PDF.
Sherman S.M. Chow and Colin Boyd and Juan Manuel Gonzalez Nieto, Security-Mediated Certificateless Cryptography, Public Key Cryptography (PKC) 2006, Springer-Verlag, to appear.
Jason Smith, Juan Gonzalez-Nieto and Colin Boyd, Modelling Denial of Service Attacks on JFK with Meadows's Cost-Based Framework, Fourth Australasian Information Security Workshop (AISW-NetSec 2006), Volume 54 - CRPIT series, pp. 125-134, Australian Computer Society, 2006.
Robert Dawson, Colin Boyd, Ed Dawson and Juan Gonzalez-Nieto, SKMA - A Key Management Architecture for SCADA Systems.Formal Analysis of Secure Contracting Protocol for E-Tendering, Fourth Australasian Information Security Workshop (AISW-NetSec 2006), Volume 54 - CRPIT series, pp. 183-192, Australian Computer Society, 2006.
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond Choo. Formal Analysis of Secure Contracting Protocol for E-Tendering, Fourth Australasian Information Security Workshop (AISW-NetSec 2006), Volume 54 - CRPIT series, pp. 155 - 164, Australian Computer Society, 2006.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock. Errors in Computational Complexity Proofs for Protocols, Advances in Cryptology - Asiacrypt 2005, LNCS 3788, pp.624-643.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock. Examining Indistinguishability-Based Proof Models for Key Establishment Protocols, to appear in Advances in Cryptology - Asiacrypt 2005, LNCS 3788, pp.585-604.
Colin Boyd, Kim-Kwang Raymond Choo. [Invited Paper] Security of Two-Party Identity-Based Key Agreement. 1st International Conference on Cryptology in Malaysia - Mycrypt 2005
Kun Peng, Colin Boyd, and Ed Dawson, Simple and Efficient Shuffling with Provable Correctness and ZK Privacy Advances in Cryptology - Crypto 2005, Springer-Verlag, 2005.
Colin Boyd, "Design of Secure Key Establishment Protocols", Invited paper for Indocrypt 2004, Lecture Notes in Computer Science, Springer-Verlag, December 2004. Slides in PDF.
Yvonne Hitchcock, Colin Boyd, Juan Manuel Gonzalez Nieto, "Tripartite Key Exchange in the Canetti-Krawczyk Proof Model", 5th International Conference on Cryptology in India INDOCRYPT 2004), Lecture Notes in Computer Science, Springer-Verlag, December 2004. Full version in PDF.
Raymond Choo, Colin Boyd, Yvonne Hitchcock and Greg Maitland, On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited, Fourth Conference on Security in Communication Networks '04 Lecture Notes in Computer Science, Springer-Verlag, 2004. This is the full version of the pre-proceedings version.
Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Boyd, Juan Manuel Gonzalez Nieto, "Protocols with Security Proofs for Mobile Applications, ACISP 2004, Lecture Notes in Computer Science, Springer-Verlag, 2004. Full version (with proofs).
Colin Boyd, Wenbo Mao and Kenny Paterson, "Key Agreement using Statically Keyed Authenticators", Applied Cryptography and Network Security: Second International Conference, ACNS 2004, volume 3089 of Lecture Notes in Computer Science, Springer-Verlag, 2004. Slightly corrected version in PDF
Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee, "Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions", Applied Cryptography and Network Security: Second International Conference, ACNS 2004, volume 3089 of Lecture Notes in Computer Science, pages 494-508, Springer-Verlag, 2004. Full version in PDF BibTeX entry
Yvonne Hitchcock, Yiu Shing Terry Tin, Colin Boyd, Juan Manuel Gonzalez Nieto, Paul Montague, "A Password-Based Authenticator: Security Proof and Applications, 4th International Conference on Cryptology in India INDOCRYPT 2003), volume 2904 of Lecture Notes in Computer Science, pages 388--401, Springer-Verlag, December 2003. Gzipped postscript.
Colin Boyd and Juan Manuel Gonzalez Nieto, "Round-optimal Contributory Conference Key Agreement", Public Key Cryptography PKC 2003, Springer-Verlag, LNCS 2567, pp. 161-174. Gzipped postscript.
Greg Maitland and Colin Boyd, "A Provably Secure, Restrictive Partially Blind Signature Scheme", PKC 2002, Springer-Verlag, LNCS 2274, pp.99-114. Gzipped postscript.
Greg Maitland and Colin Boyd, "Cooperatively Formed Group Signatures", RSA Cryptographers Track, CT-RSA 2002, Springer-Verlag, LNCS 2271, pp.218-235.
Juan Manuel Gonzalez Nieto, Colin Boyd, and Ed Dawson, "Public-Key Cryptosystem Based on the Subgroup Membership Problem", Information and Communications Security, ICICS'01, Springer-Verlag, LNCS 2229, pp.352-363. (Please send email requests for an updated version.)
Greg Maitland and Colin Boyd, "Fair Electronic Cash Based on a Group Signature Scheme", Information and Communications Security, ICICS'01, Springer-Verlag, LNCS 2229, pp.461-465. PDF .
Colin Boyd, Paul Montague and Khanh Nguyen, "Elliptic Curve Based Password Authenticated Key Exchange Protocols", Information Security and Privacy (ACISP 2001), Springer-Verlag, LNCS Vol. 2119, pp.487-501. Postscript .
DongGook Park, JungJoon Kim, Colin Boyd and Ed Dawson, "Cryptographic salt: a countermeasure against denial-of-service attacks" Information Security and Privacy (ACISP 2001), Springer-Verlag, LNCS Vol. 2119, pp.334-343.
Chris Pavlovski and Colin Boyd, "Attacks Based on Small Factors in Various Group Structures", Information Security and Privacy (ACISP 2001), Springer-Verlag, LNCS Vol. 2119, pp.36-50. Gzipped postscript . Note
Colin Boyd and Peter Kearney, "Exploring Fair Exchange Protocols Using Specification Animation" Proceedings of Information Security Workshop (ISW 2000), Springer-Verlag, LNCS Vol.1975, pp.209-223. Gzipped postscript.
Greg Maitland , Jason Reid, Ernest Foo, Colin Boyd and Ed Dawson, "Linkability in Practical Electronic Cash Design", Proceedings of Information Security Workshop (ISW 2000), Springer-Verlag, LNCS Vol.1975, pp.149-163. Postscript.
DongGook Park, Colin Boyd, and Ed Dawson, "Classification of Authentication Protocols: A Practical Approach", Proceedings of Information Security Workshop (ISW 2000), Springer-Verlag, LNCS Vol.1975, pp.194-208. Gzipped postscript.
Colin Boyd and Chris Pavlovski, "Attacking and Repairing Batch Verification Schemes", Advances in Cryptology - Asiacrypt 2000, pp.58-71, Springer-Verlag, 2000. Gzipped postscript.
Ernest Foo and Colin Boyd, "Passive Entities: A Strategy for Electronic Payment Design", Security and Privacy - ACISP 2000, Springer-Verlag, 2000, pp.134-148. Gzipped Postscipt
Juanma Gonzalez Nieto, Kapali Viswanathan, Colin Boyd and Ed Dawson, "Key Recovery System for the Commerical Environment", Security and Privacy - ACISP 2000, Springer-Verlag, 2000, pp.149-162. PDF
Kapali Viswanathan, Colin Boyd and Ed Dawson, "A Three Phased Schema for Sealed Bid Auction System Design", Security and Privacy - ACISP 2000, Springer-Verlag, 2000, pp.412-426. PDF
DongGook Park, Colin Boyd and Sang-Jae Moon, "Forward Secrecy and Its Application to Future Mobile Communications Security", PKC 2000, Springer-Verlag, 2000, pp.433-445.
Juanma Gonzalez Nieto, DongGook Park, Colin Boyd and Ed Dawson, "Key Recovery in Third Generation Wireless Communication Systems", PKC 2000, Springer-Verlag, 2000, pp.223-237.
Kapali Viswanathan, Colin Boyd, and Ed Dawson, "Secure Selection Protocols", Proceedings of ICISC'99, Springer-Verlag, 2000. PDF
Chris Pavlovski, Colin Boyd and Ernest Foo, "Detachable Electronic Coins", Information and Communication Security (ICICS'99), Lecture Notes in Computer Science, Vol.1726, Springer, 1999, pp.54-70. Gzipped postscript.
Kapali Viswanathan, Colin Boyd, and Ed Dawson, Signature Scheme for Controlled Environments", Information and Communication Security (ICICS'99), Lecture Notes in Computer Science, Vol.1726, Springer, 1999, pp.119-134. PDF
Kapali Viswanathan, Colin Boyd, Ed Dawson, "Strong Binding for Software Key Escrow. In International Workshop on Security, IWSEC'99. IEEE Press, 1999. PDF
Chris Pavlovski and Colin Boyd, "Efficient Batch Signature Generation using Tree Structures", International Workshop on Cryptographic Techniques and E-Commerce (CrypTEC'99), City University of Hong Kong Press, pp.70-77. Postscript.
Kapali Viswanathan, Colin Boyd, and Ed Dawson, "Publicly Verifiable Key Escrow with Limited Time Span", Information Security and Privacy (ACISP'99), Lecture Notes in Computer Science, Vol.1587, Springer, 1999, pp.36-51. PDF
Colin Boyd, Ernest Foo and Chris Pavlovski, "Efficient Electronic Cash using Batch Signatures", Information Security and Privacy (ACISP'99), Lecture Notes in Computer Science, Vol.1587, Springer, 1999, pp.244-257. Gzipped postscript
Colin Boyd and DongGook Park, "Public Key Protocols for Wireless Communications", Proceedings of ICISC'98, Korea Institute of Information Security and Cryptology, pp.47-57. Gzipped postscript .
Colin Boyd and Ernest Foo, "Off-Line Fair Payment Protocol Using Convertible Signatures", ASIACRYPT'98, LNCS, Springer-Verlag 1998, pp. 271-285. Postscript.
Colin Boyd and Anish Mathuria, "Key Establishment Protocols for Secure Mobile Communications: A Selective Survey", Information Security and Privacy (ACISP98), Lecture Notes in Computing Science, Vol. 1438, Springer-Verlag, 1998, pp. 344-355 Gzipped postscript.
Ernest Foo and Colin Boyd, "A Payment Scheme Using Vouchers" Financial Cryptography 98, Springer-Verlag, 1998. Gzipped postscript
Colin Boyd, "Digital Signature and Public Key Cryptosystem in a Prime Order Subgroup of Zn*", ICICS'97, Springer-Verlag, 1997, pp.346-355. Gzipped postscript. The algorithms in this paper have been broken.
Colin Boyd, "Enforcing Traceability in Software", ICICS'97, Springer-Verlag, 1997, pp.398-408. Postscript
Colin Boyd, "Extensional Goals for Authentication Protocols" DIMACS Workshop on Cryptographic Protocol Design and Verification, 1997. HTML or postscript.
Colin Boyd, "On Key Agreement and Conference Key Agreement" Information Security and Privacy, LNCS 1270, pp.294-302, Springer-Verlag 1997. Gzipped Postscript
Jen Lim, Colin Boyd and Ed Dawson, "Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes", Information Security and Privacy, LNCS 1270, pp.216-227, Springer-Verlag 1997.
Ernest Foo, Colin Boyd, William Caelli, Ed Dawson, "A Taxonomy of Electronic Cash Schemes" Proceedings of IFIP-SEC, 1997. MS Word document .
Colin Boyd, "A Framework for Design of Key Establishment Protocols", Information Security and Privacy, LNCS 1172, pp.146-157, 1996. Postscript is available.
Colin Boyd, "A Class of Flexible and Efficient Key Management Protocols", Proceedings of 9th IEEE Computer Security Foundations Workshop, IEEE Computer Society, 1996, pp.2-8. Postscript is available.
Andrew Smith and Colin Boyd, "An Elliptic Curve Analogue of McCurley's Key Agreement Scheme", Proceedings of 5th IMA Conference on Cryptography and Coding, Springer-Verlag, 1995, pp.150-157.
Colin Boyd, Towards a Classification of Key Agreement Protocols, Proceedings of 8th IEEE Computer Security Foundations Workshop, IEEE Computer Society, 1995, pp.38-43.
Colin Boyd and Wenbo Mao, Design and Analysis of Key Exchange Protocols via Secure Channel Identification, Asiacrypt 94, Springer-Verlag, 1995, pp.171-181.PDF
Wenbo Mao and Colin Boyd, On Strengthening Authentication Protocols to Foil Cryptanalysis, Proceedings of ESORICS 94, LNCS, Springer-Verlag, 1994, pp.193-204. Postscript
Colin Boyd and Wenbo Mao, Designing Secure Key Exchange Protocols, Proceedings of ESORICS 94, LNCS, Springer-Verlag, 1994, pp.93-105.
Dimitris Hiotakakos, Costas Xydeas and Colin Boyd, A New Approach for Scrambling Speech Signal prior to Analysis-by-Synthesis LPC Coding, Proceedings of EUSIPCO, September 1994.
Wenbo Mao and Colin Boyd, Development of Authentication Protocols: Some Misconceptions and a New Approach, Proceedings of IEEE Computer Security Foundations Workshop VII, IEEE Press 1994. PDF
Wenbo Mao and Colin Boyd, On The Use of Encryption in Cryptographic Protocols, Proceedings of 4th IMA Conference on Cryptography and Coding, pp.251-262, 1995. Postscript .
Wenbo Mao and Colin Boyd, Towards Formal Analysis of Security Protocols, Proceedings of IEEE Computer Security Foundations Workshop VI, pp.147-158, IEEE Press, 1993.
Colin Boyd and Wenbo Mao, On a Limitation of BAN Logic, Advances in Cryptology - Eurocrypt 93, Springer-Verlag, 1994, pp.240-247. Postscript
Colin Boyd, A Formal Framework for Authentication, Proceedings of ESORICS 92, pp.273-292, Springer-Verlag, 1992.
Colin Boyd, Multisignatures Revisited, Cryptography and Coding III (M.Ganley, Ed.), pp.21-30, Oxford University Press, 1993.
Colin Boyd, Enhancing Secrecy by Data Compression, Advances in Cryptology - EUROCRYPT '91 (D.W.Davies Ed.), Springer-Verlag, 1991, pp.266-280.
Colin Boyd, Applying Compression Coding in Cryptography, Cryptography and Coding II, pp. 1-11, Oxford University Press, 1992.
Colin Boyd, A New Multiple Key Cipher and an Improved Voting Scheme, Advances in Cryptology, EUROCRYPT '89, Springer-Verlag 1990, pp 617-625.
Colin Boyd, Applications of Multiple Key Ciphers, Advances in Cryptology - EUROCRYPT '88 (C.G.GŸnther Ed.), Springer-Verlag, 1988, pp 455-467.
Colin Boyd, Digital Multisignatures, Cryptography and Coding (H.J.Beker and F.C.Piper Eds.), Oxford University Press, 1989, pp 241-246. PDF.
Colin Boyd, Probabilistic Prime Tests, Proceedings of the IMA Conference on Computers in Mathematical Research, September 1986, Oxford University Press, 1988, pp 57-68.
Colin Boyd, Cherry Fields and the Rotation Numbers of One Parameter Families of Maps of the Circle, Ph.D. thesis, University of Warwick, 1985.

Journal Papers

Most of these papers cannot appear online for copyright reasons.

Jason Smith, Suratose Tritilanunt, Colin Boyd, Juan Gonzalez Nieto and Ernest Foo, Denial of service resistance in key exchange Special Issue on Security of Computer Network and Mobile Systems, International Journal of Wireless and Mobile Computing (IJWMC), 2006, to appear.
Yvonne Hitchcock and Colin Boyd and Juan Gonzalez Nieto, Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model, Applicable Algebra in Engineering, Communication and Computing (AAECC) Journal, Special issue on Mathematical Techniques in Cryptology; http://dx.doi.org/10.1007/s00200-005-0185-9, 2005. (Paper publication to follow.)
Kun Peng, Colin Boyd and Ed Dawson, Batch Verification of Validity of Bids in Homomorphic E-auction, Accepted for Computer Communications, Special Issue of Internet Communications Security, Elsevier, Summer 2005.
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, The Importance of Proofs of Security for Key Establishment Protocols: Formal Analysis of Formal Analysis of Jan--Chen, Yang--Shen--Shieh, Kim--Huh--Hwang--Lee, Lin--Sun--Hwang, & Yeh--Sun Protocols. Accepted for Computer Communications, Special Issue of Internet Communications Security, Elsevier, Summer 2005.
Juan Manuel Gonzalez Nieto, Colin Boyd, Ed Dawson, A Public Key Cryptosystem Based On A Subgroup Membership Problem. Designs, Codes and Cryptography 36(3): 301-316 (2005).
Ed Dawson, Kapali Viswanathan and Colin Boyd, Compliant Cryptologic Protocols, International Journal on Information Security, 2002, pp.189-202.
Juan Manuel Gonzalez Nieto, Kapali Viswanathan, Colin Boyd, Andrew Clark and Ed Dawson, Key Recovery for the Commercial Environment, International Journal on Information Security, 2002, pp.161-174.
Kapali Viswanathan, Colin Boyd and Ed Dawson, Hybrid Key Escrow, Computers and Security, Vol. 21, No. 1, pp.77-92, 2002.
Colin Boyd and Anish Mathuria, ``Key Establishment Protocols for Secure Mobile Communications: A Critical Survey'', Computers Communications, Volume 23, pp.575-587, 2000.
Colin Boyd and Anish Mathuria, ``Systematic Design of Key Establishment Protocols Based on One-Way Functions, IEE Proceedings - Computers and Digital Techniques, March 1997, Volume 144, pp.93-99.
Colin Boyd, J.G. Cleary, S.A. Irvine, I. Rinsma-Melchert, I.H.Witten, ``Integrating Error Detection into Arithmetic Coding'', IEEE Transactions on Communications, January 1997, Volume 45, Number 1, pp.1-3.
Wenbo Mao and Colin Boyd, Methodical Use of Cryptographic Transformations in Authentication Protocols, IEE Proceedings - Computers and Digital Techniques, 142, 4, July 1995. pp.272-278.
Colin Boyd, Comment on New Digital Signature Scheme Based on Discrete Logarithm, Electronics Letters, 17th March 1994, pp. 480-481.
Colin Boyd, Modern Data Encryption, Electronics and Communication Engineering Journal, 5,5,1993,pp.271-278.
Colin Boyd, Security Architectures Using Formal Methods, IEEE Journal on Selected Areas in Communications, Vol 11, No 5, 1993, pp.694-701.
Colin Boyd, Remarks on a Data Encryption Scheme of Yu and Yu, Communications of the ACM, 1992, Vol.35, No.6, pp.24-25 (Technical Correspondence).
Colin Boyd, Multisignatures based on Zero Knowledge Schemes, Electronics Letters, 27,22, October 1991, pp2002-2004.
Colin Boyd, Hidden Assumptions in Cryptographic Protocols, IEE Proceedings, Part E, November 1990, pp 433-436.
Colin Boyd, On the Family of Cherry Fields on the Torus, Ergodic Theory and Dynamical Systems, 5, (1985), 27-46.

Edited Books

Colin Boyd and Juan Gonzalez Nieto (Eds.), Information Security and Privacy - ACISP 2005, Springer-Verlag, 2005, (Lecture Notes in Computer Science, Vol. 3574)
Colin Boyd and Wenbo Mao (Eds.), Information Security - ISC 2003, Springer-Verlag, 2003. (Lecture Notes in Computer Science, Vol. 2851) Further information
Colin Boyd (Ed.), Advances in Cryptology - Asiacrypt 2001, Springer-Verlag, 2001. (Lecture Notes in Computer Science, Vol. 2248)
Ed Dawson, Andrew Clark and Colin Boyd (Eds.), Information Security and Privacy - ACISP 2000, Springer-Verlag, 2000. (Lecture Notes in Computer Science, Vol. 1841)
Colin Boyd and Ed Dawson (Eds.), Information Security and Privacy - ACISP'98, Springer-Verlag, 1998. (Lecture Notes in Computer Science, Vol. 1438)
Colin Boyd (Ed.) Cryptography and Coding, Fifth IMA Conference; Cirencester, UK, December 1995. (Lecture Notes in Computer Science, Vol. 1025)

Return to Colin Boyd's Home Page

Colin Boyd - Publications

Book

Conference Papers

Journal Papers

Edited Books