Some Applications of Multiple Key Ciphers. - Colin Boyd (EUROCRYPT, 1988)

A New Multiple Key Cipher and an Improved Voting Scheme. - Colin Boyd (EUROCRYPT, 1989)

Enhancing Secrecy by Data Compression: Theoretical and Practical Aspects. - Colin Boyd (EUROCRYPT, 1991)

A Formal Framework for Authentication. - Colin Boyd (ESORICS, 1992)

Towards Formal Analysis of Security Protocols. - Wenbo Mao; Colin Boyd (CSFW, 1993)

On a Limitation of BAN Logic. - Colin Boyd; Wenbo Mao (EUROCRYPT, 1993)

Security Architectures Using Formal Methods. - Colin Boyd (IEEE J. Sel. Areas Commun., 1993)

Design and Analysis of Key Exchange Protocols via Secure Channel Identification. - Colin Boyd; Wenbo Mao (ASIACRYPT, 1994)

Development of Authentication Protocols: Some Misconceptions and a New Approach. - Wenbo Mao; Colin Boyd (CSFW, 1994)

Designing Secure Key Exchange Protocols. - Colin Boyd; Wenbo Mao (ESORICS, 1994)

On Strengthening Authentication Protocols to Foil Cryptanalysis. - Wenbo Mao; Colin Boyd (ESORICS, 1994)

Towards a classification of key agreement protocols. - Colin Boyd (CSFW, 1995)

An Elliptic Curve Analogue of McCurley's Key Agreement Scheme. - Andrew Smith; Colin Boyd (IMACC, 1995)

A Framework for Design of Key Establishment Protocols. - Colin Boyd (ACISP, 1996)

A Class of Flexible and Efficient Key Management Protocols. - Colin Boyd (CSFW, 1996)

On Key Agreement and Conference Key Agreement. - Colin Boyd (ACISP, 1997)

Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes. - Jen Lim; Colin Boyd; Ed Dawson (ACISP, 1997)

Digital signature and public key cryptosystems in a prime order subgroup of Zn*. - Colin Boyd (ICICS, 1997)

Enforcing traceability in software. - Colin Boyd (ICICS, 1997)

Resisting the Bergen-Hogan Attack on Adaptive Arithmetic Coding. - Xian Liu; Patrick Guy Farrell; Colin Boyd (IMACC, 1997)

A taxonomy of electronic cash schemes. - Ernest Foo; Colin Boyd; William J. Caelli; Ed Dawson (SEC, 1997)

Integrating error detection into arithmetic coding. - Colin Boyd; John G. Cleary; Sean A. Irvine; Ingrid Rinsma-Melchert; Ian H. Witten (IEEE Trans. Commun., 1997)

Key Establishment Protocols for Secure Mobile Communications: A Selective Survey. - Colin Boyd; Anish Mathuria (ACISP, 1998)

Off-Line Fair Payment Protocols Using Convertible Signatures. - Colin Boyd; Ernest Foo (ASIACRYPT, 1998)

A Payment Scheme Using Vouchers. - Ernest Foo; Colin Boyd (Financial Cryptography, 1998)

Public key protocols for wireless communications. - Colin Boyd; DongGook Park (ICISC, 1998)

A security architecture for third generation wireless systems. - Gary Gaskell; Mark Looi; Ed Dawson; Colin Boyd; Selwyn Russell (ICISC, 1998)

Efficient Electronic Cash Using Batch Signatures. - Colin Boyd; Ernest Foo; Chris Pavlovski (ACISP, 1999)

Publicly Verifiable Key Escrow with Limited Time Span. - Kapali Viswanathan; Colin Boyd; Ed Dawson (ACISP, 1999)

Detachable Electronic Coins. - Chris Pavlovski; Colin Boyd; Ernest Foo (ICICS, 1999)

Signature Scheme for Controlled Environments. - Kapali Viswanathan; Colin Boyd; Ed Dawson (ICICS, 1999)

