Colin Boyd

Martin Gilje Jaatun, Colin Boyd, Halldis Sohoel, 2018, 2018 International Conference on Cyber Security and Protection of Digital Services (Cyber Security).

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

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2006, Comput. Commun..

Public key protocols for wireless communications

Colin Boyd, DongGook Park, 1998, ICISC.

Examining the DoS Resistance of HIP

Colin Boyd, Juan Manuel González Nieto, Ernest Foo, 2006, OTM Workshops.

HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System

JaeCheol Ha, Colin Boyd, Juan Manuel González Nieto, 2007, EUC Workshops.

Elliptic Curve Based Password Authenticated Key Exchange Protocols

Colin Boyd, Khanh Quoc Nguyen, Paul Montague, 2001, ACISP.

Efficient Batch Signature Generation Using Tree Structures

Colin Boyd, Christopher J. Pavlovski, 1999 .

Security-Mediated Certificateless Cryptography

Colin Boyd, Juan Manuel González Nieto, Sherman S. M. Chow, 2006, Public Key Cryptography.

Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004, ACNS.

Information Security and Privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings

Colin Boyd, Leonie Simpson, 2013 .

Efficient Electronic Cash Using Batch Signatures

Colin Boyd, Ernest Foo, Chris Pavlovski, 1999, ACISP.

An Efficient and Verifiable Solution to the Millionaire Problem

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004, ICISC.

Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings

Colin Boyd, Juan Manuel González Nieto, 2009, ACISP.

Security Issues for Electronic Auctions

Colin Boyd, Wenbo Mao, W. Mao, 2000 .

Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking

Colin Boyd, Juan Manuel González Nieto, Kaleb Lee, 2012, ACISP.

Protocols for Authentication and Key Establishment

Colin Boyd, Douglas Stebila, Anish Mathuria, 2020, Information Security and Cryptography.

Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets

Colin Boyd, Ernest Foo, Suriadi Suriadi, 2012, AISC.

Private VNFs for collaborative multi-operator service delivery: An architectural case

Colin Boyd, Balázs Sonkoly, Gergely Biczók, 2016, NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium.

Modelling denial of service attacks on JFK with Meadows's cost-based framework

Jason Smith, Colin Boyd, Juan Manuel González Nieto, 2006, ACSW.

A Scheme for Enhancing Security Using Multiple Fingerprints and the Fuzzy Vault

Colin Boyd, Wageeh W. Boles, Marianne Hirschbichler, 2008, 2008 Digital Image Computing: Techniques and Applications.

Defining Security Services for Electronic Tendering

Rong Du, Colin Boyd, Ernest Foo, 2004, ACSW.

Multiplicative Homomorphic E-Voting

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004, INDOCRYPT.

Non-interactive Auction Schemewith Strong Privacy

Ed Dawson, Colin Boyd, Kun Peng, 2002, ICISC.

Enhanced GeoProof: improved geographic assurance for data in the cloud

Colin Boyd, Juan Manuel González Nieto, Aiiad Albeshri, 2013, International Journal of Information Security.

Key recovery for the commercial environment

Ed Dawson, Colin Boyd, Juan Manuel González Nieto, 2002, International Journal of Information Security.

A Correct, Private, and Efficient Mix Network

Ed Dawson, Colin Boyd, Kun Peng, 2004, Public Key Cryptography.

Enforcing traceability in software

Colin Boyd, 1997, ICICS.

Forward Secrecy and Its Application to Future Mobile Communications Security

Colin Boyd, Sang-Jae Moon, DongGook Park, 2000, Public Key Cryptography.

Protecting Encrypted Cookies from Compression Side-Channel Attacks

Colin Boyd, Douglas Stebila, Janaka Alawatugoda, 2015, Financial Cryptography.

Systematic design of key establishment protocols based on one-way functions

Colin Boyd, Anish Mathuria, 1997 .

Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks

Ed Dawson, Colin Boyd, DongGook Park, 2001, ACISP.

Formal analysis of secure contracting protocol for e-tendering

Rong Du, Colin Boyd, Kim-Kwang Raymond Choo, 2006, ACSW.

"Who decides?": security and privacy in the wild

Colin Boyd, Juan Manuel González Nieto, Laurie Buys, 2013, OZCHI.

Verifier-Key-Flexible Universal Designated-Verifier Signatures

Colin Boyd, Juan Manuel González Nieto, Raylin Tso, 2007, IMACC.

