| 2025 | ACISP | TEAKEX: TESLA-Authenticated Group Key Exchange. | Qinyi Li, Lise Millerjord, Colin Boyd |
| 2023 | ACISP | Modular Design of KEM-Based Authenticated Key Exchange. | Colin Boyd, Bor de Kock, Lise Millerjord |
| 2021 | ASIACRYPT | Symmetric Key Exchange with Full Forward Security and Robust Synchronization. | Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord |
| 2021 | NetSoft | SafeLib: a practical library for outsourcing stateful network functions securely. | Enio Marku, Gergely Biczk, Colin Boyd |
| 2020 | CAV | A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. | Colin Boyd, Kristian Gjsteen, Shuang Wu |
| 2020 | CRYPTO | Fast and Secure Updatable Encryption. | Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Yao Jiang |
| 2020 | FC | Vote Selling Resistant Voting. | Colin Boyd, Thomas Haines, Peter B. Rnne |
| 2019 | INDOCRYPT | A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. | Colin Boyd, Kristian Gjsteen, Clmentine Gritti, Thomas Haines |
| 2019 | NetSoft | Towards protected VNFs for multi-operator service delivery. | Enio Marku, Gergely Biczk, Colin Boyd |
| 2018 | ESORICS | Valuable Puzzles for Proofs-of-Work. | Colin Boyd, Christopher Carr |
| 2018 | ProvSec | Security Notions for Cloud Storage and Deduplication. | Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Hvard Raddum, Mohsen Toorani |
| 2017 | CCS | Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. | Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjsteen, Mohsen Toorani |
| 2016 | ACISP | Fair Client Puzzles from the Bitcoin Blockchain. | Colin Boyd, Christopher Carr |
| 2016 | NOMS | Private VNFs for collaborative multi-operator service delivery: An architectural case. | Gergely Biczk, Balzs Sonkoly, Nikolett Bereczky, Colin Boyd |
| 2015 | FC | Protecting Encrypted Cookies from Compression Side-Channel Attacks. | Janaka Alawatugoda, Douglas Stebila, Colin Boyd |
| 2014 | ACISP | Continuous After-the-Fact Leakage-Resilient Key Exchange. | Janaka Alawatugoda, Colin Boyd, Douglas Stebila |
| 2014 | CCS | Modelling after-the-fact leakage for key exchange. | Janaka Alawatugoda, Douglas Stebila, Colin Boyd |
| 2013 | DICTA | Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking. | Hussain Nyeem, Wageeh W. Boles, Colin Boyd |
| 2013 | ESORICS | ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. | Colin Boyd, Cas Cremers, Michle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila |
| 2013 | OZCHI | "Who decides?": security and privacy in the wild. | Kenneth Radke, Colin Boyd, Juan Manuel Gonzlez Nieto, Laurie Buys |
| 2013 | SIN | Counterfeiting attacks on block-wise dependent fragile watermarking schemes. | Hussain Nyeem, Wageeh W. Boles, Colin Boyd |
| 2012 | ACISP | Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. | Kaleb Lee, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2012 | ACISP | Effort-Release Public-Key Encryption from Cryptographic Puzzles. | Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel Gonzlez Nieto, Lakshmi Kuppusamy |
| 2012 | CCS | Practical client puzzles in the standard model. | Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2011 | CCS | An integrated approach to cryptographic mitigation of denial-of-service attacks. | Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma Gonzlez Nieto |
| 2011 | DICTA | Developing a Digital Image Watermarking Model. | Hussain Nyeem, Wageeh W. Boles, Colin Boyd |
| 2011 | ICISC | Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection. | Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2011 | INDOCRYPT | Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. | Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma Gonzlez Nieto |
| 2011 | Interact | Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing. | Kenneth Radke, Margot Brereton, Seyed Hadi Mirisaee, Sunil Ghelawat, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2011 | NSS | User-representative feature selection for keystroke dynamics. | Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Irfan Ahmed |
| 2011 | SEC | Ceremony Analysis: Strengths and Weaknesses. | Kenneth Radke, Colin Boyd, Juan Manuel Gonzlez Nieto, Margot Brereton |
| 2010 | ACISP | Attribute-Based Authenticated Key Exchange. | M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2010 | HPCC | Continuous Biometric Authentication: Can It Be More Practical? | Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Asadul K. Islam |
| 2010 | OZCHI | How HCI design influences web security decisions. | Kenneth Radke, Colin Boyd, Margot Brereton, Juan Manuel Gonzlez Nieto |
| 2010 | ProvSec | Automating Computational Proofs for Public-Key-Based Key Exchange. | Long Ngo, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2010 | SEC | Delegation in Predicate Encryption Supporting Disjunctive Queries. | Dongdong Sun, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2010 | WAIFI | Delaying Mismatched Field Multiplications in Pairing Computations. | Craig Costello, Colin Boyd, Juan Manuel Gonzlez Nieto, Kenneth Koon-Ho Wong |
| 2009 | ACNS | How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. | Yvonne Cliff, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2009 | CCS | Universally composable contributory group key exchange. | M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2009 | ICISC | Generic One Round Group Key Exchange in the Standard Model. | M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonzlez Nieto, Mark Manulis |
| 2009 | ICISC | Efficient Certificateless KEM in the Standard Model. | Georg Lippold, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2009 | Pairing | Faster Pairings on Special Weierstrass Curves. | Craig Costello, Hseyin Hisil, Colin Boyd, Juan Manuel Gonzlez Nieto, Kenneth Koon-Ho Wong |
| 2009 | Pairing | Strongly Secure Certificateless Key Agreement. | Georg Lippold, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2009 | PKC | Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. | M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2008 | ACISP | Efficient One-Round Key Exchange in the Standard Model. | Colin Boyd, Yvonne Cliff, Juan Manuel Gonzlez Nieto, Kenneth G. Paterson |
| 2008 | DICTA | A Scheme for Enhancing Security Using Multiple Fingerprints and the Fuzzy Vault. | Marianne Hirschbichler, Colin Boyd, Wageeh W. Boles |
| 2008 | PST | A Multiple-Control Fuzzy Vault. | Marianne Hirschbichler, Colin Boyd, Wageeh W. Boles |
| 2007 | CANS | Toward Non-parallelizable Client Puzzles. | Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel Gonzlez Nieto |
| 2007 | EUC | HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. | JaeCheol Ha, Hwankoo Kim, JeaHoon Park, Sang-Jae Moon, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2007 | EUC | Low-Cost and Strong-Security RFID Authentication Protocol. | JaeCheol Ha, Sang-Jae Moon, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2007 | IWDW | A Comparison of DCT and DWT Block Based Watermarking on Medical Image Quality. | Jason Dowling, Birgit M. Planitz, Anthony J. Maeder, Jiang Du, Binh Pham, Colin Boyd, Shaokang Chen, Andrew P. Bradley, Stuart Crozier |
| 2007 | PAKDD | Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). | JaeCheol Ha, Sang-Jae Moon, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2006 | ACISP | An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys. | Colin Boyd, Kim-Kwang Raymond Choo, Anish Mathuria |
| 2006 | ACISP | A Novel Range Test. | Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto |
| 2006 | ACNS | Password Based Server Aided Key Exchange . | Yvonne Cliff, Yiu Shing Terry Tin, Colin Boyd |
| 2006 | CANS | Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. | Jaimee Brown, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2006 | INDOCRYPT | Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. | Jaimee Brown, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2006 | PKC | Security-Mediated Certificateless Cryptography. | Sherman S. M. Chow, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2006 | SEC | Sealed-Bid Micro Auctions. | Kun Peng, Colin Boyd, Ed Dawson |
| 2006 | TrustBus | A Secure E-Tender Submission Protocol. | Rong Du, Colin Boyd, Ernest Foo |
| 2005 | ASIACRYPT | Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock |
| 2005 | ASIACRYPT | Errors in Computational Complexity Proofs for Protocols. | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock |
| 2005 | CRYPTO | Simple and Efficient Shuffling with Provable Correctness and ZK Privacy. | Kun Peng, Colin Boyd, Ed Dawson |
| 2005 | ICICS | Ciphertext Comparison, a New Solution to the Millionaire Problem. | Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee |
| 2005 | TrustBus | Designing Secure E-Tendering Systems. | Rong Du, Ernest Foo, Juan Manuel Gonzlez Nieto, Colin Boyd |
| 2004 | ACISP | Protocols with Security Proofs for Mobile Applications. | Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2004 | ACNS | Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. | Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee |
| 2004 | ACNS | Key Agreement Using Statically Keyed Authenticators. | Colin Boyd, Wenbo Mao, Kenneth G. Paterson |
| 2004 | ICISC | An Efficient and Verifiable Solution to the Millionaire Problem. | Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee |
| 2004 | INDOCRYPT | Design of Secure Key Establishment Protocols: Successes, Failures and Prospects. | Colin Boyd |
| 2004 | INDOCRYPT | Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. | Yvonne Hitchcock, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2004 | INDOCRYPT | Multiplicative Homomorphic E-Voting. | Kun Peng, Riza Aditya, Colin Boyd, Ed Dawson, Byoungcheon Lee |
| 2004 | PKC | A Correct, Private, and Efficient Mix Network. | Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan |
| 2004 | SCN | 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 |
| 2004 | TrustBus | An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness. | Riza Aditya, Byoungcheon Lee, Colin Boyd, Ed Dawson |
| 2003 | ACISP | Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. | Yiu Shing Terry Tin, Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2003 | ICISC | Providing Receipt-Freeness in Mixnet-Based Voting Protocols. | Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo |
| 2003 | INDOCRYPT | A Password-Based Authenticator: Security Proof and Applications. | Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel Gonzlez Nieto, Colin Boyd, Paul Montague |
| 2003 | PKC | Round-Optimal Contributory Conference Key Agreement. | Colin Boyd, Juan Manuel Gonzlez Nieto |
| 2003 | WISA | Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction. | Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan |
| 2002 | ICICS | Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction. | Kun Peng, Colin Boyd, Ed Dawson, Kapali Viswanathan |
| 2002 | ICISC | Non-interactive Auction Schemewith Strong Privacy. | Kun Peng, Colin Boyd, Ed Dawson, Kapali Viswanathan |
| 2002 | PKC | A Provably Secure Restrictive Partially Blind Signature Scheme. | Greg Maitland, Colin Boyd |
| 2001 | ACISP | Elliptic Curve Based Password Authenticated Key Exchange Protocols. | Colin Boyd, Paul Montague, Khanh Quoc Nguyen |
| 2001 | ACISP | Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks. | DongGook Park, JungJoon Kim, Colin Boyd, Ed Dawson |
| 2001 | ACISP | Attacks Based on Small Factors in Various Group Structures. | Chris Pavlovski, Colin Boyd |
| 2001 | ICICS | Fair Electronic Cash Based on a Group Signature Scheme. | Greg Maitland, Colin Boyd |
| 2001 | ICICS | A Public Key Cryptosystem Based on the Subgroup Membership Problem. | Juan Manuel Gonzlez Nieto, Colin Boyd, Ed Dawson |
| 2001 | INDOCRYPT | An Analysis of Integrity Services in Protocols. | Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 2000 | ACISP | Passive Entities: A Strategy for Electronic Payment Design. | Ernest Foo, Colin Boyd |
| 2000 | ACISP | Key Recovery System for the Commercial Environment. | Juanma Gonzlez Nieto, Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 2000 | ACISP | A Three Phased Schema for Sealed Bid Auction System Design. | Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 2000 | ASIACRYPT | Attacking and Repairing Batch Verification Schemes. | Colin Boyd, Chris Pavlovski |
| 2000 | ICISC | Micropayments for Wireless Communications. | DongGook Park, Colin Boyd, Ed Dawson |
| 2000 | PKC | Key Recovery in Third Generation Wireless Communication Systems. | Juanma Gonzlez Nieto, DongGook Park, Colin Boyd, Ed Dawson |
| 2000 | PKC | Forward Secrecy and Its Application to Future Mobile Communications Security. | DongGook Park, Colin Boyd, Sang-Jae Moon |
| 1999 | ACISP | Efficient Electronic Cash Using Batch Signatures. | Colin Boyd, Ernest Foo, Chris Pavlovski |
| 1999 | ACISP | Publicly Verifiable Key Escrow with Limited Time Span. | Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 1999 | ICICS | Detachable Electronic Coins. | Chris Pavlovski, Colin Boyd, Ernest Foo |
| 1999 | ICICS | Signature Scheme for Controlled Environments. | Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 1999 | ICISC | Secure Selection Protocols. | Kapali Viswanathan, Colin Boyd, Ed Dawson |
| 1998 | ACISP | Key Establishment Protocols for Secure Mobile Communications: A Selective Survey. | Colin Boyd, Anish Mathuria |
| 1998 | ASIACRYPT | Off-Line Fair Payment Protocols Using Convertible Signatures. | Colin Boyd, Ernest Foo |
| 1998 | FC | A Payment Scheme Using Vouchers. | Ernest Foo, Colin Boyd |
| 1998 | ICISC | Public key protocols for wireless communications. | Colin Boyd, DongGook Park |
| 1998 | ICISC | A security architecture for third generation wireless systems. | Gary Gaskell, Mark Looi, Ed Dawson, Colin Boyd, Selwyn Russell |
| 1997 | ACISP | On Key Agreement and Conference Key Agreement. | Colin Boyd |
| 1997 | ACISP | Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes. | Jen Lim, Colin Boyd, Ed Dawson |
| 1997 | ICICS | Digital signature and public key cryptosystems in a prime order subgroup of Z | Colin Boyd |
| 1997 | ICICS | Enforcing traceability in software. | Colin Boyd |
| 1997 | SEC | A taxonomy of electronic cash schemes. | Ernest Foo, Colin Boyd, William J. Caelli, Ed Dawson |
| 1996 | ACISP | A Framework for Design of Key Establishment Protocols. | Colin Boyd |
| 1994 | ASIACRYPT | Design and Analysis of Key Exchange Protocols via Secure Channel Identification. | Colin Boyd, Wenbo Mao |
| 1994 | ESORICS | Designing Secure Key Exchange Protocols. | Colin Boyd, Wenbo Mao |
| 1994 | ESORICS | On Strengthening Authentication Protocols to Foil Cryptanalysis. | Wenbo Mao, Colin Boyd |
| 1993 | EuroCrypt | On a Limitation of BAN Logic. | Colin Boyd, Wenbo Mao |
| 1992 | ESORICS | A Formal Framework for Authentication. | Colin Boyd |
| 1991 | EuroCrypt | Enhancing Secrecy by Data Compression: Theoretical and Practical Aspects. | Colin Boyd |
| 1989 | EuroCrypt | A New Multiple Key Cipher and an Improved Voting Scheme. | Colin Boyd |
| 1988 | EuroCrypt | Some Applications of Multiple Key Ciphers. | Colin Boyd |