Secure Selection Protocols. - Kapali Viswanathan; Colin Boyd; Ed Dawson (ICISC, 1999)

Strong Binding for Software Key Escrow. - Kapali Viswanathan; Colin Boyd; Ed Dawson (ICPP Workshops, 1999)

A Unified Code. - Xian Liu; Patrick Guy Farrell; Colin Boyd (IMACC, 1999)

Passive Entities: A Strategy for Electronic Payment Design. - Ernest Foo; Colin Boyd (ACISP, 2000)

Key Recovery System for the Commercial Environment. - Juanma González Nieto; Kapali Viswanathan; Colin Boyd; Ed Dawson (ACISP, 2000)

A Three Phased Schema for Sealed Bid Auction System Design. - Kapali Viswanathan; Colin Boyd; Ed Dawson (ACISP, 2000)

Attacking and Repairing Batch Verification Schemes. - Colin Boyd; Chris Pavlovski (ASIACRYPT, 2000)

Micropayments for Wireless Communications. - DongGook Park; Colin Boyd; Ed Dawson (ICISC, 2000)

Exploring Fair Exchange Protocols Using Specification Animation. - Colin Boyd; Peter Kearney (ISW, 2000)

Linkability in Practical Electronic Cash Design. - Greg Maitland; Jason Reid; Ernest Foo; Colin Boyd; Ed Dawson (ISW, 2000)

Classification of Authentication Protocols: A Practical Approach. - DongGook Park; Colin Boyd; Ed Dawson (ISW, 2000)

Key Recovery in Third Generation Wireless Communication Systems. - Juanma González Nieto; DongGook Park; Colin Boyd; Ed Dawson (Public Key Cryptography, 2000)

Forward Secrecy and Its Application to Future Mobile Communications Security. - DongGook Park; Colin Boyd; Sang-Jae Moon (Public Key Cryptography, 2000)

Key establishment protocols for secure mobile communications: a critical survey. - Colin Boyd; Anish Mathuria (Comput. Commun., 2000)

Elliptic Curve Based Password Authenticated Key Exchange Protocols. - Colin Boyd; Paul Montague; Khanh Quoc Nguyen (ACISP, 2001)

Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks. - DongGook Park; JungJoon Kim; Colin Boyd; Ed Dawson (ACISP, 2001)

Attacks Based on Small Factors in Various Group Structures. - Chris Pavlovski; Colin Boyd (ACISP, 2001)

Fair Electronic Cash Based on a Group Signature Scheme. - Greg Maitland; Colin Boyd (ICICS, 2001)

An Analysis of Integrity Services in Protocols. - Kapali Viswanathan; Colin Boyd; Ed Dawson (INDOCRYPT, 2001)

Co-operatively Formed Group Signatures. - Greg Maitland; Colin Boyd (CT-RSA, 2002)

Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis. - Colin Boyd; Kapali Viswanathan (FASec, 2002)

Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction. - Kun Peng; Colin Boyd; Ed Dawson; Kapali Viswanathan (ICICS, 2002)

Non-interactive Auction Schemewith Strong Privacy. - Kun Peng; Colin Boyd; Ed Dawson; Kapali Viswanathan (ICISC, 2002)

A Provably Secure Restrictive Partially Blind Signature Scheme. - Greg Maitland; Colin Boyd (Public Key Cryptography, 2002)

Hybrid Key Escrow: A New Paradigm. - Kapali Viswanathan; Colin Boyd; Ed Dawson (Comput. Secur., 2002)

Compliant cryptologic protocols. - Ed Dawson; Kapali Viswanathan; Colin Boyd (Int. J. Inf. Sec., 2002)

Key recovery for the commercial environment. - Juan Manuel González Nieto; Kapali Viswanathan; Colin Boyd; Andrew J. Clark; Ed Dawson (Int. J. Inf. Sec., 2002)

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