A Comparison of DCT and DWT Block Based Watermarking on Medical Image Quality

Stuart Crozier, Colin Boyd, Jason Dowling, 2008, IWDW.

Detachable Electronic Coins

Colin Boyd, Ernest Foo, Chris Pavlovski, 1999, ICICS.

Fair Electronic Cash Based on a Group Signature Scheme

Colin Boyd, Greg Maitland, 2001, ICICS.

Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols

Colin Boyd, Juan Manuel González Nieto, M. Choudary Gorantla, 2009, Public Key Cryptography.

Continuous Biometric Authentication: Can It Be More Practical?

Colin Boyd, Andrew J. Clark, Asadul K. Islam, 2010, 2010 IEEE 12th International Conference on High Performance Computing and Communications (HPCC).

Effort-Release Public-Key Encryption from Cryptographic Puzzles

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2012, ACISP.

GeoProof: Proofs of Geographic Location for Cloud Computing Environment

Colin Boyd, Juan Manuel González Nieto, Aiiad Albeshri, 2012, 2012 32nd International Conference on Distributed Computing Systems Workshops.

A Three Phased Schema for Sealed Bid Auction System Design

Ed Dawson, Colin Boyd, Kapali Viswanathan, 2000, ACISP.

An Analysis of Integrity Services in Protocols

Ed Dawson, Colin Boyd, Kapali Viswanathan, 2001, INDOCRYPT.

Attacking and Repairing Batch Verification Schemes

Colin Boyd, Chris Pavlovski, C. Pavlovski, 2000, ASIACRYPT.

Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction

Ed Dawson, Colin Boyd, Kun Peng, 2002, ICICS.

Sealed-Bid Micro Auctions

Ed Dawson, Colin Boyd, Kun Peng, 2006, SEC.

How to Extract and Expand Randomness: A Summary and Explanation of Existing Results

Colin Boyd, Juan Manuel González Nieto, Yvonne Cliff, 2009, ACNS.

A Novel Range Test

Ed Dawson, Colin Boyd, Kun Peng, 2006, ACISP.

Fair Client Puzzles from the Bitcoin Blockchain

Colin Boyd, Christopher Carr, C. Boyd, 2016, ACISP.

Goals for Authentication and Key Establishment

Colin Boyd, Anish Mathuria, 2003 .

Exploring Fair Exchange Protocols Using Specification Animation

Colin Boyd, Peter Kearney, 2000, ISW.

A Review of Medical Image Watermarking Requirements for Teleradiology

Colin Boyd, Wageeh W. Boles, Hussain Nyeem, 2013, Journal of Digital Imaging.

Design and Analysis of Key Exchange Protocols via Secure Channel Identification

Colin Boyd, Wenbo Mao, W. Mao, 1994, ASIACRYPT.

Strongly Secure Certificateless Key Agreement

Colin Boyd, Juan Manuel González Nieto, Georg Lippold, 2009, Pairing.

Formalising Human Recognition: a Fundamental Building Block for Security Proofs

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2014, AISC.

Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing

Margot Brereton, Colin Boyd, Juan Manuel González Nieto, 2011, INTERACT.

A Framework for Design of Key Establishment Protocols

Colin Boyd, 1996, ACISP.

Ciphertext Comparison, a New Solution to the Millionaire Problem

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2005, ICICS.

Information Security and Privacy, 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings

Colin Boyd, Juan Manuel González Nieto, 2005, ACISP.

Modelling attacks on self-authentication watermarking

Colin Boyd, Wageeh W. Boles, Hussain Nyeem, 2016, Multimedia Tools and Applications.

Providing Receipt-Freeness in Mixnet-Based Voting Protocols

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2003, ICISC.

Ethical Issues Arising from the London Underground King’s Cross Fire

Colin Boyd, C. Boyd, 1992 .

Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking

Colin Boyd, Wageeh W. Boles, Hussain Nyeem, 2013, 2013 International Conference on Digital Image Computing: Techniques and Applications (DICTA).

Key Agreement Using Statically Keyed Authenticators

Kenneth G. Paterson, Colin Boyd, Wenbo Mao, 2004, ACNS.

Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2011, ICISC.

A novel identity-based strong designated verifier signature scheme

Ed Dawson, Colin Boyd, Baoyuan Kang, 2009, J. Syst. Softw..

Protocols with Security Proofs for Mobile Applications

Colin Boyd, Juan Manuel González Nieto, Yiu Shing Terry Tin, 2004, ACISP.

