Colin Boyd - RankMe

276 papers A* 5A 16B 17C 29Misc 64Journal 81Unranked 61

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Information Security in a Connected World - Celebrating the Life and Work of Ed Dawson Information Security in a Connected World Colin Boyd, Reihaneh Safavi-Naini, Leonie Simpson
2025	—	`conf`	Remembering Ed Dawson. Information Security in a Connected World Colin Boyd, Reihaneh Safavi-Naini, Leonie Simpson
2025	J	`jnl`	SafeLib: A Comprehensive Framework for Secure Outsourcing of Network Functions. IEEE Trans. Netw. Serv. Manag. Enio Marku, Colin Boyd, Gergely Biczók
2025	—	`conf`	TEAKEX: TESLA-Authenticated Group Key Exchange. ACISP (1) Qinyi Li, Lise Millerjord, Colin Boyd
2025	J	`jnl`	TEAKEX: TESLA-Authenticated Group Key Exchange. IACR Cryptol. ePrint Arch. Qinyi Li, Lise Millerjord, Colin Boyd
2023	C	`conf`	Hybrid Group Key Exchange with Application to Constrained Networks. ISC Colin Boyd, Elsie Mestl Fondevik, Kristian Gjøsteen, Lise Millerjord
2023	Misc	`conf`	Modular Design of KEM-Based Authenticated Key Exchange. ACISP Colin Boyd, Bor de Kock, Lise Millerjord
2023	J	`jnl`	Modular Design of KEM-Based Authenticated Key Exchange. IACR Cryptol. ePrint Arch. Colin Boyd, Bor de Kock, Lise Millerjord
2021	J	`jnl`	A Modern View on Forward Security. Comput. J. Colin Boyd, Kai Gellert
2021	J	`jnl`	Introduction to the Special Issue on TLS 1.3. J. Cryptol. Colin Boyd
2021	B	`conf`	SafeLib: a practical library for outsourcing stateful network functions securely. NetSoft Enio Marku, Gergely Biczók, Colin Boyd
2021	—	`conf`	Symmetric Key Exchange with Full Forward Security and Robust Synchronization. ASIACRYPT (4) Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord
2021	J	`jnl`	Symmetric Key Exchange with Full Forward Security and Robust Synchronization. IACR Cryptol. ePrint Arch. Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord
2020	—	`conf`	A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. FMBC@CAV Colin Boyd, Kristian Gjøsteen, Shuang Wu
2020	—	`conf`	Fast and Secure Updatable Encryption. CRYPTO (1) Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
2020	—	`book`	Protocols for Authentication and Key Establishment, Second Edition Colin Boyd, Anish Mathuria, Douglas Stebila
2020	J	`jnl`	Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions. IEEE Commun. Mag. Enio Marku, Gergely Biczók, Colin Boyd
2020	J	`jnl`	Special Issue on Cryptographic Currency and Blockchain Technology. Future Gener. Comput. Syst. Man Ho Au, Jinguang Han, Qianhong Wu, Colin Boyd
2020	—	`conf`	Vote Selling Resistant Voting. Financial Cryptography Workshops Colin Boyd, Thomas Haines, Peter B. Rønne
2019	Misc	`conf`	A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. INDOCRYPT Colin Boyd, Kristian Gjøsteen, Clémentine Gritti, Thomas Haines
2019	J	`jnl`	A Modern View on Forward Security. IACR Cryptol. ePrint Arch. Colin Boyd, Kai Gellert
2019	J	`jnl`	RISE and SHINE: Fast and Secure Updatable Encryption. IACR Cryptol. ePrint Arch. Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
2019	B	`conf`	Towards protected VNFs for multi-operator service delivery. NetSoft Enio Marku, Gergely Biczók, Colin Boyd
2018	B	`conf`	Definitions for Plaintext-Existence Hiding in Cloud Storage. ARES Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
2018	J	`jnl`	Definitions for Plaintext-Existence Hiding in Cloud Storage. IACR Cryptol. ePrint Arch. Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
2018	—	`conf`	OWASP Top 10 - Do Startups Care? Cyber Security Halldis Sohoel, Martin Gilje Jaatun, Colin Boyd
2018	C	`conf`	Offline Assisted Group Key Exchange. ISC Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
2018	J	`jnl`	Offline Assisted Group Key Exchange. IACR Cryptol. ePrint Arch. Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
2018	C	`conf`	Security Notions for Cloud Storage and Deduplication. ProvSec Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
2018	—	`conf`	Valuable Puzzles for Proofs-of-Work. DPM/CBT@ESORICS Colin Boyd, Christopher Carr
2017	J	`jnl`	ASICS: authenticated key exchange security incorporating certification systems. Int. J. Inf. Sec. Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2017	J	`jnl`	Bitcoin Unchained. ERCIM News Christopher Carr, Colin Boyd, Xavier Boyen, Thomas Haines
2017	J	`jnl`	Key Recovery: Inert and Public. IACR Cryptol. ePrint Arch. Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
2017	—	`conf`	Secure Channels and Termination: The Last Word on TLS. LATINCRYPT Colin Boyd, Britta Hale
2017	J	`jnl`	Secure Channels and Termination: The Last Word on TLS. IACR Cryptol. ePrint Arch. Colin Boyd, Britta Hale
2017	J	`jnl`	Security Proofs for Protocols Involving Humans. Comput. J. Kenneth Radke, Colin Boyd
2017	J	`jnl`	Security notions for cloud storage and deduplication. IACR Cryptol. ePrint Arch. Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani, Håvard Raddum
2017	A	`conf`	Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. AsiaCCS Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
2016	—	`conf`	Fair Client Puzzles from the Bitcoin Blockchain. ACISP (1) Colin Boyd, Christopher Carr
2016	J	`jnl`	Fair Client Puzzles from the Bitcoin Blockchain. IACR Cryptol. ePrint Arch. Colin Boyd, Christopher Carr
2016	B	`conf`	From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. CT-RSA Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
2016	—	`conf`	Key Recovery: Inert and Public. Mycrypt Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
2016	J	`jnl`	Modelling attacks on self-authentication watermarking. Multim. Tools Appl. Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2016	B	`conf`	Private VNFs for collaborative multi-operator service delivery: An architectural case. NOMS Gergely Biczók, Balázs Sonkoly, Nikolett Bereczky, Colin Boyd
2016	J	`jnl`	Side channels in deduplication: trade-offs between leakage and efficiency. IACR Cryptol. ePrint Arch. Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
2016	J	`jnl`	Using Cryptography to Control Your Data at a Distance. ERCIM News Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
2015	J	`jnl`	A Guide to Fully Homomorphic Encryption. IACR Cryptol. ePrint Arch. Frederik Armknecht, Colin Boyd, Christopher Carr, Kristian Gjøsteen, Angela Jäschke, Christian A. Reuter, Martin Strand
2015	J	`jnl`	Analysis of two authorization protocols using Colored Petri Nets. Int. J. Inf. Sec. Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
2015	J	`jnl`	CHURNs: Freshness Assurance for Humans. Comput. J. Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Harry Bartlett
2015	C	`conf`	Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange. IMACC Janaka Alawatugoda, Douglas Stebila, Colin Boyd
2015	J	`jnl`	Continuous After-the-fact Leakage-Resilient eCK-secure Key Exchange. IACR Cryptol. ePrint Arch. Janaka Alawatugoda, Colin Boyd, Douglas Stebila
2015	J	`jnl`	From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. IACR Cryptol. ePrint Arch. Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
2015	J	`jnl`	Identity-based proxy signatures: a generic construction and a concrete scheme from RSA. Secur. Commun. Networks Maryam Rajabzadeh Asaar, Mahmoud Salmasizadeh, Colin Boyd
2015	J	`jnl`	Microcash: Efficient Off-Line Small Payments. IACR Cryptol. ePrint Arch. Chris Pavlovski, Colin Boyd
2015	—	`conf`	Protecting Encrypted Cookies from Compression Side-Channel Attacks. Financial Cryptography Janaka Alawatugoda, Douglas Stebila, Colin Boyd
2014	J	`jnl`	Automated Proofs for Computational Indistinguishability. Comput. J. Long Ngo, Colin Boyd, Juan Manuel González Nieto
2014	—	`conf`	Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. SSR Britta Hale, Colin Boyd
2014	Misc	`conf`	Continuous After-the-Fact Leakage-Resilient Key Exchange. ACISP Janaka Alawatugoda, Colin Boyd, Douglas Stebila
2014	J	`jnl`	Continuous After-the-fact Leakage-Resilient Key Exchange (full version). IACR Cryptol. ePrint Arch. Janaka Alawatugoda, Colin Boyd, Douglas Stebila
2014	J	`jnl`	Digital image watermarking: its formal model, fundamental properties and possible attacks. EURASIP J. Adv. Signal Process. Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2014	J	`jnl`	Enhanced GeoProof: improved geographic assurance for data in the cloud. Int. J. Inf. Sec. Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
2014	Misc	`conf`	Formalising Human Recognition: a Fundamental Building Block for Security Proofs. AISC Kenneth Radke, Colin Boyd, Juanma González Nieto, Mark Manulis, Douglas Stebila
2014	J	`jnl`	Modelling After-the-fact Leakage for Key Exchange. IACR Cryptol. ePrint Arch. Janaka Alawatugoda, Douglas Stebila, Colin Boyd
2014	A	`conf`	Modelling after-the-fact leakage for key exchange. AsiaCCS Janaka Alawatugoda, Douglas Stebila, Colin Boyd
2014	—	`conf`	PassCue: The Shared Cues System in Practice. PASSWORDS Mats Sandvoll, Colin Boyd, Bjørn B. Larsen
2014	J	`jnl`	Protecting Encrypted Cookies from Compression Side-Channel Attacks. IACR Cryptol. ePrint Arch. Janaka Alawatugoda, Douglas Stebila, Colin Boyd
2014	J	`jnl`	Security properties analysis in a TPM-based protocol. Int. J. Secur. Networks Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
2013	Misc	`conf`	"Who decides?": security and privacy in the wild. OZCHI Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Laurie Buys
2013	J	`jnl`	A Review of Medical Image Watermarking Requirements for Teleradiology. J. Digit. Imaging Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2013	A	`conf`	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ESORICS Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2013	J	`jnl`	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. IACR Cryptol. ePrint Arch. Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
2013	C	`conf`	Counterfeiting attacks on block-wise dependent fragile watermarking schemes. SIN Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2013	J	`jnl`	Cryptography in the Cloud: Advances and Challenges. J. Inform. and Commun. Convergence Engineering Colin Boyd
2013	Misc	`ed.`	Information Security and Privacy - 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings ACISP Colin Boyd, Leonie Simpson
2013	J	`jnl`	Predicate encryption for multi-inner-products. Secur. Commun. Networks Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
2013	Misc	`conf`	Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking. DICTA Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2012	—	`conf`	A State-Aware RFID Privacy Model with Reader Corruption. CSS Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
2012	Misc	`conf`	Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. AISC Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
2012	—	`conf`	Chief information officer (CIO) panel: how to groom IT leadership as change agents. CPR Colin Boyd, Denis Edwards, Philip Loftus, Timothy G. Schaefer
2012	Misc	`conf`	Effort-Release Public-Key Encryption from Cryptographic Puzzles. ACISP Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto, Lakshmi Kuppusamy
2012	—	`conf`	GeoProof: Proofs of Geographic Location for Cloud Computing Environment. ICDCS Workshops Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
2012	Misc	`conf`	Improving the Efficiency of RFID Authentication with Pre-Computation. AISC Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
2012	Misc	`conf`	Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. ACISP Kaleb Lee, Colin Boyd, Juan Manuel González Nieto
2012	A	`conf`	Practical client puzzles in the standard model. AsiaCCS Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto
2012	Misc	`conf`	Towards a Secure Human-and-Computer Mutual Authentication Protocol. AISC Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
2011	A	`conf`	An integrated approach to cryptographic mitigation of denial-of-service attacks. AsiaCCS Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma González Nieto
2011	A	`conf`	Automated Proofs for Diffie-Hellman-Based Key Exchanges. CSF Long Ngo, Colin Boyd, Juanma González Nieto
2011	Misc	`conf`	Ceremony Analysis: Strengths and Weaknesses. SEC Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
2011	Misc	`conf`	Developing a Digital Image Watermarking Model. DICTA Hussain Nyeem, Wageeh W. Boles, Colin Boyd
2011	Misc	`conf`	Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection. ICISC Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
2011	J	`jnl`	Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. IACR Cryptol. ePrint Arch. Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
2011	J	`jnl`	Modeling key compromise impersonation attacks on group key exchange protocols. ACM Trans. Inf. Syst. Secur. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
2011	Misc	`ed.`	Ninth Australasian Information Security Conference, AISC 2011, Perth, Australia, January 2011 AISC Colin Boyd, Josef Pieprzyk
2011	C	`conf`	On Forward Secrecy in One-Round Key Exchange. IMACC Colin Boyd, Juanma González Nieto
2011	B	`conf`	Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols. CT-RSA Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto
2011	—	`conf`	Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing. INTERACT (2) Kenneth Radke, Margot Brereton, Seyed Hadi Mirisaee, Sunil Ghelawat, Colin Boyd, Juan Manuel González Nieto
2011	Misc	`conf`	Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. INDOCRYPT Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma González Nieto
2011	B	`conf`	User-representative feature selection for keystroke dynamics. NSS Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Irfan Ahmed
2010	Misc	`ed.`	8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010 AISC Colin Boyd, Willy Susilo
2010	Misc	`conf`	Attribute-Based Authenticated Key Exchange. ACISP M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2010	J	`jnl`	Attribute-based Authenticated Key Exchange. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2010	C	`conf`	Automating Computational Proofs for Public-Key-Based Key Exchange. ProvSec Long Ngo, Colin Boyd, Juan Manuel González Nieto
2010	—	`conf`	Avoiding Full Extension Field Arithmetic in Pairing Computations. AFRICACRYPT Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2010	J	`jnl`	Avoiding Full Extension Field Arithmetic in Pairing Computations. IACR Cryptol. ePrint Arch. Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2010	C	`conf`	Continuous Biometric Authentication: Can It Be More Practical? HPCC Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Asadul K. Islam
2010	C	`conf`	Delaying Mismatched Field Multiplications in Pairing Computations. WAIFI Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2010	J	`jnl`	Delaying Mismatched Field Multiplications in Pairing Computations. IACR Cryptol. ePrint Arch. Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2010	Misc	`conf`	Delegation in Predicate Encryption Supporting Disjunctive Queries. SEC Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
2010	Misc	`conf`	How HCI design influences web security decisions. OZCHI Kenneth Radke, Colin Boyd, Margot Brereton, Juan Manuel González Nieto
2010	J	`jnl`	One Round Group Key Exchange with Forward Security in the Standard Model. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2010	J	`jnl`	Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols. IACR Cryptol. ePrint Arch. Douglas Stebila, Lakshmi Kuppusamy, Jothi Rangasamy, Colin Boyd, Juan Manuel González Nieto
2009	—	`conf`	A Forward and Backward Secure Key Management in Wireless Sensor Networks for PCS/SCADA. S-CUBE Hani Alzaid, DongGook Park, Juan Manuel González Nieto, Colin Boyd, Ernest Foo
2009	J	`jnl`	A novel identity-based strong designated verifier signature scheme. J. Syst. Softw. Baoyuan Kang, Colin Boyd, Ed Dawson
2009	J	`jnl`	A novel nonrepudiable threshold multi-proxy multi-signature scheme with shared verification. Comput. Electr. Eng. Baoyuan Kang, Colin Boyd, Ed Dawson
2009	Misc	`conf`	Efficient Certificateless KEM in the Standard Model. ICISC Georg Lippold, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	Efficient Certificateless KEM in the Standard Model. IACR Cryptol. ePrint Arch. Georg Lippold, Colin Boyd, Juan Manuel González Nieto
2009	C	`conf`	Faster Pairings on Special Weierstrass Curves. Pairing Craig Costello, Hüseyin Hisil, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2009	J	`jnl`	Faster Pairings on Special Weierstrass Curves. IACR Cryptol. ePrint Arch. Craig Costello, Hüseyin Hisil, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
2009	Misc	`conf`	Generic One Round Group Key Exchange in the Standard Model. ICISC M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
2009	J	`jnl`	Generic One Round Group Key Exchange in the Standard Model. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
2009	B	`conf`	How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. ACNS Yvonne Cliff, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. IACR Cryptol. ePrint Arch. Yvonne Cliff, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	Identity-based strong designated verifier signature schemes: Attacks and new construction. Comput. Electr. Eng. Baoyuan Kang, Colin Boyd, Ed Dawson
2009	Misc	`ed.`	Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings ACISP Colin Boyd, Juan Manuel González Nieto
2009	—	`conf`	Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. Public Key Cryptography M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	On the Connection between Signcryption and One-pass Key Establishment. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	One-round key exchange in the standard model. Int. J. Appl. Cryptogr. Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
2009	Misc	`conf`	Strong Designated Verifier Signature in a Multi-user Setting. AISC M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2009	C	`conf`	Strongly Secure Certificateless Key Agreement. Pairing Georg Lippold, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	Strongly Secure Certificateless Key Agreement. IACR Cryptol. ePrint Arch. Georg Lippold, Colin Boyd, Juan Manuel González Nieto
2009	J	`jnl`	Universally Composable Contributory Group Key Exchange. IACR Cryptol. ePrint Arch. M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2009	A	`conf`	Universally composable contributory group key exchange. AsiaCCS M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2008	C	`conf`	A Multiple-Control Fuzzy Vault. PST Marianne Hirschbichler, Colin Boyd, Wageeh W. Boles
2008	Misc	`conf`	A Scheme for Enhancing Security Using Multiple Fingerprints and the Fuzzy Vault. DICTA Marianne Hirschbichler, Colin Boyd, Wageeh W. Boles
2008	J	`jnl`	Designing a secure e-tender submission protocol. Electron. Commer. Res. Rong Du, Ernest Foo, Colin Boyd
2008	Misc	`conf`	Efficient One-Round Key Exchange in the Standard Model. ACISP Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
2008	J	`jnl`	Efficient One-round Key Exchange in the Standard Model. IACR Cryptol. ePrint Arch. Colin Boyd, Yvonne Cliff, Juan Manuel González Nieto, Kenneth G. Paterson
2008	Misc	`conf`	ID-based One-pass Authenticated Key Establishment. AISC M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2007	C	`conf`	A Comparison of DCT and DWT Block Based Watermarking on Medical Image Quality. IWDW Jason Dowling, Birgit M. Planitz, Anthony J. Maeder, Jiang Du, Binh Pham, Colin Boyd, Shaokang Chen, Andrew P. Bradley, Stuart Crozier
2007	J	`jnl`	A survey of trust and reputation systems for online service provision. Decis. Support Syst. Audun Jøsang, Roslan Ismail, Colin Boyd
2007	J	`jnl`	Batch zero-knowledge proof and verification and its applications. ACM Trans. Inf. Syst. Secur. Kun Peng, Colin Boyd, Ed Dawson
2007	—	`conf`	Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. ACSC Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
2007	J	`jnl`	Denial-of-service resistance in key establishment. Int. J. Wirel. Mob. Comput. Jason Smith, Suratose Tritilanunt, Colin Boyd, Juan Manuel González Nieto, Ernest Foo
2007	—	`conf`	HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. EUC Workshops JaeCheol Ha, Hwankoo Kim, JeaHoon Park, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
2007	—	`conf`	Low-Cost and Strong-Security RFID Authentication Protocol. EUC Workshops JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
2007	C	`conf`	On the Connection Between Signcryption and One-Pass Key Establishment. IMACC M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
2007	—	`conf`	Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). PAKDD Workshops JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd
2007	B	`conf`	Toward Non-parallelizable Client Puzzles. CANS Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
2007	C	`conf`	Verifier-Key-Flexible Universal Designated-Verifier Signatures. IMACC Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto
2006	Misc	`conf`	A Novel Range Test. ACISP Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto
2006	B	`conf`	A Secure E-Tender Submission Protocol. TrustBus Rong Du, Colin Boyd, Ernest Foo
2006	Misc	`conf`	An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys. ACISP Colin Boyd, Kim-Kwang Raymond Choo, Anish Mathuria
2006	J	`jnl`	Batch verification of validity of bids in homomorphic e-auction. Comput. Commun. Kun Peng, Colin Boyd, Ed Dawson
2006	B	`conf`	Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. CANS Jaimee Brown, Juan Manuel González Nieto, Colin Boyd
2006	Misc	`conf`	Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. INDOCRYPT Jaimee Brown, Juan Manuel González Nieto, Colin Boyd
2006	—	`conf`	Examining the DoS Resistance of HIP. OTM Workshops (1) Suratose Tritilanunt, Colin Boyd, Ernest Foo, Juan Manuel González Nieto
2006	—	`conf`	Formal analysis of secure contracting protocol for e-tendering. ACSW Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond Choo
2006	—	`conf`	LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System. ICUCT JaeCheol Ha, JungHoon Ha, Sang-Jae Moon, Colin Boyd
2006	—	`conf`	Modelling denial of service attacks on JFK with Meadows's cost-based framework. ACSW Jason Smith, Juan Manuel González Nieto, Colin Boyd
2006	J	`jnl`	Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. Appl. Algebra Eng. Commun. Comput. Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
2006	B	`conf`	Password Based Server Aided Key Exchange . ACNS Yvonne Cliff, Yiu Shing Terry Tin, Colin Boyd
2006	—	`conf`	SKMA: a key management architecture for SCADA systems. ACSW Robert Dawson, Colin Boyd, Ed Dawson, Juan Manuel González Nieto
2006	Misc	`conf`	Sealed-Bid Micro Auctions. SEC Kun Peng, Colin Boyd, Ed Dawson
2006	—	`conf`	Security-Mediated Certificateless Cryptography. Public Key Cryptography Sherman S. M. Chow, Colin Boyd, Juan Manuel González Nieto
2006	J	`jnl`	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. Comput. Commun. Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	C	`conf`	A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption. ISC Kun Peng, Colin Boyd, Ed Dawson
2005	J	`jnl`	A Public Key Cryptosystem Based On A Subgroup Membership Problem. Des. Codes Cryptogr. Juan Manuel González Nieto, Colin Boyd, Ed Dawson
2005	J	`jnl`	Batch Verification of Validity of Bids in Homomorphic E-auction. IACR Cryptol. ePrint Arch. Kun Peng, Colin Boyd, Ed Dawson
2005	C	`conf`	Ciphertext Comparison, a New Solution to the Millionaire Problem. ICICS Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee
2005	B	`conf`	Designing Secure E-Tendering Systems. TrustBus Rong Du, Ernest Foo, Juan Manuel González Nieto, Colin Boyd
2005	A	`conf`	Errors in Computational Complexity Proofs for Protocols. ASIACRYPT Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	J	`jnl`	Errors in Computational Complexity Proofs for Protocols. IACR Cryptol. ePrint Arch. Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	A	`conf`	Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. ASIACRYPT Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	J	`jnl`	Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. IACR Cryptol. ePrint Arch. Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	Misc	`ed.`	Information Security and Privacy, 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings ACISP Colin Boyd, Juan Manuel González Nieto
2005	—	`conf`	On Session Key Construction in Provably-Secure Key Establishment Protocols. Mycrypt Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	J	`jnl`	On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols. IACR Cryptol. ePrint Arch. Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock
2005	—	`conf`	Optimization of Electronic First-Bid Sealed-Bid Auction Based on Homomorphic Secret Sharing. Mycrypt Kun Peng, Colin Boyd, Ed Dawson
2005	J	`jnl`	Preface to the special issue on ISC 2003. Int. J. Inf. Sec. Colin Boyd, Wenbo Mao
2005	—	`conf`	Security of Two-Party Identity-Based Key Agreement. Mycrypt Colin Boyd, Kim-Kwang Raymond Choo
2005	A*	`conf`	Simple and Efficient Shuffling with Provable Correctness and ZK Privacy. CRYPTO Kun Peng, Colin Boyd, Ed Dawson
2005	J	`jnl`	Two models of efficient Mixnet-based receipt-free voting using (threshold) re-encryption. Comput. Syst. Sci. Eng. Riza Aditya, Byoungcheon Lee, Colin Boyd, Ed Dawson
2004	—	`conf`	A Correct, Private, and Efficient Mix Network. Public Key Cryptography Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan
2004	—	`conf`	A Secure Framework for User Privacy in Heterogeneous Location Networks. MATA Harikrishna Vasanta, Yiu Shing Terry Tin, Colin Boyd, Mark Looi, Juan Manuel González Nieto
2004	—	`conf`	A Secure and Efficient Mix-Network using Extended Binary Mixing Gate. Cryptographic Algorithms and their Uses Kun Peng, Riza Aditya, Colin Boyd, Ed Dawson, Byoungcheon Lee
2004	B	`conf`	An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness. TrustBus Riza Aditya, Byoungcheon Lee, Colin Boyd, Ed Dawson
2004	—	`conf`	An Efficient Off-Line Reputation Scheme Using Articulated Certificates. WOSIS Roslan Ismail, Colin Boyd, Audun Jøsang, Selwyn Russell
2004	Misc	`conf`	An Efficient and Verifiable Solution to the Millionaire Problem. ICISC Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee
2004	B	`conf`	Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. ACNS Riza Aditya, Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee
2004	—	`conf`	Complementing Computational Protocol Analysis with Formal Specifications. Formal Aspects in Security and Trust Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004	—	`conf`	Defining Security Services for Electronic Tendering. ACSW Rong Du, Ernest Foo, Colin Boyd, Brian Fitzgerald
2004	Misc	`conf`	Design of Secure Key Establishment Protocols: Successes, Failures and Prospects. INDOCRYPT Colin Boyd
2004	B	`conf`	Key Agreement Using Statically Keyed Authenticators. ACNS Colin Boyd, Wenbo Mao, Kenneth G. Paterson
2004	Misc	`conf`	Multiplicative Homomorphic E-Voting. INDOCRYPT Kun Peng, Riza Aditya, Colin Boyd, Ed Dawson, Byoungcheon Lee
2004	Misc	`conf`	On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. SCN Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004	J	`jnl`	On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. IACR Cryptol. ePrint Arch. Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland
2004	—	`conf`	Private Reputation Schemes for P2P systems. WOSIS Roslan Ismail, Colin Boyd, Audun Jøsang, Selwyn Russell
2004	Misc	`conf`	Protocols with Security Proofs for Mobile Applications. ACISP Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Boyd, Juan Manuel González Nieto
2004	—	`conf`	Secure Key Issuing in ID-based Cryptography. ACSW Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo
2004	Misc	`conf`	Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. INDOCRYPT Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto
2003	Misc	`conf`	A Password-Based Authenticator: Security Proof and Applications. INDOCRYPT Yvonne Hitchcock, Yiu Shing Terry Tin, Juan Manuel González Nieto, Colin Boyd, Paul Montague
2003	—	`conf`	A Security Architecture for Reputation Systems. EC-Web Roslan Ismail, Colin Boyd, Audun Jøsang, Selwyn Russell
2003	—	`conf`	Deniable Authenticated Key Establishment for Internet Protocols. Security Protocols Workshop Colin Boyd, Wenbo Mao, Kenneth G. Paterson
2003	Misc	`conf`	Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction. WISA Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan
2003	—	`conf`	Five Sealed-bid Auction Models. ACSW Kun Peng, Colin Boyd, Ed Dawson, Kapali Viswanathan
2003	C	`ed.`	Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings ISC Colin Boyd, Wenbo Mao
2003	—	`book`	Protocols for Authentication and Key Establishment Colin Boyd, Anish Mathuria
2003	—	`conf`	Provably Secure Key Exchange: An Engineering Approach. ACSW Yiu Shing Terry Tin, Colin Boyd, Juanma González Nieto
2003	Misc	`conf`	Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. ACISP Yiu Shing Terry Tin, Colin Boyd, Juan Manuel González Nieto
2003	Misc	`conf`	Providing Receipt-Freeness in Mixnet-Based Voting Protocols. ICISC Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo
2003	—	`conf`	Round-Optimal Contributory Conference Key Agreement. Public Key Cryptography Colin Boyd, Juan Manuel González Nieto
2003	—	`conf`	Secure e-Voting for Preferential Elections. EGOV Riza Aditya, Colin Boyd, Ed Dawson, Kapali Viswanathan
2002	—	`conf`	A Provably Secure Restrictive Partially Blind Signature Scheme. Public Key Cryptography Greg Maitland, Colin Boyd
2002	B	`conf`	Co-operatively Formed Group Signatures. CT-RSA Greg Maitland, Colin Boyd
2002	J	`jnl`	Compliant cryptologic protocols. Int. J. Inf. Sec. Ed Dawson, Kapali Viswanathan, Colin Boyd
2002	J	`jnl`	Hybrid Key Escrow: A New Paradigm. Comput. Secur. Kapali Viswanathan, Colin Boyd, Ed Dawson
2002	J	`jnl`	Key recovery for the commercial environment. Int. J. Inf. Sec. Juan Manuel González Nieto, Kapali Viswanathan, Colin Boyd, Andrew J. Clark, Ed Dawson
2002	Misc	`conf`	Non-interactive Auction Schemewith Strong Privacy. ICISC Kun Peng, Colin Boyd, Ed Dawson, Kapali Viswanathan
2002	C	`conf`	Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction. ICICS Kun Peng, Colin Boyd, Ed Dawson, Kapali Viswanathan
2002	—	`conf`	Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis. FASec Colin Boyd, Kapali Viswanathan
2001	C	`conf`	A Public Key Cryptosystem Based on the Subgroup Membership Problem. ICICS Juan Manuel González Nieto, Colin Boyd, Ed Dawson
2001	A	`ed.`	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 ASIACRYPT Colin Boyd
2001	Misc	`conf`	An Analysis of Integrity Services in Protocols. INDOCRYPT Kapali Viswanathan, Colin Boyd, Ed Dawson
2001	Misc	`conf`	Attacks Based on Small Factors in Various Group Structures. ACISP Chris Pavlovski, Colin Boyd
2001	Misc	`conf`	Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks. ACISP DongGook Park, JungJoon Kim, Colin Boyd, Ed Dawson
2001	Misc	`conf`	Elliptic Curve Based Password Authenticated Key Exchange Protocols. ACISP Colin Boyd, Paul Montague, Khanh Quoc Nguyen
2001	C	`conf`	Fair Electronic Cash Based on a Group Signature Scheme. ICICS Greg Maitland, Colin Boyd
2000	Misc	`conf`	A Three Phased Schema for Sealed Bid Auction System Design. ACISP Kapali Viswanathan, Colin Boyd, Ed Dawson
2000	A	`conf`	Attacking and Repairing Batch Verification Schemes. ASIACRYPT Colin Boyd, Chris Pavlovski
2000	—	`conf`	Classification of Authentication Protocols: A Practical Approach. ISW DongGook Park, Colin Boyd, Ed Dawson
2000	—	`conf`	Exploring Fair Exchange Protocols Using Specification Animation. ISW Colin Boyd, Peter Kearney
2000	—	`conf`	Forward Secrecy and Its Application to Future Mobile Communications Security. Public Key Cryptography DongGook Park, Colin Boyd, Sang-Jae Moon
2000	Misc	`ed.`	Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings ACISP Ed Dawson, Andrew J. Clark, Colin Boyd
2000	Misc	`conf`	Key Recovery System for the Commercial Environment. ACISP Juanma González Nieto, Kapali Viswanathan, Colin Boyd, Ed Dawson
2000	—	`conf`	Key Recovery in Third Generation Wireless Communication Systems. Public Key Cryptography Juanma González Nieto, DongGook Park, Colin Boyd, Ed Dawson
2000	J	`jnl`	Key establishment protocols for secure mobile communications: a critical survey. Comput. Commun. Colin Boyd, Anish Mathuria
2000	—	`conf`	Linkability in Practical Electronic Cash Design. ISW Greg Maitland, Jason Reid, Ernest Foo, Colin Boyd, Ed Dawson
2000	Misc	`conf`	Micropayments for Wireless Communications. ICISC DongGook Park, Colin Boyd, Ed Dawson
2000	Misc	`conf`	Passive Entities: A Strategy for Electronic Payment Design. ACISP Ernest Foo, Colin Boyd
1999	C	`conf`	A Unified Code. IMACC Xian Liu, Patrick Guy Farrell, Colin Boyd
1999	C	`conf`	Detachable Electronic Coins. ICICS Chris Pavlovski, Colin Boyd, Ernest Foo
1999	Misc	`conf`	Efficient Electronic Cash Using Batch Signatures. ACISP Colin Boyd, Ernest Foo, Chris Pavlovski
1999	Misc	`conf`	Publicly Verifiable Key Escrow with Limited Time Span. ACISP Kapali Viswanathan, Colin Boyd, Ed Dawson
1999	Misc	`conf`	Secure Selection Protocols. ICISC Kapali Viswanathan, Colin Boyd, Ed Dawson
1999	C	`conf`	Signature Scheme for Controlled Environments. ICICS Kapali Viswanathan, Colin Boyd, Ed Dawson
1999	—	`conf`	Strong Binding for Software Key Escrow. ICPP Workshops Kapali Viswanathan, Colin Boyd, Ed Dawson
1998	—	`conf`	A Payment Scheme Using Vouchers. Financial Cryptography Ernest Foo, Colin Boyd
1998	Misc	`conf`	A security architecture for third generation wireless systems. ICISC Gary Gaskell, Mark Looi, Ed Dawson, Colin Boyd, Selwyn Russell
1998	Misc	`ed.`	Information Security and Privacy, Third Australasian Conference, ACISP'98, Brisbane, Queensland, Australia, July 1998, Proceedings ACISP Colin Boyd, Ed Dawson
1998	Misc	`conf`	Key Establishment Protocols for Secure Mobile Communications: A Selective Survey. ACISP Colin Boyd, Anish Mathuria
1998	A	`conf`	Off-Line Fair Payment Protocols Using Convertible Signatures. ASIACRYPT Colin Boyd, Ernest Foo
1998	Misc	`conf`	Public key protocols for wireless communications. ICISC Colin Boyd, DongGook Park
1997	Misc	`conf`	A taxonomy of electronic cash schemes. SEC Ernest Foo, Colin Boyd, William J. Caelli, Ed Dawson
1997	Misc	`conf`	Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes. ACISP Jen Lim, Colin Boyd, Ed Dawson
1997	C	`conf`	Digital signature and public key cryptosystems in a prime order subgroup of Z ICICS Colin Boyd
1997	C	`conf`	Enforcing traceability in software. ICICS Colin Boyd
1997	J	`jnl`	Integrating error detection into arithmetic coding. IEEE Trans. Commun. Colin Boyd, John G. Cleary, Sean A. Irvine, Ingrid Rinsma-Melchert, Ian H. Witten
1997	Misc	`conf`	On Key Agreement and Conference Key Agreement. ACISP Colin Boyd
1997	C	`conf`	Resisting the Bergen-Hogan Attack on Adaptive Arithmetic Coding. IMACC Xian Liu, Patrick Guy Farrell, Colin Boyd
1996	—	`conf`	A Class of Flexible and Efficient Key Management Protocols. CSFW Colin Boyd
1996	Misc	`conf`	A Framework for Design of Key Establishment Protocols. ACISP Colin Boyd
1995	C	`conf`	An Elliptic Curve Analogue of McCurley's Key Agreement Scheme. IMACC Andrew Smith, Colin Boyd
1995	C	`ed.`	Cryptography and Coding, 5th IMA Conference, Cirencester, UK, December 18-20, 1995, Proceedings IMACC Colin Boyd
1995	—	`conf`	Towards a classification of key agreement protocols. CSFW Colin Boyd
1994	A	`conf`	Design and Analysis of Key Exchange Protocols via Secure Channel Identification. ASIACRYPT Colin Boyd, Wenbo Mao
1994	A	`conf`	Designing Secure Key Exchange Protocols. ESORICS Colin Boyd, Wenbo Mao
1994	—	`conf`	Development of Authentication Protocols: Some Misconceptions and a New Approach. CSFW Wenbo Mao, Colin Boyd
1994	A	`conf`	On Strengthening Authentication Protocols to Foil Cryptanalysis. ESORICS Wenbo Mao, Colin Boyd
1993	A*	`conf`	On a Limitation of BAN Logic. EUROCRYPT Colin Boyd, Wenbo Mao
1993	J	`jnl`	Security Architectures Using Formal Methods. IEEE J. Sel. Areas Commun. Colin Boyd
1993	—	`conf`	Towards Formal Analysis of Security Protocols. CSFW Wenbo Mao, Colin Boyd
1992	A	`conf`	A Formal Framework for Authentication. ESORICS Colin Boyd
1991	A*	`conf`	Enhancing Secrecy by Data Compression: Theoretical and Practical Aspects. EUROCRYPT Colin Boyd
1989	A*	`conf`	A New Multiple Key Cipher and an Improved Voting Scheme. EUROCRYPT Colin Boyd
1988	A*	`conf`	Some Applications of Multiple Key Ciphers. EUROCRYPT Colin Boyd