Five Sealed-bid Auction Models. - Kun Peng; Colin Boyd; Ed Dawson; Kapali Viswanathan (ACSW, 2003)

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

A Security Architecture for Reputation Systems. - Roslan Ismail; Colin Boyd; Audun Jøsang; Selwyn Russell (EC-Web, 2003)

Secure e-Voting for Preferential Elections. - Riza Aditya; Colin Boyd; Ed Dawson; Kapali Viswanathan (EGOV, 2003)

Providing Receipt-Freeness in Mixnet-Based Voting Protocols. - Byoungcheon Lee; Colin Boyd; Ed Dawson; Kwangjo Kim; Jeongmo Yang; Seungjae Yoo (ICISC, 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)

Round-Optimal Contributory Conference Key Agreement. - Colin Boyd; Juan Manuel González Nieto (Public Key Cryptography, 2003)

Deniable Authenticated Key Establishment for Internet Protocols. - Colin Boyd; Wenbo Mao; Kenneth G. Paterson (Security Protocols Workshop, 2003)

Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction. - Kun Peng; Colin Boyd; Ed Dawson; Kapalee Viswanathan (WISA, 2003)

Protocols for Authentication and Key Establishment - Colin Boyd; Anish Mathuria (Springer, 2003)

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

Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. - Riza Aditya; Kun Peng; Colin Boyd; Ed Dawson; Byoungcheon Lee (ACNS, 2004)

Key Agreement Using Statically Keyed Authenticators. - Colin Boyd; Wenbo Mao; Kenneth G. Paterson (ACNS, 2004)

Defining Security Services for Electronic Tendering. - Rong Du; Ernest Foo; Colin Boyd; Brian Fitzgerald 002 (ACSW, 2004)

Secure Key Issuing in ID-based Cryptography. - Byoungcheon Lee; Colin Boyd; Ed Dawson; Kwangjo Kim; Jeongmo Yang; Seungjae Yoo (ACSW, 2004)

A Secure and Efficient Mix-Network using Extended Binary Mixing Gate. - Kun Peng; Riza Aditya; Colin Boyd; Ed Dawson; Byoungcheon Lee (Cryptographic Algorithms and their Uses, 2004)

An Efficient and Verifiable Solution to the Millionaire Problem. - Kun Peng; Colin Boyd; Ed Dawson; Byoungcheon Lee (ICISC, 2004)

Complementing Computational Protocol Analysis with Formal Specifications. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock; Greg Maitland (Formal Aspects in Security and Trust, 2004)

Design of Secure Key Establishment Protocols: Successes, Failures and Prospects. - Colin Boyd (INDOCRYPT, 2004)

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (INDOCRYPT, 2004)

Multiplicative Homomorphic E-Voting. - Kun Peng; Riza Aditya; Colin Boyd; Ed Dawson; Byoungcheon Lee (INDOCRYPT, 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)

A Correct, Private, and Efficient Mix Network. - Kun Peng; Colin Boyd; Ed Dawson; Kapalee Viswanathan (Public Key Cryptography, 2004)

An Efficient Off-Line Reputation Scheme Using Articulated Certificates. - Roslan Ismail; Colin Boyd; Audun Jøsang; Selwyn Russell (WOSIS, 2004)

Private Reputation Schemes for P2P systems. - Roslan Ismail; Colin Boyd; Audun Jøsang; Selwyn Russell (WOSIS, 2004)

An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness. - Riza Aditya; Byoungcheon Lee; Colin Boyd; Ed Dawson (TrustBus, 2004)

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 (IACR Cryptol. ePrint Arch., 2004)

Simple and Efficient Shuffling with Provable Correctness and ZK Privacy. - Kun Peng; Colin Boyd; Ed Dawson (CRYPTO, 2005)

Ciphertext Comparison, a New Solution to the Millionaire Problem. - Kun Peng; Colin Boyd; Ed Dawson; Byoungcheon Lee (ICICS, 2005)

A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption. - Kun Peng; Colin Boyd; Ed Dawson (ISC, 2005)