Developing a Digital Image Watermarking Model

Colin Boyd, Wageeh W. Boles, Hussain Nyeem, 2011, 2011 International Conference on Digital Image Computing: Techniques and Applications.

Efficient and secure self-escrowed public-key infrastructures

Colin Boyd, Jaimee Brown, Juan M. Gonzalez Nieto, 2007, ASIACCS '07.

SKMA: a key management architecture for SCADA systems

Ed Dawson, Colin Boyd, Juan Manuel González Nieto, 2006, ACSW.

A Payment Scheme Using Vouchers

Colin Boyd, Ernest Foo, C. Boyd, 1998, Financial Cryptography.

Generic One Round Group Key Exchange in the Standard Model

Colin Boyd, Juan Manuel González Nieto, Mark Manulis, 2009, ICISC.

CHURNs: Freshness Assurance for Humans

Colin Boyd, Juan Manuel González Nieto, Harry Bartlett, 2015, Comput. J..

Denial-of-service resistance in key establishment

Jason Smith, Colin Boyd, Juan Manuel González Nieto, 2007, Int. J. Wirel. Mob. Comput..

Errors in Computational Complexity Proofs for Protocols

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2005, ASIACRYPT.

Strong Designated Verifier Signature in a Multi-user Setting

Colin Boyd, Juan Manuel González Nieto, M. Choudary Gorantla, 2009, AISC.

Optimization of Electronic First-Bid Sealed-Bid Auction Based on Homomorphic Secret Sharing

Ed Dawson, Colin Boyd, Kun Peng, 2005, Mycrypt.

Preface to the special issue on ISC 2003

Colin Boyd, Wenbo Mao, 2004, International Journal of Information Security.

Efficient Certificateless KEM in the Standard Model

Colin Boyd, Juan Manuel González Nieto, Georg Lippold, 2009, ICISC.

A taxonomy of electronic cash schemes

Ed Dawson, Colin Boyd, Ernest Foo, 1997, SEC.

Implementation Issues in Secure E-Voting Schemes

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004 .

Avoiding Full Extension Field Arithmetic in Pairing Computations

Colin Boyd, Juan Manuel González Nieto, Craig Costello, 2010, AFRICACRYPT.

An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys

Colin Boyd, Kim-Kwang Raymond Choo, Anish Mathuria, 2006, ACISP.

Ceremony Analysis: Strengths and Weaknesses

Margot Brereton, Colin Boyd, Juan Manuel González Nieto, 2011, SEC.

Improving the Efficiency of RFID Authentication with Pre-Computation

Colin Boyd, Juan Manuel González Nieto, Kaleb Lee, 2012, AISC.

A Provably Secure Restrictive Partially Blind Signature Scheme

Colin Boyd, Greg Maitland, C. Boyd, 2002, Public Key Cryptography.

On Session Key Construction in Provably-Secure Key Establishment Protocols

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2005, Mycrypt.

Compliant cryptologic protocols

Ed Dawson, Colin Boyd, Kapali Viswanathan, 2002, International Journal of Information Security.

A State-Aware RFID Privacy Model with Reader Corruption

Colin Boyd, Juan Manuel González Nieto, Kaleb Lee, 2012, CSS.

Complementing Computational Protocol Analysis with Formal Specifications

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2004, Formal Aspects in Security and Trust.

Development of authentication protocols: some misconceptions and a new approach

Colin Boyd, Wenbo Mao, 1994, Proceedings The Computer Security Foundations Workshop VII.

Security of Two-Party Identity-Based Key Agreement

Colin Boyd, Kim-Kwang Raymond Choo, 2005, Mycrypt.

A security architecture for third generation wireless systems

Ed Dawson, Colin Boyd, Selwyn Russell, 1998, ICISC.

Security Proofs for Protocols Involving Humans

Colin Boyd, Kenneth Radke, C. Boyd, 2016, Comput. J..

A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption

Ed Dawson, Colin Boyd, Kun Peng, 2005, ISC.

PassCue: The Shared Cues System in Practice

Colin Boyd, Bjørn B. Larsen, Mats Sandvoll, 2014, PASSWORDS.

A Password-Based Authenticator: Security Proof and Applications

Colin Boyd, Juan Manuel González Nieto, Yiu Shing Terry Tin, 2003, INDOCRYPT.

Key Establishment Protocols for Secure Mobile Communications: A Selective Survey

Colin Boyd, Anish Mathuria, C. Boyd, 1998, ACISP.