Security of Two-Party Identity-Based Key Agreement. - Colin Boyd; Kim-Kwang Raymond Choo (Mycrypt, 2005)

On Session Key Construction in Provably-Secure Key Establishment Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Mycrypt, 2005)

Optimization of Electronic First-Bid Sealed-Bid Auction Based on Homomorphic Secret Sharing. - Kun Peng; Colin Boyd; Ed Dawson (Mycrypt, 2005)

Designing Secure E-Tendering Systems. - Rong Du; Ernest Foo; Juan Manuel González Nieto; Colin Boyd (TrustBus, 2005)

Two models of efficient Mixnet-based receipt-free voting using (threshold) re-encryption. - Riza Aditya; Byoungcheon Lee; Colin Boyd; Ed Dawson (Comput. Syst. Sci. Eng., 2005)

A Public Key Cryptosystem Based On A Subgroup Membership Problem. - Juan Manuel González Nieto; Colin Boyd; Ed Dawson (Des. Codes Cryptogr., 2005)

On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (IACR Cryptol. ePrint Arch., 2005)

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (IACR Cryptol. ePrint Arch., 2005)

Errors in Computational Complexity Proofs for Protocols. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (IACR Cryptol. ePrint Arch., 2005)

Preface to the special issue on ISC 2003. - Colin Boyd; Wenbo Mao (Int. J. Inf. Sec., 2005)

An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys. - Colin Boyd; Kim-Kwang Raymond Choo; Anish Mathuria (ACISP, 2006)

A Novel Range Test. - Kun Peng; Colin Boyd; Ed Dawson; Eiji Okamoto (ACISP, 2006)

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

SKMA: a key management architecture for SCADA systems. - Robert Dawson; Colin Boyd; Ed Dawson; Juan Manuel González Nieto (ACSW, 2006)

Formal analysis of secure contracting protocol for e-tendering. - Rong Du; Ernest Foo; Colin Boyd; Kim-Kwang Raymond Choo (ACSW, 2006)

Modelling denial of service attacks on JFK with Meadows's cost-based framework. - Jason Smith 001; Juan Manuel González Nieto; Colin Boyd (ACSW, 2006)

Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. - Jaimee Brown; Juan Manuel González Nieto; Colin Boyd (CANS, 2006)

LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System. - JaeCheol Ha; JungHoon Ha; Sang-Jae Moon; Colin Boyd (ICUCT, 2006)

Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. - Jaimee Brown; Juan Manuel González Nieto; Colin Boyd (INDOCRYPT, 2006)

Examining the DoS Resistance of HIP. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (OTM Workshops (1), 2006)

Security-Mediated Certificateless Cryptography. - Sherman S. M. Chow; Colin Boyd; Juan Manuel González Nieto (Public Key Cryptography, 2006)

Sealed-Bid Micro Auctions. - Kun Peng; Colin Boyd; Ed Dawson (SEC, 2006)

A Secure E-Tender Submission Protocol. - Rong Du; Colin Boyd; Ernest Foo (TrustBus, 2006)

Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (Appl. Algebra Eng. Commun. Comput., 2006)

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. - Kim-Kwang Raymond Choo; Colin Boyd; Yvonne Hitchcock (Comput. Commun., 2006)

Batch verification of validity of bids in homomorphic e-auction. - Kun Peng; Colin Boyd; Ed Dawson (Comput. Commun., 2006)

Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (ACSC, 2007)

Toward Non-parallelizable Client Puzzles. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (CANS, 2007)

HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. - JaeCheol Ha; Hwankoo Kim; JeaHoon Park; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (EUC Workshops, 2007)

Low-Cost and Strong-Security RFID Authentication Protocol. - JaeCheol Ha; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (EUC Workshops, 2007)

Verifier-Key-Flexible Universal Designated-Verifier Signatures. - Raylin Tso; Juan Manuel González Nieto; Takeshi Okamoto; Colin Boyd; Eiji Okamoto (IMACC, 2007)

A Comparison of DCT and DWT Block Based Watermarking on Medical Image Quality. - Jason Dowling; Birgit M. Planitz; Anthony J. Maeder; Jiang Du 002; Binh Pham 001; Colin Boyd; Shaokang Chen; Andrew P. Bradley; Stuart Crozier (IWDW, 2007)

Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). - JaeCheol Ha; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (PAKDD Workshops, 2007)

A survey of trust and reputation systems for online service provision. - Audun Jøsang; Roslan Ismail; Colin Boyd (Decis. Support Syst., 2007)

Denial-of-service resistance in key establishment. - Jason Smith 001; Suratose Tritilanunt; Colin Boyd; Juan Manuel González Nieto; Ernest Foo (Int. J. Wirel. Mob. Comput., 2007)

Batch zero-knowledge proof and verification and its applications. - Kun Peng; Colin Boyd; Ed Dawson (ACM Trans. Inf. Syst. Secur., 2007)

ID-based One-pass Authenticated Key Establishment. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (AISC, 2008)

A Scheme for Enhancing Security Using Multiple Fingerprints and the Fuzzy Vault. - Marianne Hirschbichler; Colin Boyd; Wageeh W. Boles (DICTA, 2008)

A Multiple-Control Fuzzy Vault. - Marianne Hirschbichler; Colin Boyd; Wageeh W. Boles (PST, 2008)

Designing a secure e-tender submission protocol. - Rong Du; Ernest Foo; Colin Boyd (Electron. Commer. Res., 2008)

Efficient One-round Key Exchange in the Standard Model. - Colin Boyd; Yvonne Cliff; Juan Manuel González Nieto; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2008)

Strong Designated Verifier Signature in a Multi-user Setting. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (AISC, 2009)

A Forward and Backward Secure Key Management in Wireless Sensor Networks for PCS/SCADA. - Hani Alzaid; DongGook Park; Juan Manuel González Nieto; Colin Boyd; Ernest Foo (S-CUBE, 2009)

A novel nonrepudiable threshold multi-proxy multi-signature scheme with shared verification. - Baoyuan Kang; Colin Boyd; Ed Dawson (Comput. Electr. Eng., 2009)

Identity-based strong designated verifier signature schemes: Attacks and new construction. - Baoyuan Kang; Colin Boyd; Ed Dawson (Comput. Electr. Eng., 2009)

How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. - Yvonne Cliff; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Faster Pairings on Special Weierstrass Curves. - Craig Costello; Hüseyin Hisil; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2009)

Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Universally Composable Contributory Group Key Exchange. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

On the Connection between Signcryption and One-pass Key Establishment. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Generic One Round Group Key Exchange in the Standard Model. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto; Mark Manulis (IACR Cryptol. ePrint Arch., 2009)

Strongly Secure Certificateless Key Agreement. - Georg Lippold; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Efficient Certificateless KEM in the Standard Model. - Georg Lippold; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

One-round key exchange in the standard model. - Colin Boyd; Yvonne Cliff; Juan Manuel González Nieto; Kenneth G. Paterson (Int. J. Appl. Cryptogr., 2009)

A novel identity-based strong designated verifier signature scheme. - Baoyuan Kang; Colin Boyd; Ed Dawson (J. Syst. Softw., 2009)

Continuous Biometric Authentication: Can It Be More Practical? - Eesa A. Alsolami; Colin Boyd; Andrew J. Clark; Asadul K. Islam (HPCC, 2010)

How HCI design influences web security decisions. - Kenneth Radke; Colin Boyd; Margot Brereton; Juan Manuel González Nieto (OZCHI, 2010)

Automating Computational Proofs for Public-Key-Based Key Exchange. - Long Ngo; Colin Boyd; Juan Manuel González Nieto (ProvSec, 2010)