Secure Selection Protocols

Ed Dawson, Colin Boyd, Kapali Viswanathan, 1999, ICISC.

Automated Proofs for Diffie-Hellman-Based Key Exchanges

Colin Boyd, Juan Manuel González Nieto, Long Ngo, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.

A Secure Framework for User Privacy in Heterogeneous Location Networks

Colin Boyd, Juan Manuel González Nieto, Yiu Shing Terry Tin, 2004, MATA.

Security Architectures Using Formal Methods

Colin Boyd, C. Boyd, 1993, IEEE J. Sel. Areas Commun..

Identity-based strong designated verifier signature schemes: Attacks and new construction

Ed Dawson, Colin Boyd, Baoyuan Kang, 2009, Comput. Electr. Eng..

Linkability in Practical Electronic Cash Design

Ed Dawson, Colin Boyd, Ernest Foo, 2000, ISW.

Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction

Ed Dawson, Colin Boyd, Kun Peng, 2003, WISA.

Efficient One-Round Key Exchange in the Standard Model

Kenneth G. Paterson, Colin Boyd, Juan Manuel González Nieto, 2008, ACISP.

Low-Cost and Strong-Security RFID Authentication Protocol

JaeCheol Ha, Colin Boyd, Juan Manuel González Nieto, 2007, EUC Workshops.

Proceedings of the 14th Australasian Conference on Information Security and Privacy

Colin Boyd, Juan Manuel González Nieto, C. Boyd, 2009 .

Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology

Colin Boyd, C. Boyd, 2001 .

Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes

Ed Dawson, Colin Boyd, Jen Lim, 1997, ACISP.

Towards protected VNFs for multi-operator service delivery

Colin Boyd, Enio Marku, Gergely Biczók, 2019, 2019 IEEE Conference on Network Softwarization (NetSoft).

Deniable authenticated Key establishment for Internet protocols. Commentary. Authors' reply

Kenneth G. Paterson, Bruce Christianson, Colin Boyd, 2005 .

Faster Pairings on Special Weierstrass Curves

Colin Boyd, Juan Manuel González Nieto, Craig Costello, 2009, Pairing.

Identity-based proxy signatures: a generic construction and a concrete scheme from RSA

Colin Boyd, Mahmoud Salmasizadeh, Maryam Rajabzadeh Asaar, 2015, Secur. Commun. Networks.

Predicate encryption for multi-inner-products

Dongdong Sun, Colin Boyd, Juan Manuel González Nieto, 2013, Secur. Commun. Networks.

Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis

Colin Boyd, Kapali Viswanathan, 2002, FASec.

An Elliptic Curve Analogue of McCurley's Key Agreement Scheme

Colin Boyd, Andrew Smith, 1995, IMACC.

Towards Extensional Goals in Authentication Protocols

Colin Boyd, 1997 .

Cryptology and Network Security

Dongdai Lin, Xiaolei Dong, Yi Mu, 2018, Lecture Notes in Computer Science.

Stronger diculty notions for client puzzles and denial-of-service-resistant protocols (full version)

Colin Boyd, Douglas Stebila, Juan Gonzalez Nieto, 2011 .

Modelling after-the-fact leakage for key exchange

Colin Boyd, Douglas Stebila, Janaka Alawatugoda, 2014, IACR Cryptol. ePrint Arch..

A Multiple-Control Fuzzy Vault

Colin Boyd, Wageeh W. Boles, Marianne Hirschbichler, 2008, 2008 Sixth Annual Conference on Privacy, Security and Trust.

Cryptography in the Cloud: Advances and Challenges

Colin Boyd, 2013, J. Inform. and Commun. Convergence Engineering.

Visual quality assessment of watermarked medical images

Stuart Crozier, Colin Boyd, Andrew P. Bradley, 2007, SPIE Medical Imaging.

Strong binding for software key escrow

Ed Dawson, Colin Boyd, Kapali Viswanathan, 1999, Proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99). Group Communications (IWGC). Internet '99 (IWI'99). Industrial Applications on Network Computing (INDAP). Multime.

A Tutorial Introduction to Authentication and Key Establishment

Colin Boyd, Anish Mathuria, 2003 .

The productivity ladder

Colin Boyd, 2014 .

Passive Entities: A Strategy for Electronic Payment Design

Colin Boyd, Ernest Foo, C. Boyd, 2000, ACISP.

Enhancing Secrecy by Data Compression: Theoretical and Practical Aspects

Colin Boyd, C. Boyd, 1991, EUROCRYPT.

Information Security and Privacy

J. van Leeuwen, Ed Dawson, Jan van Leeuwen, 2000, Lecture Notes in Computer Science.

A Formal Framework for Authentication

Colin Boyd, 1992, ESORICS.

Authentication and Key Transport Using Public Key Cryptography

Colin Boyd, Anish Mathuria, 2003 .

A Secure and Efficient Mix-Network using Extended Binary Mixing Gate

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004, Cryptographic Algorithms and their Uses.

Cryptography and Coding

Colin Boyd, C. Boyd, 1995, Lecture Notes in Computer Science.

Using Coloured Petri Nets to Simulate DoS-resistant Protocols

Colin Boyd, Juan Manuel González Nieto, Ernest Foo, 2006 .

Toward Non-parallelizable Client Puzzles

Colin Boyd, Juan Manuel González Nieto, Ernest Foo, 2007, CANS.

Signature Scheme for Controlled Environments

Ed Dawson, Colin Boyd, Kapali Viswanathan, 1999, ICICS.

Batch zero-knowledge proof and verification and its applications

Ed Dawson, Colin Boyd, Kun Peng, 2007, TSEC.

Attacks Based on Small Factors in Various Group Structures

Colin Boyd, Chris Pavlovski, C. Pavlovski, 2001, ACISP.

Secure Key Issuing in ID-based Cryptography

Byoungcheon Lee, Ed Dawson, Colin Boyd, 2004, ACSW.

Secure Channels and Termination: The Last Word on TLS

Colin Boyd, Britta Hale, 2017, IACR Cryptol. ePrint Arch..

Analysis of two authorization protocols using Colored Petri Nets

Colin Boyd, Ernest Foo, Suriadi Suriadi, 2014, International Journal of Information Security.

Counterfeiting attacks on block-wise dependent fragile watermarking schemes

Colin Boyd, Wageeh W. Boles, Hussain Nyeem, 2013, SIN.

Off-Line Fair Payment Protocols Using Convertible Signatures

Colin Boyd, Ernest Foo, C. Boyd, 1998, ASIACRYPT.

Content-independent embedding scheme for multi-modal medical image watermarking

Wageeh Boles, Colin Boyd, Hussain Nyeem, 2015, Biomedical engineering online.

Attribute-Based Authenticated Key Exchange

Colin Boyd, Juan Manuel González Nieto, M. Choudary Gorantla, 2010, ACISP.

Protocols Using Shared Key Cryptography

Colin Boyd, Anish Mathuria, 2003 .

A security architecture for cloud storage combining proofs of retrievability and fairness

Colin Boyd, Juan Manuel González Nieto, Aiiad Albeshri, 2012, CLOUD 2012.

Password Based Server Aided Key Exchange

Colin Boyd, Yiu Shing Terry Tin, Yvonne Cliff, 2006, ACNS.

Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems

Colin Boyd, Juan Manuel González Nieto, Jaimee Brown, 2006, CANS.

Proceedings of the 5th IMA Conference on Cryptography and Coding

Colin Boyd, C. Boyd, 1995 .

One Round Group Key Exchange with Forward Security in the Standard Model

Colin Boyd, Juan Manuel González Nieto, M. Choudary Gorantla, 2010, IACR Cryptol. ePrint Arch..

Resisting the Bergen-Hogan Attack on Adaptive Arithmetic Coding

Colin Boyd, Xian Liu, Patrick G. Farrell, 1997, IMACC.

Automating Computational Proofs for Public-Key-Based Key Exchange

Colin Boyd, Juan Manuel González Nieto, Long Ngo, 2010, ProvSec.

Proceedings of the 10th Australasian conference on Information Security and Privacy

Colin Boyd, Juan Manuel González Nieto, C. Boyd, 2005 .

Design of Secure Key Establishment Protocols: Successes, Failures and Prospects

Colin Boyd, 2004, INDOCRYPT.

Designing Secure E-Tendering Systems

Rong Du, Colin Boyd, Juan Manuel González Nieto, 2005, TrustBus.

Practical client puzzles in the standard model

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2012, ASIACCS '12.

A Public Key Cryptosystem Based on the Subgroup Membership Problem

Ed Dawson, Colin Boyd, Juan Manuel González Nieto, 2001, ICICS.

Password-Based Protocols

Colin Boyd, Anish Mathuria, 2003 .

Batch verification of validity of bids in homomorphic e-auction