Delegation in Predicate Encryption Supporting Disjunctive Queries. - Dongdong Sun; Colin Boyd; Juan Manuel González Nieto (SEC, 2010)

Avoiding Full Extension Field Arithmetic in Pairing Computations. - Craig Costello; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2010)

Delaying Mismatched Field Multiplications in Pairing Computations. - Craig Costello; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2010)

One Round Group Key Exchange with Forward Security in the Standard Model. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

Attribute-based Authenticated Key Exchange. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols. - Douglas Stebila; Lakshmi Kuppusamy; Jothi Rangasamy; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

An integrated approach to cryptographic mitigation of denial-of-service attacks. - Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juanma González Nieto (AsiaCCS, 2011)

Automated Proofs for Diffie-Hellman-Based Key Exchanges. - Long Ngo; Colin Boyd; Juanma González Nieto (CSF, 2011)

Developing a Digital Image Watermarking Model. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (DICTA, 2011)

On Forward Secrecy in One-Round Key Exchange. - Colin Boyd; Juanma González Nieto (IMACC, 2011)

Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. - Lakshmi Kuppusamy; Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juanma González Nieto (INDOCRYPT, 2011)

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 González Nieto (INTERACT (2), 2011)

User-representative feature selection for keystroke dynamics. - Eesa A. Alsolami; Colin Boyd; Andrew J. Clark; Irfan Ahmed 001 (NSS, 2011)

Ceremony Analysis: Strengths and Weaknesses. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Margot Brereton (SEC, 2011)

Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. - Jothi Rangasamy; Douglas Stebila; Lakshmi Kuppusamy; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2011)

Modeling key compromise impersonation attacks on group key exchange protocols. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto; Mark Manulis (ACM Trans. Inf. Syst. Secur., 2011)

Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. - Kaleb Lee; Colin Boyd; Juan Manuel González Nieto (ACISP, 2012)

Effort-Release Public-Key Encryption from Cryptographic Puzzles. - Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juan Manuel González Nieto; Lakshmi Kuppusamy (ACISP, 2012)

Improving the Efficiency of RFID Authentication with Pre-Computation. - Kaleb Lee; Juan Manuel González Nieto; Colin Boyd (AISC, 2012)

Towards a Secure Human-and-Computer Mutual Authentication Protocol. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Margot Brereton (AISC, 2012)

Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (AISC, 2012)

Practical client puzzles in the standard model. - Lakshmi Kuppusamy; Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juan Manuel González Nieto (AsiaCCS, 2012)

A State-Aware RFID Privacy Model with Reader Corruption. - Kaleb Lee; Juan Manuel González Nieto; Colin Boyd (CSS, 2012)

GeoProof: Proofs of Geographic Location for Cloud Computing Environment. - Aiiad Albeshri; Colin Boyd; Juan Manuel González Nieto (ICDCS Workshops, 2012)

Chief information officer (CIO) panel: how to groom IT leadership as change agents. - Colin Boyd; Denis Edwards; Philip Loftus; Timothy G. Schaefer (CPR, 2012)

Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (DICTA, 2013)

"Who decides?": security and privacy in the wild. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Laurie Buys (OZCHI, 2013)

Counterfeiting attacks on block-wise dependent fragile watermarking schemes. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (SIN, 2013)

ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. - Colin Boyd; Cas Cremers; Michèle Feltz; Kenneth G. Paterson; Bertram Poettering; Douglas Stebila (IACR Cryptol. ePrint Arch., 2013)

A Review of Medical Image Watermarking Requirements for Teleradiology. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (J. Digit. Imaging, 2013)

Cryptography in the Cloud: Advances and Challenges. - Colin Boyd (J. Inform. and Commun. Convergence Engineering, 2013)

Predicate encryption for multi-inner-products. - Dongdong Sun; Colin Boyd; Juan Manuel González Nieto (Secur. Commun. Networks, 2013)

Continuous After-the-Fact Leakage-Resilient Key Exchange. - Janaka Alawatugoda 001; Colin Boyd; Douglas Stebila (ACISP, 2014)

Formalising Human Recognition: a Fundamental Building Block for Security Proofs. - Kenneth Radke; Colin Boyd; Juanma González Nieto; Mark Manulis; Douglas Stebila (AISC, 2014)

PassCue: The Shared Cues System in Practice. - Mats Sandvoll; Colin Boyd; Bjørn B. Larsen (PASSWORDS, 2014)

Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. - Britta Hale; Colin Boyd (SSR, 2014)

Automated Proofs for Computational Indistinguishability. - Long Ngo; Colin Boyd; Juan Manuel González Nieto (Comput. J., 2014)

Digital image watermarking: its formal model, fundamental properties and possible attacks. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (EURASIP J. Adv. Signal Process., 2014)

Continuous After-the-fact Leakage-Resilient Key Exchange (full version). - Janaka Alawatugoda 001; Colin Boyd; Douglas Stebila (IACR Cryptol. ePrint Arch., 2014)

Modelling After-the-fact Leakage for Key Exchange. - Janaka Alawatugoda 001; Douglas Stebila; Colin Boyd (IACR Cryptol. ePrint Arch., 2014)

Protecting Encrypted Cookies from Compression Side-Channel Attacks. - Janaka Alawatugoda 001; Douglas Stebila; Colin Boyd (IACR Cryptol. ePrint Arch., 2014)

Enhanced GeoProof: improved geographic assurance for data in the cloud. - Aiiad Albeshri; Colin Boyd; Juan Manuel González Nieto (Int. J. Inf. Sec., 2014)

Security properties analysis in a TPM-based protocol. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (Int. J. Secur. Networks, 2014)

CHURNs: Freshness Assurance for Humans. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Harry Bartlett (Comput. J., 2015)

Continuous After-the-fact Leakage-Resilient eCK-secure Key Exchange. - Janaka Alawatugoda 001; Colin Boyd; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

A Guide to Fully Homomorphic Encryption. - Frederik Armknecht; Colin Boyd; Christopher Carr; Kristian Gjøsteen; Angela Jäschke; Christian A. Reuter; Martin Strand 001 (IACR Cryptol. ePrint Arch., 2015)

From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. - Colin Boyd; Britta Hale; Stig Frode Mjølsnes; Douglas Stebila (IACR Cryptol. ePrint Arch., 2015)

Microcash: Efficient Off-Line Small Payments. - Chris Pavlovski; Colin Boyd (IACR Cryptol. ePrint Arch., 2015)

Analysis of two authorization protocols using Colored Petri Nets. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (Int. J. Inf. Sec., 2015)

Identity-based proxy signatures: a generic construction and a concrete scheme from RSA. - Maryam Rajabzadeh Asaar; Mahmoud Salmasizadeh; Colin Boyd (Secur. Commun. Networks, 2015)

Private VNFs for collaborative multi-operator service delivery: An architectural case. - Gergely Biczók; Balázs Sonkoly; Nikolett Bereczky; Colin Boyd (NOMS, 2016)

Using Cryptography to Control Your Data at a Distance. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Håvard Raddum; Mohsen Toorani (ERCIM News, 2016)

Side channels in deduplication: trade-offs between leakage and efficiency. - Frederik Armknecht; Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Mohsen Toorani (IACR Cryptol. ePrint Arch., 2016)

Fair Client Puzzles from the Bitcoin Blockchain. - Colin Boyd; Christopher Carr (IACR Cryptol. ePrint Arch., 2016)

Modelling attacks on self-authentication watermarking. - Hussain Nyeem; Wageeh W. Boles; Colin Boyd (Multim. Tools Appl., 2016)

Security Proofs for Protocols Involving Humans. - Kenneth Radke; Colin Boyd (Comput. J., 2017)

Bitcoin Unchained. - Christopher Carr; Colin Boyd; Xavier Boyen; Thomas Haines (ERCIM News, 2017)