Ed Dawson, Colin Boyd, Kun Peng, 2006, Comput. Commun..

Towards a Secure Human-and-Computer Mutual Authentication Protocol

Margot Brereton, Colin Boyd, Juan Manuel González Nieto, 2012, AISC.

On Forward Secrecy in One-Round Key Exchange

Colin Boyd, Juan Manuel González Nieto, 2011, IMACC.

ASICS: authenticated key exchange security incorporating certification systems

Kenneth G. Paterson, Colin Boyd, Douglas Stebila, 2013, International Journal of Information Security.

Examining Indistinguishability-Based Proof Models for Key Establishment Protocols

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2005, ASIACRYPT.

NOTES ON THE THEORETICAL DYNAMICS OF INTERMITTENT PUBLIC PASSENGER TRANSPORTATION SYSTEMS

Colin Boyd, 1983 .

Proceedings of the 5th Australasian Conference on Information Security and Privacy

Ed Dawson, Colin Boyd, Andrew Clark, 2000 .

Secure e-Voting for Preferential Elections

Ed Dawson, Colin Boyd, Kapali Viswanathan, 2003, EGOV.

Designing Secure Key Exchange Protocols

Colin Boyd, Wenbo Mao, 1994, ESORICS.

On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2004, SCN.

ID-based One-pass Authenticated Key Establishment

Colin Boyd, Juan Manuel González Nieto, M. Choudary Gorantla, 2008, AISC.

How HCI design influences web security decisions

Margot Brereton, Colin Boyd, Juan Manuel González Nieto, 2010, OZCHI '10.

Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2011, INDOCRYPT.

Continuous After-the-Fact Leakage-Resilient Key Exchange

Colin Boyd, Douglas Stebila, Janaka Alawatugoda, 2014, ACISP.

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model

Colin Boyd, Juan Manuel González Nieto, Yvonne Hitchcock, 2004, INDOCRYPT.

Computationally Analyzing the ISO 9798-2.4 Authentication Protocol

Colin Boyd, Britta Hale, 2014, SSR.

Co-operatively Formed Group Signatures

Colin Boyd, Greg Maitland, 2002, CT-RSA.

Protocols for Key Establishment and Authentication

Colin Boyd, Anish Mathuria, C. Boyd, 2003 .

A Password-Based Authenticator: Security Proof Applications

Colin Boyd, Juan Manuel González Nieto, Yvonne Hitchcock, 2003 .

Valuable Puzzles for Proofs-of-Work

Colin Boyd, Christopher Carr, 2018, DPM/CBT@ESORICS.

Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions

Colin Boyd, Juan Manuel González Nieto, Jaimee Brown, 2006, INDOCRYPT.

Towards formal analysis of security protocols

Colin Boyd, Wenbo Mao, 1993, [1993] Proceedings Computer Security Foundations Workshop VI.

An integrated approach to cryptographic mitigation of denial-of-service attacks

Colin Boyd, Juan Manuel González Nieto, Douglas Stebila, 2011, ASIACCS '11.

A class of flexible and efficient key management protocols

Colin Boyd, 1996, Proceedings 9th IEEE Computer Security Foundations Workshop.

Publicly Verifiable Key Escrow with Limited Time Span

Ed Dawson, Colin Boyd, Kapali Viswanathan, 1999, ACISP.

Key Recovery System for the Commercial Environment

Ed Dawson, Colin Boyd, Juan Manuel González Nieto, 2000, ACISP.

Introduction to the Special Issue on TLS 1.3

Colin Boyd, C. Boyd, 2021, J. Cryptol..

SafeLib: a practical library for outsourcing stateful network functions securely

Colin Boyd, Gergely Biczók, Enio Marku, 2021, 2021 IEEE 7th International Conference on Network Softwarization (NetSoft).

Symmetric Key Exchange with Full Forward Security and Robust Synchronization

Colin Boyd, Tibor Jager, Kai Gellert, 2021, IACR Cryptol. ePrint Arch..

eTendering - Security and Legal Issues

Ed Dawson, Colin Boyd, Juan Manuel González Nieto, 2006 .

Advances in Cryptology - ASIACRYPT 2001, 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001, Proceedings

Colin Boyd, 2001, ASIACRYPT.

The importance of proofs of security for key establishment protocols q Formal analysis of Jan – Chen , Yang – Shen – Shieh

Colin Boyd, Kim-Kwang Raymond Choo, Yvonne Hitchcock, 2005 .