Key Recovery: Inert and Public. - Colin Boyd; Xavier Boyen; Christopher Carr; Thomas Haines (IACR Cryptol. ePrint Arch., 2017)

Security notions for cloud storage and deduplication. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Mohsen Toorani; Håvard Raddum (IACR Cryptol. ePrint Arch., 2017)

Secure Channels and Termination: The Last Word on TLS. - Colin Boyd; Britta Hale (IACR Cryptol. ePrint Arch., 2017)

OWASP Top 10 - Do Startups Care? - Halldis Sohoel; Martin Gilje Jaatun; Colin Boyd (Cyber Security, 2018)

Valuable Puzzles for Proofs-of-Work. - Colin Boyd; Christopher Carr (DPM/CBT@ESORICS, 2018)

Offline Assisted Group Key Exchange. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Yao Jiang 001 (IACR Cryptol. ePrint Arch., 2018)

Definitions for Plaintext-Existence Hiding in Cloud Storage. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Håvard Raddum; Mohsen Toorani (IACR Cryptol. ePrint Arch., 2018)

A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. - Colin Boyd; Kristian Gjøsteen; Clémentine Gritti; Thomas Haines (INDOCRYPT, 2019)

Towards protected VNFs for multi-operator service delivery. - Enio Marku; Gergely Biczók; Colin Boyd (NetSoft, 2019)

RISE and SHINE: Fast and Secure Updatable Encryption. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Yao Jiang 001 (IACR Cryptol. ePrint Arch., 2019)

A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. - Colin Boyd; Kristian Gjøsteen; Shuang Wu (FMBC@CAV, 2020)

Fast and Secure Updatable Encryption. - Colin Boyd; Gareth T. Davies; Kristian Gjøsteen; Yao Jiang 001 (CRYPTO (1), 2020)

Vote Selling Resistant Voting. - Colin Boyd; Thomas Haines; Peter B. Rønne (Financial Cryptography Workshops, 2020)

Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions. - Enio Marku; Gergely Biczók; Colin Boyd (IEEE Commun. Mag., 2020)

Special Issue on Cryptographic Currency and Blockchain Technology. - Man Ho Au; Jinguang Han; Qianhong Wu; Colin Boyd (Future Gener. Comput. Syst., 2020)

Protocols for Authentication and Key Establishment, Second Edition - Colin Boyd; Anish Mathuria; Douglas Stebila (Springer, 2020)

SafeLib: a practical library for outsourcing stateful network functions securely. - Enio Marku; Gergely Biczók; Colin Boyd (NetSoft, 2021)

A Modern View on Forward Security. - Colin Boyd; Kai Gellert (Comput. J., 2021)

Symmetric Key Exchange with Full Forward Security and Robust Synchronization. - Colin Boyd; Gareth T. Davies; Bor de Kock; Kai Gellert; Tibor Jager; Lise Millerjord (IACR Cryptol. ePrint Arch., 2021)

Introduction to the Special Issue on TLS 1.3. - Colin Boyd (J. Cryptol., 2021)

Hybrid Group Key Exchange with Application to Constrained Networks. - Colin Boyd; Elsie Mestl Fondevik; Kristian Gjøsteen; Lise Millerjord (ISC, 2023)

Modular Design of KEM-Based Authenticated Key Exchange. - Colin Boyd; Bor de Kock; Lise Millerjord (IACR Cryptol. ePrint Arch., 2023)

Remembering Ed Dawson. - Colin Boyd; Reihaneh Safavi-Naini; Leonie Simpson (Information Security in a Connected World, 2025)

TEAKEX: TESLA-Authenticated Group Key Exchange. - Qinyi Li; Lise Millerjord; Colin Boyd (IACR Cryptol. ePrint Arch., 2025)

SafeLib: A Comprehensive Framework for Secure Outsourcing of Network Functions. - Enio Marku; Colin Boyd; Gergely Biczók (IEEE Trans. Netw. Serv. Manag., 2025)