SafeLib: A Comprehensive Framework for Secure Outsourcing of Network Functions.

Colin Boyd Queensland University of Technology, Brisbane, Australia http://sky.fit.qut.edu.au/~boydc/ https://scholar.google.com/citations?user=CIfBKmMAAAAJ https://www.wikidata.org/entity/Q21767541 https://id.loc.gov/authorities/names/n95110836 https://d-nb.info/gnd/1036721086 https://dl.acm.org/profile/81100112037 https://mathgenealogy.org/id.php?id=18983 https://zbmath.org/authors/?q=ai:boyd.colin-a

Enio Marku Colin Boyd Gergely Biczók SafeLib: A Comprehensive Framework for Secure Outsourcing of Network Functions. 2181-2198 2025 April 22 IEEE Trans. Netw. Serv. Manag. 2 https://doi.org/10.1109/TNSM.2024.3520817 db/journals/tnsm/tnsm22.html#MarkuBB25 streams/journals/tnsm

Qinyi Li Lise Millerjord Colin Boyd TEAKEX: TESLA-Authenticated Group Key Exchange. 289-309 2025 ACISP (1) https://doi.org/10.1007/978-981-96-9095-4_15 conf/acisp/2025 db/conf/acisp/acisp2025-1.html#LiMB25 streams/conf/acisp Colin Boyd Reihaneh Safavi-Naini Leonie Simpson Remembering Ed Dawson. 3-22 2025 Information Security in a Connected World https://doi.org/10.1007/978-3-031-83490-5_1 conf/birthday/dawson2025 db/conf/birthday/dawson2025.html#BoydSS25 Colin Boyd Reihaneh Safavi-Naini Leonie Simpson Information Security in a Connected World - Celebrating the Life and Work of Ed Dawson Information Security in a Connected World Springer 2025 Lecture Notes in Computer Science 15600 978-3-031-83489-9 978-3-031-83490-5 https://doi.org/10.1007/978-3-031-83490-5 db/conf/birthday/dawson2025.html

Qinyi Li Lise Millerjord Colin Boyd TEAKEX: TESLA-Authenticated Group Key Exchange. 1005 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/1005 db/journals/iacr/iacr2025.html#LiMB25 streams/journals/iacr

Colin Boyd Bor de Kock Lise Millerjord Modular Design of KEM-Based Authenticated Key Exchange. 553-579 2023 ACISP https://doi.org/10.1007/978-3-031-35486-1_24 conf/acisp/2023 db/conf/acisp/acisp2023.html#BoydKM23 Colin Boyd Elsie Mestl Fondevik Kristian Gjøsteen Lise Millerjord Hybrid Group Key Exchange with Application to Constrained Networks. 455-472 2023 ISC https://doi.org/10.1007/978-3-031-49187-0_23 conf/isw/2023 db/conf/isw/isc2023.html#BoydFGM23

Colin Boyd Bor de Kock Lise Millerjord Modular Design of KEM-Based Authenticated Key Exchange. 167 2023 2023 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2023/167 db/journals/iacr/iacr2023.html#BoydKM23

Colin Boyd Kai Gellert A Modern View on Forward Security. 639-652 2021 64 Comput. J. 4 https://doi.org/10.1093/comjnl/bxaa104 https://www.wikidata.org/entity/Q115000217 db/journals/cj/cj64.html#BoydG21

Colin Boyd Introduction to the Special Issue on TLS 1.3. 24 2021 34 J. Cryptol. 3 https://doi.org/10.1007/s00145-021-09386-z db/journals/joc/joc34.html#Boyd21

Colin Boyd Gareth T. Davies Bor de Kock Kai Gellert Tibor Jager Lise Millerjord Symmetric Key Exchange with Full Forward Security and Robust Synchronization. 681-710 2021 ASIACRYPT (4) https://doi.org/10.1007/978-3-030-92068-5_23 conf/asiacrypt/2021-4 db/conf/asiacrypt/asiacrypt2021-4.html#BoydDKGJM21 Enio Marku Gergely Biczók Colin Boyd SafeLib: a practical library for outsourcing stateful network functions securely. 244-252 2021 NetSoft https://doi.org/10.1109/NetSoft51509.2021.9492579 conf/netsoft/2021 db/conf/netsoft/netsoft2021.html#MarkuBB21

Colin Boyd Gareth T. Davies Bor de Kock Kai Gellert Tibor Jager Lise Millerjord Symmetric Key Exchange with Full Forward Security and Robust Synchronization. 702 2021 2021 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2021/702 db/journals/iacr/iacr2021.html#BoydDKGJM21

Colin Boyd Anish Mathuria Douglas Stebila Protocols for Authentication and Key Establishment, Second Edition Springer 2020 1-440 Information Security and Cryptography 978-3-662-58145-2 https://doi.org/10.1007/978-3-662-58146-9

Enio Marku Gergely Biczók Colin Boyd Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions. 72-77 2020 58 IEEE Commun. Mag. 7 https://doi.org/10.1109/MCOM.001.1900724 db/journals/cm/cm58.html#MarkuBB20

Man Ho Au Jinguang Han Qianhong Wu Colin Boyd Special Issue on Cryptographic Currency and Blockchain Technology. 758-759 2020 107 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2019.06.001 https://www.wikidata.org/entity/Q114848502 db/journals/fgcs/fgcs107.html#AuHWB20

Colin Boyd Kristian Gjøsteen Shuang Wu A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. 5:1-5:13 2020 FMBC@CAV https://doi.org/10.4230/OASIcs.FMBC.2020.5 conf/cav/2020fmbc db/conf/cav/fmbc2020.html#BoydGW20 Colin Boyd Gareth T. Davies Kristian Gjøsteen Yao Jiang 0001 Fast and Secure Updatable Encryption. 464-493 2020 CRYPTO (1) https://doi.org/10.1007/978-3-030-56784-2_16 conf/crypto/2020-1 db/conf/crypto/crypto2020-1.html#BoydDGJ20 Colin Boyd Thomas Haines Peter B. Rønne Vote Selling Resistant Voting. 345-359 2020 Financial Cryptography Workshops https://doi.org/10.1007/978-3-030-54455-3_25 conf/fc/2020w db/conf/fc/fc2020w.html#BoydHR20 Colin Boyd Kristian Gjøsteen Clémentine Gritti Thomas Haines A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. 250-270 2019 INDOCRYPT https://doi.org/10.1007/978-3-030-35423-7_13 conf/indocrypt/2019 db/conf/indocrypt/indocrypt2019.html#BoydGGH19 Enio Marku Gergely Biczók Colin Boyd Towards protected VNFs for multi-operator service delivery. 19-23 2019 NetSoft https://doi.org/10.1109/NETSOFT.2019.8806681 conf/netsoft/2019 db/conf/netsoft/netsoft2019.html#MarkuBB19

Colin Boyd Kai Gellert A Modern View on Forward Security. 1362 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/1362 db/journals/iacr/iacr2019.html#BoydG19

Colin Boyd Gareth T. Davies Kristian Gjøsteen Yao Jiang 0001 RISE and SHINE: Fast and Secure Updatable Encryption. 1457 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/1457 db/journals/iacr/iacr2019.html#BoydDGJ19

Colin Boyd Gareth T. Davies Kristian Gjøsteen Håvard Raddum Mohsen Toorani Definitions for Plaintext-Existence Hiding in Cloud Storage. 41:1-41:7 2018 ARES https://doi.org/10.1145/3230833.3234515 conf/IEEEares/2018 db/conf/IEEEares/ares2018.html#BoydDGRT18 Halldis Sohoel Martin Gilje Jaatun Colin Boyd OWASP Top 10 - Do Startups Care? 1-8 2018 Cyber Security https://doi.org/10.1109/CyberSecPODS.2018.8560666 conf/cybersecpods/2018 db/conf/cybersecpods/cybersecpods2018.html#SohoelJB18 Colin Boyd Christopher Carr Valuable Puzzles for Proofs-of-Work. 130-139 2018 DPM/CBT@ESORICS https://doi.org/10.1007/978-3-030-00305-0_10 conf/esorics/2018dpm db/conf/esorics/dpm2018.html#BoydC18 Colin Boyd Gareth T. Davies Kristian Gjøsteen Yao Jiang 0001 Offline Assisted Group Key Exchange. 268-285 2018 ISC https://doi.org/10.1007/978-3-319-99136-8_15 conf/isw/2018 db/conf/isw/isc2018.html#BoydDGJ18 Colin Boyd Gareth T. Davies Kristian Gjøsteen Håvard Raddum Mohsen Toorani Security Notions for Cloud Storage and Deduplication. 347-365 2018 ProvSec https://doi.org/10.1007/978-3-030-01446-9_20 conf/provsec/2018 db/conf/provsec/provsec2018.html#BoydDGRT18

Colin Boyd Gareth T. Davies Kristian Gjøsteen Yao Jiang 0001 Offline Assisted Group Key Exchange. 114 2018 2018 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2018/114 db/journals/iacr/iacr2018.html#BoydDGJ18

Colin Boyd Gareth T. Davies Kristian Gjøsteen Håvard Raddum Mohsen Toorani Definitions for Plaintext-Existence Hiding in Cloud Storage. 748 2018 2018 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2018/748 db/journals/iacr/iacr2018.html#BoydDGRT18

Kenneth Radke Colin Boyd Security Proofs for Protocols Involving Humans. 527-540 2017 60 Comput. J. 4 https://doi.org/10.1093/comjnl/bxw066 https://www.wikidata.org/entity/Q113820452 db/journals/cj/cj60.html#RadkeB17

Colin Boyd Cas Cremers Michèle Feltz Kenneth G. Paterson Bertram Poettering Douglas Stebila ASICS: authenticated key exchange security incorporating certification systems. 151-171 2017 16 Int. J. Inf. Sec. 2 https://doi.org/10.1007/s10207-015-0312-y db/journals/ijisec/ijisec16.html#BoydCFPPS17

Frederik Armknecht Colin Boyd Gareth T. Davies Kristian Gjøsteen Mohsen Toorani Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. 266-274 2017 AsiaCCS https://doi.org/10.1145/3052973.3053019 conf/ccs/2017asia db/conf/ccs/asiaccs2017.html#ArmknechtBDGT17 Colin Boyd Britta Hale Secure Channels and Termination: The Last Word on TLS. 44-65 2017 LATINCRYPT https://doi.org/10.1007/978-3-030-25283-0_3 conf/latincrypt/2017 db/conf/latincrypt/latincrypt2017.html#BoydH17

Christopher Carr Colin Boyd Xavier Boyen Thomas Haines Bitcoin Unchained. 2017 2017 ERCIM News 110 https://ercim-news.ercim.eu/en110/special/bitcoin-unchained db/journals/ercim/ercim2017.html#CarrBBH17

Colin Boyd Xavier Boyen Christopher Carr Thomas Haines Key Recovery: Inert and Public. 243 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/243 db/journals/iacr/iacr2017.html#BoydBCH17

Colin Boyd Britta Hale Secure Channels and Termination: The Last Word on TLS. 784 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/784 db/journals/iacr/iacr2017.html#BoydH17

Colin Boyd Gareth T. Davies Kristian Gjøsteen Mohsen Toorani Håvard Raddum Security notions for cloud storage and deduplication. 1208 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/1208 db/journals/iacr/iacr2017.html#BoydDGTR17

Hussain Nyeem Wageeh W. Boles Colin Boyd Modelling attacks on self-authentication watermarking. 15849-15880 2016 75 Multim. Tools Appl. 23 https://doi.org/10.1007/s11042-015-2893-x db/journals/mta/mta75.html#NyeemBB16

Colin Boyd Christopher Carr Fair Client Puzzles from the Bitcoin Blockchain. 161-177 2016 ACISP (1) https://doi.org/10.1007/978-3-319-40253-6_10 https://www.wikidata.org/entity/Q111689753 conf/acisp/2016-1 db/conf/acisp/acisp2016-1.html#BoydC16 Colin Boyd Britta Hale Stig Frode Mjølsnes Douglas Stebila From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. 55-71 2016 CT-RSA https://doi.org/10.1007/978-3-319-29485-8_4 conf/ctrsa/2016 db/conf/ctrsa/ctrsa2016.html#BoydHMS16 Colin Boyd Xavier Boyen Christopher Carr Thomas Haines Key Recovery: Inert and Public. 111-126 2016 Mycrypt https://doi.org/10.1007/978-3-319-61273-7_6 conf/mycrypt/2016 db/conf/mycrypt/mycrypt2016.html#BoydBCH16 Gergely Biczók Balázs Sonkoly Nikolett Bereczky Colin Boyd Private VNFs for collaborative multi-operator service delivery: An architectural case. 1249-1252 2016 NOMS https://doi.org/10.1109/NOMS.2016.7502996 conf/noms/2016 db/conf/noms/noms2016.html#BiczokSBB16

Colin Boyd Gareth T. Davies Kristian Gjøsteen Håvard Raddum Mohsen Toorani Using Cryptography to Control Your Data at a Distance. 2016 2016 ERCIM News 106 http://ercim-news.ercim.eu/en106/special/using-cryptography-to-control-your-data-at-a-distance db/journals/ercim/ercim2016.html#BoydDGRT16

Colin Boyd Christopher Carr Fair Client Puzzles from the Bitcoin Blockchain. 680 2016 2016 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2016/680 db/journals/iacr/iacr2016.html#BoydC16

Frederik Armknecht Colin Boyd Gareth T. Davies Kristian Gjøsteen Mohsen Toorani Side channels in deduplication: trade-offs between leakage and efficiency. 977 2016 2016 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2016/977 db/journals/iacr/iacr2016.html#ArmknechtBDGT16

Kenneth Radke Colin Boyd Juan Manuel González Nieto Harry Bartlett CHURNs: Freshness Assurance for Humans. 2404-2425 2015 58 Comput. J. 10 https://doi.org/10.1093/comjnl/bxu073 db/journals/cj/cj58.html#RadkeBNB15

Younes Seifi Suriadi Suriadi Ernest Foo Colin Boyd Analysis of two authorization protocols using Colored Petri Nets. 221-247 2015 14 Int. J. Inf. Sec. 3 https://doi.org/10.1007/s10207-014-0243-z db/journals/ijisec/ijisec14.html#SeifiSFB15

Maryam Rajabzadeh Asaar Mahmoud Salmasizadeh Colin Boyd Identity-based proxy signatures: a generic construction and a concrete scheme from RSA. 3602-3614 2015 8 Secur. Commun. Networks 18 https://doi.org/10.1002/sec.1284 db/journals/scn/scn8.html#AsaarSB15

Janaka Alawatugoda 0001 Douglas Stebila Colin Boyd Protecting Encrypted Cookies from Compression Side-Channel Attacks. 86-106 2015 Financial Cryptography https://doi.org/10.1007/978-3-662-47854-7_6 conf/fc/2015 db/conf/fc/fc2015.html#AlawatugodaSB15 Janaka Alawatugoda 0001 Douglas Stebila Colin Boyd Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange. 277-294 2015 IMACC https://doi.org/10.1007/978-3-319-27239-9_17 conf/ima/2015 db/conf/ima/ima2015.html#AlawatugodaSB15

Janaka Alawatugoda 0001 Colin Boyd Douglas Stebila Continuous After-the-fact Leakage-Resilient eCK-secure Key Exchange. 335 2015 2015 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2015/335 db/journals/iacr/iacr2015.html#AlawatugodaBS15

Chris Pavlovski Colin Boyd Microcash: Efficient Off-Line Small Payments. 635 2015 2015 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2015/635 db/journals/iacr/iacr2015.html#PavlovskiB15

Colin Boyd Britta Hale Stig Frode Mjølsnes Douglas Stebila From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. 1150 2015 2015 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2015/1150 db/journals/iacr/iacr2015.html#BoydHMS15

Frederik Armknecht Colin Boyd Christopher Carr Kristian Gjøsteen Angela Jäschke Christian A. Reuter Martin Strand 0001 A Guide to Fully Homomorphic Encryption. 1192 2015 2015 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2015/1192 db/journals/iacr/iacr2015.html#ArmknechtBCGJRS15

Long Ngo Colin Boyd Juan Manuel González Nieto Automated Proofs for Computational Indistinguishability. 1513-1536 2014 57 Comput. J. 10 https://doi.org/10.1093/comjnl/bxt078 db/journals/cj/cj57.html#NgoBN14

Hussain Nyeem Wageeh W. Boles Colin Boyd Digital image watermarking: its formal model, fundamental properties and possible attacks. 135 2014 2014 EURASIP J. Adv. Signal Process. https://doi.org/10.1186/1687-6180-2014-135 https://www.wikidata.org/entity/Q59321161 db/journals/ejasp/ejasp2014.html#NyeemBB14

Aiiad Albeshri Colin Boyd Juan Manuel González Nieto Enhanced GeoProof: improved geographic assurance for data in the cloud. 191-198 2014 13 Int. J. Inf. Sec. 2 https://doi.org/10.1007/s10207-013-0217-6 https://www.wikidata.org/entity/Q115147864 db/journals/ijisec/ijisec13.html#AlbeshriBN14

Younes Seifi Suriadi Suriadi Ernest Foo Colin Boyd Security properties analysis in a TPM-based protocol. 85-103 2014 9 Int. J. Secur. Networks 2 https://doi.org/10.1504/IJSN.2014.060742 db/journals/ijsn/ijsn9.html#SeifiSFB14

Janaka Alawatugoda 0001 Colin Boyd Douglas Stebila Continuous After-the-Fact Leakage-Resilient Key Exchange. 258-273 2014 ACISP https://doi.org/10.1007/978-3-319-08344-5_17 conf/acisp/2014 db/conf/acisp/acisp2014.html#AlawatugodaBS14 Kenneth Radke Colin Boyd Juanma González Nieto Mark Manulis Douglas Stebila Formalising Human Recognition: a Fundamental Building Block for Security Proofs. 37-45 2014 AISC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV149Radke.html conf/auisc/2014 db/conf/auisc/auisc2014.html#RadkeBNMS14 Janaka Alawatugoda 0001 Douglas Stebila Colin Boyd Modelling after-the-fact leakage for key exchange. 207-216 2014 AsiaCCS https://doi.org/10.1145/2590296.2590317 https://www.wikidata.org/entity/Q130957564 conf/ccs/2014asia db/conf/ccs/asiaccs2014.html#AlawatugodaSB14 Mats Sandvoll Colin Boyd Bjørn B. Larsen PassCue: The Shared Cues System in Practice. 119-137 2014 PASSWORDS https://doi.org/10.1007/978-3-319-24192-0_8 conf/passwords/2014 db/conf/passwords/passwords2014.html#SandvollBL14 Britta Hale Colin Boyd Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. 236-255 2014 SSR https://doi.org/10.1007/978-3-319-14054-4_14 conf/secsr/2014 db/conf/secsr/ssr2014.html#HaleB14

Janaka Alawatugoda 0001 Douglas Stebila Colin Boyd Modelling After-the-fact Leakage for Key Exchange. 131 2014 2014 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2014/131 db/journals/iacr/iacr2014.html#AlawatugodaSB14

Janaka Alawatugoda 0001 Colin Boyd Douglas Stebila Continuous After-the-fact Leakage-Resilient Key Exchange (full version). 264 2014 2014 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2014/264 db/journals/iacr/iacr2014.html#AlawatugodaBS14

Janaka Alawatugoda 0001 Douglas Stebila Colin Boyd Protecting Encrypted Cookies from Compression Side-Channel Attacks. 724 2014 2014 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2014/724 db/journals/iacr/iacr2014.html#AlawatugodaSB14a

Hussain Nyeem Wageeh W. Boles Colin Boyd A Review of Medical Image Watermarking Requirements for Teleradiology. 326-343 2013 26 J. Digit. Imaging 2 https://doi.org/10.1007/s10278-012-9527-x https://www.wikidata.org/entity/Q36685642 db/journals/jdi/jdi26.html#NyeemBB13

Colin Boyd Cryptography in the Cloud: Advances and Challenges. 17-23 2013 11 J. Inform. and Commun. Convergence Engineering 1 https://doi.org/10.6109/jicce.2013.11.1.017 db/journals/jicce/jicce11.html#Boyd13

Dongdong Sun Colin Boyd Juan Manuel González Nieto Predicate encryption for multi-inner-products. 325-339 2013 6 Secur. Commun. Networks 3 https://doi.org/10.1002/sec.566 https://www.wikidata.org/entity/Q121891995 db/journals/scn/scn6.html#SunBN13

Hussain Nyeem Wageeh W. Boles Colin Boyd Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking. 1-8 2013 DICTA https://doi.org/10.1109/DICTA.2013.6691538 conf/dicta/2013 db/conf/dicta/dicta2013.html#NyeemBB13 Colin Boyd Cas Cremers Michèle Feltz Kenneth G. Paterson Bertram Poettering Douglas Stebila ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. 381-399 2013 ESORICS https://doi.org/10.1007/978-3-642-40203-6_22 conf/esorics/2013 db/conf/esorics/esorics2013.html#BoydCFPPS13 Kenneth Radke Colin Boyd Juan Manuel González Nieto Laurie Buys "Who decides?": security and privacy in the wild. 27-36 2013 OZCHI https://doi.org/10.1145/2541016.2541043 conf/ozchi/2013 db/conf/ozchi/ozchi2013.html#RadkeBNB13 Hussain Nyeem Wageeh W. Boles Colin Boyd Counterfeiting attacks on block-wise dependent fragile watermarking schemes. 86-93 2013 SIN https://doi.org/10.1145/2523514.2523530 conf/sin/2013 db/conf/sin/sin2013.html#NyeemBB13 Colin Boyd Leonie Simpson Information Security and Privacy - 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings 2013 Springer Lecture Notes in Computer Science 7959 https://doi.org/10.1007/978-3-642-39059-3 978-3-642-39058-6 ACISP db/conf/acisp/acisp2013.html

Colin Boyd Cas Cremers Michèle Feltz Kenneth G. Paterson Bertram Poettering Douglas Stebila ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. 398 2013 2013 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2013/398 db/journals/iacr/iacr2013.html#BoydCFPPS13

Jothi Rangasamy Douglas Stebila Colin Boyd Juan Manuel González Nieto Lakshmi Kuppusamy Effort-Release Public-Key Encryption from Cryptographic Puzzles. 194-207 2012 ACISP https://doi.org/10.1007/978-3-642-31448-3_15 conf/acisp/2012 db/conf/acisp/acisp2012.html#RangasamySBNK12 Kaleb Lee Colin Boyd Juan Manuel González Nieto Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. 434-441 2012 ACISP https://doi.org/10.1007/978-3-642-31448-3_33 conf/acisp/2012 db/conf/acisp/acisp2012.html#LeeBN12 Kenneth Radke Colin Boyd Juan Manuel González Nieto Margot Brereton Towards a Secure Human-and-Computer Mutual Authentication Protocol. 39-46 2012 AISC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Radke.html conf/auisc/2012 db/conf/auisc/auisc2012.html#RadkeBNB12 Younes Seifi Suriadi Suriadi Ernest Foo Colin Boyd Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. 47-58 2012 AISC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV125Seifi.html conf/auisc/2012 db/conf/auisc/auisc2012.html#SeifiSFB12 Kaleb Lee Juan Manuel González Nieto Colin Boyd Improving the Efficiency of RFID Authentication with Pre-Computation. 91-100 2012 AISC conf/auisc/2012 db/conf/auisc/auisc2012.html#LeeNB12 Lakshmi Kuppusamy Jothi Rangasamy Douglas Stebila Colin Boyd Juan Manuel González Nieto Practical client puzzles in the standard model. 42-43 2012 AsiaCCS https://doi.org/10.1145/2414456.2414480 conf/ccs/2012asia db/conf/ccs/asiaccs2012.html#KuppusamyRSBN12 Kaleb Lee Juan Manuel González Nieto Colin Boyd A State-Aware RFID Privacy Model with Reader Corruption. 324-338 2012 conf/css/2012 CSS https://doi.org/10.1007/978-3-642-35362-8_25 db/conf/css/css2012.html#LeeNB12 Aiiad Albeshri Colin Boyd Juan Manuel González Nieto GeoProof: Proofs of Geographic Location for Cloud Computing Environment. 506-514 2012 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2012.50 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2012.50 conf/icdcsw/2012 db/conf/icdcsw/icdcsw2012.html#AlbeshriBN12 Colin Boyd Denis Edwards Philip Loftus Timothy G. Schaefer Chief information officer (CIO) panel: how to groom IT leadership as change agents. 1-2 2012 CPR https://doi.org/10.1145/2214091.2214093 conf/sigcpr/2012 db/conf/sigcpr/cpr2012.html#BoydELS12

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Mark Manulis Modeling key compromise impersonation attacks on group key exchange protocols. 28:1-28:24 2011 14 ACM Trans. Inf. Syst. Secur. 4 https://doi.org/10.1145/2043628.2043629 db/journals/tissec/tissec14.html#GorantlaBNM11

Jothi Rangasamy Douglas Stebila Colin Boyd Juanma González Nieto An integrated approach to cryptographic mitigation of denial-of-service attacks. 114-123 2011 AsiaCCS https://doi.org/10.1145/1966913.1966929 conf/ccs/2011asia db/conf/ccs/asiaccs2011.html#RangasamySBN11 Long Ngo Colin Boyd Juanma González Nieto Automated Proofs for Diffie-Hellman-Based Key Exchanges. 51-65 2011 CSF https://doi.org/10.1109/CSF.2011.11 https://doi.ieeecomputersociety.org/10.1109/CSF.2011.11 conf/csfw/2011 db/conf/csfw/csf2011.html#NgoBN11 Douglas Stebila Lakshmi Kuppusamy Jothi Rangasamy Colin Boyd Juan Manuel González Nieto Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols. 284-301 2011 CT-RSA https://doi.org/10.1007/978-3-642-19074-2_19 conf/ctrsa/2011 db/conf/ctrsa/ctrsa2011.html#StebilaKRBN11 Hussain Nyeem Wageeh W. Boles Colin Boyd Developing a Digital Image Watermarking Model. 468-473 2011 DICTA https://doi.org/10.1109/DICTA.2011.85 https://doi.ieeecomputersociety.org/10.1109/DICTA.2011.85 conf/dicta/2011 db/conf/dicta/dicta2011.html#NyeemBB11 Jothi Rangasamy Douglas Stebila Lakshmi Kuppusamy Colin Boyd Juan Manuel González Nieto Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection. 319-331 2011 ICISC https://doi.org/10.1007/978-3-642-31912-9_21 conf/icisc/2011 db/conf/icisc/icisc2011.html#RangasamySKBN11 Colin Boyd Juanma González Nieto On Forward Secrecy in One-Round Key Exchange. 451-468 2011 IMACC https://doi.org/10.1007/978-3-642-25516-8_27 conf/ima/2011 db/conf/ima/ima2011.html#BoydN11 Lakshmi Kuppusamy Jothi Rangasamy Douglas Stebila Colin Boyd Juanma González Nieto Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. 379-398 2011 INDOCRYPT https://doi.org/10.1007/978-3-642-25578-6_27 conf/indocrypt/2011 db/conf/indocrypt/indocrypt2011.html#KuppusamyRSBN11 Kenneth Radke Margot Brereton Seyed Hadi Mirisaee Sunil Ghelawat Colin Boyd Juan Manuel González Nieto Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing. 524-532 2011 INTERACT (2) https://doi.org/10.1007/978-3-642-23771-3_39 conf/interact/2011-2 db/conf/interact/interact2011-2.html#RadkeBMGBN11 Eesa A. Alsolami Colin Boyd Andrew J. Clark Irfan Ahmed 0001 User-representative feature selection for keystroke dynamics. 229-233 2011 NSS https://doi.org/10.1109/ICNSS.2011.6060005 conf/nss/2011 db/conf/nss/nss2011.html#SolamiBCA11 Kenneth Radke Colin Boyd Juan Manuel González Nieto Margot Brereton Ceremony Analysis: Strengths and Weaknesses. 104-115 2011 SEC https://doi.org/10.1007/978-3-642-21424-0_9 conf/sec/2011 db/conf/sec/sec2011.html#RadkeBNB11 Colin Boyd Josef Pieprzyk Ninth Australasian Information Security Conference, AISC 2011, Perth, Australia, January 2011 AISC 2011 Australian Computer Society 978-1-920682-96-5 CRPIT 116 http://crpit.scem.westernsydney.edu.au/Vol116.html db/conf/auisc/auisc2011.html

Jothi Rangasamy Douglas Stebila Lakshmi Kuppusamy Colin Boyd Juan Manuel González Nieto Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. 665 2011 2011 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2011/665 db/journals/iacr/iacr2011.html#RangasamySKBN11

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Attribute-Based Authenticated Key Exchange. 300-317 2010 ACISP https://doi.org/10.1007/978-3-642-14081-5_19 conf/acisp/2010 db/conf/acisp/acisp2010.html#GorantlaBN10 Craig Costello Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Avoiding Full Extension Field Arithmetic in Pairing Computations. 203-224 2010 AFRICACRYPT https://doi.org/10.1007/978-3-642-12678-9_13 conf/africacrypt/2010 db/conf/africacrypt/africacrypt2010.html#CostelloBNW10 Eesa A. Alsolami Colin Boyd Andrew J. Clark Asadul K. Islam Continuous Biometric Authentication: Can It Be More Practical? 647-652 2010 HPCC https://doi.org/10.1109/HPCC.2010.65 https://doi.ieeecomputersociety.org/10.1109/HPCC.2010.65 conf/hpcc/2010 db/conf/hpcc/hpcc2010.html#SolamiBCI10 Kenneth Radke Colin Boyd Margot Brereton Juan Manuel González Nieto How HCI design influences web security decisions. 252-255 2010 OZCHI https://doi.org/10.1145/1952222.1952276 conf/ozchi/2010 db/conf/ozchi/ozchi2010.html#RadkeBBN10 Long Ngo Colin Boyd Juan Manuel González Nieto Automating Computational Proofs for Public-Key-Based Key Exchange. 53-69 2010 ProvSec https://doi.org/10.1007/978-3-642-16280-0_4 conf/provsec/2010 db/conf/provsec/provsec2010.html#NgoBN10 Dongdong Sun Colin Boyd Juan Manuel González Nieto Delegation in Predicate Encryption Supporting Disjunctive Queries. 229-240 2010 SEC https://doi.org/10.1007/978-3-642-15257-3_21 conf/sec/2010 db/conf/sec/sec2010.html#SunBN10 Craig Costello Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Delaying Mismatched Field Multiplications in Pairing Computations. 196-214 2010 WAIFI https://doi.org/10.1007/978-3-642-13797-6_14 conf/waifi/2010 db/conf/waifi/waifi2010.html#CostelloBNW10 Colin Boyd Willy Susilo 8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010 AISC 2010 Australian Computer Society 978-1-920682-86-6 CRPIT 105 http://crpit.scem.westernsydney.edu.au/Vol105.html db/conf/auisc/auisc2010.html

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto One Round Group Key Exchange with Forward Security in the Standard Model. 83 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/083 db/journals/iacr/iacr2010.html#GorantlaBN10

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Attribute-based Authenticated Key Exchange. 84 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/084 db/journals/iacr/iacr2010.html#GorantlaBN10a

Craig Costello Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Avoiding Full Extension Field Arithmetic in Pairing Computations. 104 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/104 db/journals/iacr/iacr2010.html#CostelloBNW10

Craig Costello Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Delaying Mismatched Field Multiplications in Pairing Computations. 123 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/123 db/journals/iacr/iacr2010.html#CostelloBNW10a

Douglas Stebila Lakshmi Kuppusamy Jothi Rangasamy Colin Boyd Juan Manuel González Nieto Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols. 649 2010 2010 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2010/649 db/journals/iacr/iacr2010.html#StebilaKRBN10

Baoyuan Kang Colin Boyd Ed Dawson A novel nonrepudiable threshold multi-proxy multi-signature scheme with shared verification. 9-17 2009 35 Comput. Electr. Eng. 1 https://doi.org/10.1016/j.compeleceng.2008.04.001 db/journals/cee/cee35.html#KangBD09

Baoyuan Kang Colin Boyd Ed Dawson Identity-based strong designated verifier signature schemes: Attacks and new construction. 49-53 2009 35 Comput. Electr. Eng. 1 https://doi.org/10.1016/j.compeleceng.2008.05.004 db/journals/cee/cee35.html#KangBD09a

Colin Boyd Yvonne Cliff Juan Manuel González Nieto Kenneth G. Paterson One-round key exchange in the standard model. 181-199 2009 1 Int. J. Appl. Cryptogr. 3 https://doi.org/10.1504/IJACT.2009.023466 db/journals/ijact/ijact1.html#BoydCNP09

Baoyuan Kang Colin Boyd Ed Dawson A novel identity-based strong designated verifier signature scheme. 270-273 2009 82 J. Syst. Softw. 2 https://doi.org/10.1016/j.jss.2008.06.014 db/journals/jss/jss82.html#KangBD09

Yvonne Cliff Colin Boyd Juan Manuel González Nieto How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. 53-70 2009 ACNS https://doi.org/10.1007/978-3-642-01957-9_4 conf/acns/2009 db/conf/acns/acns2009.html#CliffBN09 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Strong Designated Verifier Signature in a Multi-user Setting. 21-31 2009 AISC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV98Gorantla.html conf/auisc/2009 db/conf/auisc/auisc2009.html#GorantlaBN09 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Universally composable contributory group key exchange. 146-156 2009 AsiaCCS https://doi.org/10.1145/1533057.1533079 conf/ccs/2009asia db/conf/ccs/asiaccs2009.html#GorantlaBN09 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Mark Manulis Generic One Round Group Key Exchange in the Standard Model. 1-15 2009 ICISC https://doi.org/10.1007/978-3-642-14423-3_1 conf/icisc/2009 db/conf/icisc/icisc2009.html#GorantlaBNM09 Georg Lippold Colin Boyd Juan Manuel González Nieto Efficient Certificateless KEM in the Standard Model. 34-46 2009 ICISC https://doi.org/10.1007/978-3-642-14423-3_3 conf/icisc/2009 db/conf/icisc/icisc2009.html#LippoldBN09 Craig Costello Hüseyin Hisil Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Faster Pairings on Special Weierstrass Curves. 89-101 2009 Pairing https://doi.org/10.1007/978-3-642-03298-1_7 conf/pairing/2009 db/conf/pairing/pairing2009.html#CostelloHBNW09 Georg Lippold Colin Boyd Juan Manuel González Nieto Strongly Secure Certificateless Key Agreement. 206-230 2009 Pairing https://doi.org/10.1007/978-3-642-03298-1_14 conf/pairing/2009 db/conf/pairing/pairing2009.html#LippoldBN09 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. 105-123 2009 Public Key Cryptography https://doi.org/10.1007/978-3-642-00468-1_7 conf/pkc/2009 db/conf/pkc/pkc2009.html#GorantlaBN09 Hani Alzaid DongGook Park Juan Manuel González Nieto Colin Boyd Ernest Foo A Forward and Backward Secure Key Management in Wireless Sensor Networks for PCS/SCADA. 66-82 2009 S-CUBE https://doi.org/10.1007/978-3-642-11528-8_6 http://eudl.eu/doi/10.1007/978-3-642-11528-8_6 conf/scube/2009 db/conf/scube/scube2009.html#AlzaidPNBF09 Colin Boyd Juan Manuel González Nieto Information Security and Privacy, 14th Australasian Conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009, Proceedings 5594 2009 https://doi.org/10.1007/978-3-642-02620-1 978-3-642-02619-5 ACISP Lecture Notes in Computer Science Springer db/conf/acisp/acisp2009.html

Yvonne Cliff Colin Boyd Juan Manuel González Nieto How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. 136 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/136 db/journals/iacr/iacr2009.html#CliffBN09

Georg Lippold Colin Boyd Juan Manuel González Nieto Strongly Secure Certificateless Key Agreement. 219 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/219 db/journals/iacr/iacr2009.html#LippoldBN09

Craig Costello Hüseyin Hisil Colin Boyd Juan Manuel González Nieto Kenneth Koon-Ho Wong Faster Pairings on Special Weierstrass Curves. 243 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/243 db/journals/iacr/iacr2009.html#CostelloHBNW09

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. 291 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/291 db/journals/iacr/iacr2009.html#GorantlaBN09

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Universally Composable Contributory Group Key Exchange. 300 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/300 db/journals/iacr/iacr2009.html#GorantlaBN09a

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto On the Connection between Signcryption and One-pass Key Establishment. 436 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/436 db/journals/iacr/iacr2009.html#GorantlaBN09b

Georg Lippold Colin Boyd Juan Manuel González Nieto Efficient Certificateless KEM in the Standard Model. 451 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/451 db/journals/iacr/iacr2009.html#LippoldBN09a

M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto Mark Manulis Generic One Round Group Key Exchange in the Standard Model. 514 2009 2009 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2009/514 db/journals/iacr/iacr2009.html#GorantlaBNM09

Rong Du Ernest Foo Colin Boyd Designing a secure e-tender submission protocol. 115-142 2008 8 Electron. Commer. Res. 3 https://doi.org/10.1007/s10660-008-9017-x db/journals/ecr/ecr8.html#DuFB08

Colin Boyd Yvonne Cliff Juan Manuel González Nieto Kenneth G. Paterson Efficient One-Round Key Exchange in the Standard Model. 69-83 2008 ACISP https://doi.org/10.1007/978-3-540-70500-0_6 conf/acisp/2008 db/conf/acisp/acisp2008.html#BoydCNP08 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto ID-based One-pass Authenticated Key Establishment. 39-46 2008 AISC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV81Gorantla.html conf/auisc/2008 db/conf/auisc/auisc2008.html#GorantlaBN08 Marianne Hirschbichler Colin Boyd Wageeh W. Boles A Scheme for Enhancing Security Using Multiple Fingerprints and the Fuzzy Vault. 540-547 2008 DICTA https://doi.org/10.1109/DICTA.2008.81 https://doi.ieeecomputersociety.org/10.1109/DICTA.2008.81 conf/dicta/2008 db/conf/dicta/dicta2008.html#HirschbichlerBB08 Marianne Hirschbichler Colin Boyd Wageeh W. Boles A Multiple-Control Fuzzy Vault. 36-47 2008 PST https://doi.org/10.1109/PST.2008.23 https://doi.ieeecomputersociety.org/10.1109/PST.2008.23 conf/pst/2008 db/conf/pst/pst2008.html#HirschbichlerBB08

Colin Boyd Yvonne Cliff Juan Manuel González Nieto Kenneth G. Paterson Efficient One-round Key Exchange in the Standard Model. 7 2008 2008 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2008/007 db/journals/iacr/iacr2008.html#BoydCNP08

Audun Jøsang Roslan Ismail Colin Boyd A survey of trust and reputation systems for online service provision. 618-644 2007 43 Decis. Support Syst. 2 https://doi.org/10.1016/j.dss.2005.05.019 db/journals/dss/dss43.html#JosangIB07

Jason Smith 0001 Suratose Tritilanunt Colin Boyd Juan Manuel González Nieto Ernest Foo Denial-of-service resistance in key establishment. 59-71 2007 2 Int. J. Wirel. Mob. Comput. 1 https://doi.org/10.1504/IJWMC.2007.013796 db/journals/ijwmc/ijwmc2.html#SmithTBNF07

Kun Peng Colin Boyd Ed Dawson Batch zero-knowledge proof and verification and its applications. 2007 10 ACM Trans. Inf. Syst. Secur. 2 https://doi.org/10.1145/1237500.1237502 db/journals/tissec/tissec10.html#PengBD07 6

Suratose Tritilanunt Colin Boyd Ernest Foo Juan Manuel González Nieto Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. 191-200 2007 ACSC http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV62Tritilanunt.html conf/acsc/2007 db/conf/acsc/acsc2007.html#TritilanuntBFN07 Suratose Tritilanunt Colin Boyd Ernest Foo Juan Manuel González Nieto Toward Non-parallelizable Client Puzzles. 247-264 2007 conf/cans/2007 CANS https://doi.org/10.1007/978-3-540-76969-9_16 db/conf/cans/cans2007.html#TritilanuntBFN07 JaeCheol Ha Hwankoo Kim JeaHoon Park Sang-Jae Moon Juan Manuel González Nieto Colin Boyd HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. 557-567 2007 conf/euc/2007w EUC Workshops https://doi.org/10.1007/978-3-540-77090-9_52 db/conf/euc/eucw2007.html#HaKPMNB07 JaeCheol Ha Sang-Jae Moon Juan Manuel González Nieto Colin Boyd Low-Cost and Strong-Security RFID Authentication Protocol. 795-807 2007 conf/euc/2007w EUC Workshops https://doi.org/10.1007/978-3-540-77090-9_72 db/conf/euc/eucw2007.html#HaMNB07 M. Choudary Gorantla Colin Boyd Juan Manuel González Nieto On the Connection Between Signcryption and One-Pass Key Establishment. 277-301 2007 conf/ima/2007 IMACC https://doi.org/10.1007/978-3-540-77272-9_17 db/conf/ima/ima2007.html#GorantlaBN07 Raylin Tso Juan Manuel González Nieto Takeshi Okamoto Colin Boyd Eiji Okamoto Verifier-Key-Flexible Universal Designated-Verifier Signatures. 403-421 2007 conf/ima/2007 IMACC https://doi.org/10.1007/978-3-540-77272-9_24 db/conf/ima/ima2007.html#TsoNOBO07 Jason Dowling Birgit M. Planitz Anthony J. Maeder Jiang Du 0002 Binh Pham 0001 Colin Boyd Shaokang Chen Andrew P. Bradley Stuart Crozier A Comparison of DCT and DWT Block Based Watermarking on Medical Image Quality. 454-466 2007 IWDW https://doi.org/10.1007/978-3-540-92238-4_35 https://www.wikidata.org/entity/Q63457793 conf/iwdw/2007 db/conf/iwdw/iwdw2007.html#DowlingPMDPBCBC07 JaeCheol Ha Sang-Jae Moon Juan Manuel González Nieto Colin Boyd Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). 574-583 2007 conf/pakdd/2007w PAKDD Workshops https://doi.org/10.1007/978-3-540-77018-3_57 db/conf/pakdd/pakdd2007w.html#HaMNB07

Yvonne Hitchcock Colin Boyd Juan Manuel González Nieto Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. 405-438 2006 16 Appl. Algebra Eng. Commun. Comput. 6 https://doi.org/10.1007/s00200-005-0185-9 db/journals/aaecc/aaecc16.html#HitchcockBN06

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock 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. 2788-2797 2006 29 Comput. Commun. 15 https://doi.org/10.1016/j.comcom.2005.10.030 https://www.wikidata.org/entity/Q115063335 db/journals/comcom/comcom29.html#ChooBH06

Kun Peng Colin Boyd Ed Dawson Batch verification of validity of bids in homomorphic e-auction. 2798-2805 2006 29 Comput. Commun. 15 https://doi.org/10.1016/j.comcom.2005.10.031 https://www.wikidata.org/entity/Q123252649 db/journals/comcom/comcom29.html#PengBD06

Kun Peng Colin Boyd Ed Dawson Eiji Okamoto A Novel Range Test. 247-258 2006 conf/acisp/2006 ACISP https://doi.org/10.1007/11780656_21 db/conf/acisp/acisp2006.html#PengBDO06 Colin Boyd Kim-Kwang Raymond Choo Anish Mathuria An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys. 371-382 2006 conf/acisp/2006 ACISP https://doi.org/10.1007/11780656_31 db/conf/acisp/acisp2006.html#BoydCM06 Yvonne Cliff Yiu Shing Terry Tin Colin Boyd Password Based Server Aided Key Exchange . 146-161 2006 conf/acns/2006 ACNS https://doi.org/10.1007/11767480_10 db/conf/acns/acns2006.html#CliffTB06 Jason Smith 0001 Juan Manuel González Nieto Colin Boyd Modelling denial of service attacks on JFK with Meadows's cost-based framework. 125-134 2006 conf/acsw/2006 ACSW https://dl.acm.org/citation.cfm?id=1151844 db/conf/acsw/acsw2006.html#SmithNB06 Rong Du Ernest Foo Colin Boyd Kim-Kwang Raymond Choo Formal analysis of secure contracting protocol for e-tendering. 155-164 2006 conf/acsw/2006 ACSW https://dl.acm.org/citation.cfm?id=1151847 db/conf/acsw/acsw2006.html#DuFBC06 Robert Dawson Colin Boyd Ed Dawson Juan Manuel González Nieto SKMA: a key management architecture for SCADA systems. 183-192 2006 conf/acsw/2006 ACSW https://dl.acm.org/citation.cfm?id=1151850 db/conf/acsw/acsw2006.html#DawsonBDN06 Jaimee Brown Juan Manuel González Nieto Colin Boyd Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. 1-18 2006 conf/cans/2006 CANS https://doi.org/10.1007/11935070_1 db/conf/cans/cans2006.html#BrownNB06 JaeCheol Ha JungHoon Ha Sang-Jae Moon Colin Boyd LRMAP: Lightweight and Resynchronous Mutual Authentication Protocol for RFID System. 80-89 2006 conf/icuct/2006 ICUCT https://doi.org/10.1007/978-3-540-71789-8_9 db/conf/icuct/icuct2006.html#HaHMB06 Jaimee Brown Juan Manuel González Nieto Colin Boyd Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. 176-190 2006 conf/indocrypt/2006 INDOCRYPT https://doi.org/10.1007/11941378_13 db/conf/indocrypt/indocrypt2006.html#BrownNB06 Suratose Tritilanunt Colin Boyd Ernest Foo Juan Manuel González Nieto Examining the DoS Resistance of HIP. 616-625 2006 conf/otm/2006-w1 OTM Workshops (1) https://doi.org/10.1007/11915034_85 db/conf/otm/otm2006-w1.html#TritilanuntBFN06 Sherman S. M. Chow Colin Boyd Juan Manuel González Nieto Security-Mediated Certificateless Cryptography. 508-524 2006 conf/pkc/2006 Public Key Cryptography https://doi.org/10.1007/11745853_33 db/conf/pkc/pkc2006.html#ChowBN06 Kun Peng Colin Boyd Ed Dawson Sealed-Bid Micro Auctions. 246-257 2006 conf/sec/2006 SEC https://doi.org/10.1007/0-387-33406-8_21 db/conf/sec/sec2006.html#PengBD06 Rong Du Colin Boyd Ernest Foo A Secure E-Tender Submission Protocol. 213-222 2006 conf/trustbus/2006 TrustBus https://doi.org/10.1007/11824633_22 db/conf/trustbus/trustbus2006.html#DuBF06

Riza Aditya Byoungcheon Lee Colin Boyd Ed Dawson Two models of efficient Mixnet-based receipt-free voting using (threshold) re-encryption. 2005 20 Comput. Syst. Sci. Eng. 6 db/journals/csse/csse20.html#AdityaLBD05

Juan Manuel González Nieto Colin Boyd Ed Dawson A Public Key Cryptosystem Based On A Subgroup Membership Problem. 301-316 2005 36 Des. Codes Cryptogr. 3 https://doi.org/10.1007/s10623-004-1721-5 db/journals/dcc/dcc36.html#NietoBD05

Colin Boyd Wenbo Mao Preface to the special issue on ISC 2003. 227-227 2005 4 Int. J. Inf. Sec. 4 https://doi.org/10.1007/s10207-004-0066-4 db/journals/ijisec/ijisec4.html#BoydM05

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. 585-604 2005 conf/asiacrypt/2005 ASIACRYPT https://doi.org/10.1007/11593447_32 db/conf/asiacrypt/asiacrypt2005.html#ChooBH05 Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Errors in Computational Complexity Proofs for Protocols. 624-643 2005 conf/asiacrypt/2005 ASIACRYPT https://doi.org/10.1007/11593447_34 db/conf/asiacrypt/asiacrypt2005.html#ChooBH05a Kun Peng Colin Boyd Ed Dawson Simple and Efficient Shuffling with Provable Correctness and ZK Privacy. 188-204 2005 conf/crypto/2005 CRYPTO https://doi.org/10.1007/11535218_12 db/conf/crypto/crypto2005.html#PengBD05 Kun Peng Colin Boyd Ed Dawson Byoungcheon Lee Ciphertext Comparison, a New Solution to the Millionaire Problem. 84-96 2005 conf/icics/2005 ICICS https://doi.org/10.1007/11602897_8 db/conf/icics/icics2005.html#PengBDL05 Kun Peng Colin Boyd Ed Dawson A Multiplicative Homomorphic Sealed-Bid Auction Based on Goldwasser-Micali Encryption. 374-388 2005 conf/isw/2005 ISC https://doi.org/10.1007/11556992_27 db/conf/isw/isc2005.html#PengBD05 Kun Peng Colin Boyd Ed Dawson Optimization of Electronic First-Bid Sealed-Bid Auction Based on Homomorphic Secret Sharing. 84-98 2005 conf/mycrypt/2005 Mycrypt https://doi.org/10.1007/11554868_7 db/conf/mycrypt/mycrypt2005.html#PengBD05 Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock On Session Key Construction in Provably-Secure Key Establishment Protocols. 116-131 2005 conf/mycrypt/2005 Mycrypt https://doi.org/10.1007/11554868_9 db/conf/mycrypt/mycrypt2005.html#ChooBH05 Colin Boyd Kim-Kwang Raymond Choo Security of Two-Party Identity-Based Key Agreement. 229-243 2005 conf/mycrypt/2005 Mycrypt https://doi.org/10.1007/11554868_17 db/conf/mycrypt/mycrypt2005.html#BoydC05 Rong Du Ernest Foo Juan Manuel González Nieto Colin Boyd Designing Secure E-Tendering Systems. 70-79 2005 conf/trustbus/2005 TrustBus https://doi.org/10.1007/11537878_8 db/conf/trustbus/trustbus2005.html#DuFNB05 Colin Boyd Juan Manuel González Nieto Information Security and Privacy, 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings 3-540-26547-3 3574 2005 ACISP Lecture Notes in Computer Science Springer https://doi.org/10.1007/b137750 db/conf/acisp/acisp2005.html

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock On Session Key Construction in Provably-Secure Key Establishment Protocols: Revisiting Chen & Kudla (2003) and McCullagh & Barreto (2005) ID-Based Protocols. 206 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/206 db/journals/iacr/iacr2005.html#ChooBH05

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. 270 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/270 db/journals/iacr/iacr2005.html#ChooBH05a

Kun Peng Colin Boyd Ed Dawson Batch Verification of Validity of Bids in Homomorphic E-auction. 346 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/346 db/journals/iacr/iacr2005.html#PengBD05

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Errors in Computational Complexity Proofs for Protocols. 351 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/351 db/journals/iacr/iacr2005.html#ChooBH05b

Yiu Shing Terry Tin Harikrishna Vasanta Colin Boyd Juan Manuel González Nieto Protocols with Security Proofs for Mobile Applications. 358-369 https://doi.org/10.1007/978-3-540-27800-9_31 2004 conf/acisp/2004 ACISP db/conf/acisp/acisp2004.html#TinVBN04 Colin Boyd Wenbo Mao Kenneth G. Paterson Key Agreement Using Statically Keyed Authenticators. 248-262 https://doi.org/10.1007/978-3-540-24852-1_18 2004 conf/acns/2004 ACNS db/conf/acns/acns2004.html#BoydMP04 Riza Aditya Kun Peng Colin Boyd Ed Dawson Byoungcheon Lee Batch Verification for Equality of Discrete Logarithms and Threshold Decryptions. 494-508 https://doi.org/10.1007/978-3-540-24852-1_36 2004 conf/acns/2004 ACNS db/conf/acns/acns2004.html#AdityaPBDL04 Rong Du Ernest Foo Colin Boyd Brian Fitzgerald 0002 Defining Security Services for Electronic Tendering. 43-52 2004 conf/acsw/2004 ACSW http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV32Du.html db/conf/acsw/acsw2004.html#DuFBF04 Byoungcheon Lee Colin Boyd Ed Dawson Kwangjo Kim Jeongmo Yang Seungjae Yoo Secure Key Issuing in ID-based Cryptography. 69-74 2004 conf/acsw/2004 ACSW http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV32Lee.html db/conf/acsw/acsw2004.html#LeeBDKYY04 Kun Peng Riza Aditya Colin Boyd Ed Dawson Byoungcheon Lee A Secure and Efficient Mix-Network using Extended Binary Mixing Gate. 57-71 2004 conf/cau/2004 Cryptographic Algorithms and their Uses db/conf/cau/cau2004.html#PengABDL04 Kun Peng Colin Boyd Ed Dawson Byoungcheon Lee An Efficient and Verifiable Solution to the Millionaire Problem. 51-66 2004 conf/icisc/2004 ICISC https://doi.org/10.1007/11496618_6 db/conf/icisc/icisc2004.html#PengBDL04 Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Greg Maitland Complementing Computational Protocol Analysis with Formal Specifications. 129-144 2004 conf/ifip1-7/2004 Formal Aspects in Security and Trust https://doi.org/10.1007/0-387-24098-5_10 db/conf/ifip1-7/fast2004.html#ChooBHM04 Colin Boyd Design of Secure Key Establishment Protocols: Successes, Failures and Prospects. 1-13 https://doi.org/10.1007/978-3-540-30556-9_1 2004 conf/indocrypt/2004 INDOCRYPT db/conf/indocrypt/indocrypt2004.html#Boyd04 Yvonne Hitchcock Colin Boyd Juan Manuel González Nieto Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. 17-32 https://doi.org/10.1007/978-3-540-30556-9_3 2004 conf/indocrypt/2004 INDOCRYPT db/conf/indocrypt/indocrypt2004.html#HitchcockBN04 Kun Peng Riza Aditya Colin Boyd Ed Dawson Byoungcheon Lee Multiplicative Homomorphic E-Voting. 61-72 https://doi.org/10.1007/978-3-540-30556-9_6 2004 conf/indocrypt/2004 INDOCRYPT db/conf/indocrypt/indocrypt2004.html#PengABDL04 Harikrishna Vasanta Yiu Shing Terry Tin Colin Boyd Mark Looi Juan Manuel González Nieto A Secure Framework for User Privacy in Heterogeneous Location Networks. 264-274 https://doi.org/10.1007/978-3-540-30178-3_25 2004 conf/mata/2004 MATA db/conf/mata/mata2004.html#VasantaTBLN04 Kun Peng Colin Boyd Ed Dawson Kapalee Viswanathan A Correct, Private, and Efficient Mix Network. 439-454 https://doi.org/10.1007/978-3-540-24632-9_32 2004 conf/pkc/2004 Public Key Cryptography db/conf/pkc/pkc2004.html#PengBDV04 Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Greg Maitland On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. 351-366 https://doi.org/10.1007/978-3-540-30598-9_25 2004 conf/scn/2004 SCN db/conf/scn/scn2004.html#ChooBHM04 Roslan Ismail Colin Boyd Audun Jøsang Selwyn Russell An Efficient Off-Line Reputation Scheme Using Articulated Certificates. 53-62 2004 conf/sis/2004 WOSIS db/conf/sis/wosis2004.html#IsmailBJR04 Roslan Ismail Colin Boyd Audun Jøsang Selwyn Russell Private Reputation Schemes for P2P systems. 196-206 2004 conf/sis/2004 WOSIS db/conf/sis/wosis2004.html#IsmailBJR04a Riza Aditya Byoungcheon Lee Colin Boyd Ed Dawson An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness. 152-161 https://doi.org/10.1007/978-3-540-30079-3_16 2004 conf/trustbus/2004 TrustBus db/conf/trustbus/trustbus2004.html#AdityaLBD04

Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock Greg Maitland On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. 345 2004 2004 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2004/345 db/journals/iacr/iacr2004.html#ChooBHM04

Colin Boyd Anish Mathuria Protocols for Authentication and Key Establishment 2003 I-XXIV, 1-323 Springer Information Security and Cryptography 978-3-642-07716-6 https://doi.org/10.1007/978-3-662-09527-0 https://www.wikidata.org/entity/Q52769177 Yiu Shing Terry Tin Colin Boyd Juan Manuel González Nieto Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. 166-179 https://doi.org/10.1007/3-540-45067-X_15 2003 conf/acisp/2003 ACISP db/conf/acisp/acisp2003.html#TinBN03 Kun Peng Colin Boyd Ed Dawson Kapali Viswanathan Five Sealed-bid Auction Models. 77-86 2003 conf/acsw/2003 ACSW http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV21APeng.html db/conf/acsw/acsw2003.html#PengBDV03 Yiu Shing Terry Tin Colin Boyd Juanma González Nieto Provably Secure Key Exchange: An Engineering Approach. 97-104 2003 conf/acsw/2003 ACSW http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV21ATin.html db/conf/acsw/acsw2003.html#TinBN03 Roslan Ismail Colin Boyd Audun Jøsang Selwyn Russell A Security Architecture for Reputation Systems. 176-185 https://doi.org/10.1007/978-3-540-45229-4_18 2003 conf/ecweb/2003 EC-Web db/conf/ecweb/ecweb2003.html#IsmailBJR03 Riza Aditya Colin Boyd Ed Dawson Kapali Viswanathan Secure e-Voting for Preferential Elections. 246-249 https://doi.org/10.1007/10929179_44 2003 conf/egov/2003 EGOV db/conf/egov/egov2003.html#AdityaBDV03 Byoungcheon Lee Colin Boyd Ed Dawson Kwangjo Kim Jeongmo Yang Seungjae Yoo Providing Receipt-Freeness in Mixnet-Based Voting Protocols. 245-258 https://doi.org/10.1007/978-3-540-24691-6_19 2003 conf/icisc/2003 ICISC db/conf/icisc/icisc2003.html#LeeBDKYY03 Yvonne Hitchcock Yiu Shing Terry Tin Juan Manuel González Nieto Colin Boyd Paul Montague A Password-Based Authenticator: Security Proof and Applications. 388-401 https://doi.org/10.1007/978-3-540-24582-7_29 2003 conf/indocrypt/2003 INDOCRYPT db/conf/indocrypt/indocrypt2003.html#HitchcockTNBM03 Colin Boyd Juan Manuel González Nieto Round-Optimal Contributory Conference Key Agreement. 161-174 2003 conf/pkc/2003 Public Key Cryptography https://doi.org/10.1007/3-540-36288-6_12 db/conf/pkc/pkc2003.html#BoydN03 Colin Boyd Wenbo Mao Kenneth G. Paterson Deniable Authenticated Key Establishment for Internet Protocols. 255-271 2003 conf/spw/2003 Security Protocols Workshop https://doi.org/10.1007/11542322_31 db/conf/spw/spw2003.html#BoydMP03 Kun Peng Colin Boyd Ed Dawson Kapalee Viswanathan Efficient Implementation of Relative Bid Privacy in Sealed-Bid Auction. 244-256 https://doi.org/10.1007/978-3-540-24591-9_19 2003 conf/wisa/2003 WISA db/conf/wisa/wisa2003.html#PengBDV03 Colin Boyd Wenbo Mao Information Security, 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings ISC Lecture Notes in Computer Science 2851 Springer 2003 3-540-20176-9 https://doi.org/10.1007/b13828 db/conf/isw/isc2003.html

Kapali Viswanathan Colin Boyd Ed Dawson Hybrid Key Escrow: A New Paradigm. 77-92 2002 21 Comput. Secur. 1 db/journals/compsec/compsec21.html#ViswanathanBD02 https://doi.org/10.1016/S0167-4048(02)00111-6 https://www.wikidata.org/entity/Q115031745

Juan Manuel González Nieto Kapali Viswanathan Colin Boyd Andrew J. Clark Ed Dawson Key recovery for the commercial environment. 161-174 2002 1 Int. J. Inf. Sec. 3 https://doi.org/10.1007/s10207-002-0014-0 db/journals/ijisec/ijisec1.html#NietoVBCD02

Ed Dawson Kapali Viswanathan Colin Boyd Compliant cryptologic protocols. 189-202 2002 1 Int. J. Inf. Sec. 3 https://doi.org/10.1007/s10207-002-0016-y db/journals/ijisec/ijisec1.html#DawsonVB02

Greg Maitland Colin Boyd Co-operatively Formed Group Signatures. 218-235 2002 conf/ctrsa/2002 CT-RSA https://doi.org/10.1007/3-540-45760-7_15 db/conf/ctrsa/ctrsa2002.html#MaitlandB02 Colin Boyd Kapali Viswanathan Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis. 49-61 https://doi.org/10.1007/978-3-540-40981-6_6 2002 conf/fasec/2002 FASec db/conf/fasec/fasec2002.html#BoydV02 Kun Peng Colin Boyd Ed Dawson Kapali Viswanathan Robust, Privacy Protecting and Publicly Verifiable Sealed-Bid Auction. 147-159 2002 conf/icics/2002 ICICS https://doi.org/10.1007/3-540-36159-6_13 db/conf/icics/icics2002.html#PengBDV02 Kun Peng Colin Boyd Ed Dawson Kapali Viswanathan Non-interactive Auction Schemewith Strong Privacy. 407-420 2002 conf/icisc/2002 ICISC https://doi.org/10.1007/3-540-36552-4_28 db/conf/icisc/icisc2002.html#PengBDV02 Greg Maitland Colin Boyd A Provably Secure Restrictive Partially Blind Signature Scheme. 99-114 2002 conf/pkc/2002 Public Key Cryptography https://doi.org/10.1007/3-540-45664-3_7 db/conf/pkc/pkc2002.html#MaitlandB02 Chris Pavlovski Colin Boyd Attacks Based on Small Factors in Various Group Structures. 36-50 2001 conf/acisp/2001 ACISP https://doi.org/10.1007/3-540-47719-5_5 db/conf/acisp/acisp2001.html#PavlovskiB01 DongGook Park JungJoon Kim Colin Boyd Ed Dawson Cryptographic Salt: A Countermeasure against Denial-of-Service Attacks. 334-343 2001 conf/acisp/2001 ACISP https://doi.org/10.1007/3-540-47719-5_27 db/conf/acisp/acisp2001.html#ParkKBD01 Colin Boyd Paul Montague Khanh Quoc Nguyen Elliptic Curve Based Password Authenticated Key Exchange Protocols. 487-501 2001 conf/acisp/2001 ACISP https://doi.org/10.1007/3-540-47719-5_38 db/conf/acisp/acisp2001.html#BoydMN01 Juan Manuel González Nieto Colin Boyd Ed Dawson A Public Key Cryptosystem Based on the Subgroup Membership Problem. 352-363 2001 conf/icics/2001 ICICS https://doi.org/10.1007/3-540-45600-7_38 db/conf/icics/icics2001.html#NietoBD01 Greg Maitland Colin Boyd Fair Electronic Cash Based on a Group Signature Scheme. 461-465 2001 conf/icics/2001 ICICS https://doi.org/10.1007/3-540-45600-7_51 db/conf/icics/icics2001.html#MaitlandB01 Kapali Viswanathan Colin Boyd Ed Dawson An Analysis of Integrity Services in Protocols. 175-187 2001 conf/indocrypt/2001 INDOCRYPT https://doi.org/10.1007/3-540-45311-3_17 db/conf/indocrypt/indocrypt2001.html#ViswanathanBD01 Colin Boyd 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 Lecture Notes in Computer Science 2248 Springer 2001 3-540-42987-5 https://doi.org/10.1007/3-540-45682-1 https://www.wikidata.org/entity/Q21767537 db/conf/asiacrypt/asiacrypt2001.html

Colin Boyd Anish Mathuria Key establishment protocols for secure mobile communications: a critical survey. 575-587 2000 23 Comput. Commun. 5-6 https://doi.org/10.1016/S0140-3664(99)00210-8 db/journals/comcom/comcom23.html#BoydM00

Ernest Foo Colin Boyd Passive Entities: A Strategy for Electronic Payment Design. 134-148 2000 conf/acisp/2000 ACISP db/conf/acisp/acisp2000.html#FooB00 https://doi.org/10.1007/10718964_12 Juanma González Nieto Kapali Viswanathan Colin Boyd Ed Dawson Key Recovery System for the Commercial Environment. 149-162 2000 conf/acisp/2000 ACISP db/conf/acisp/acisp2000.html#NietoVBD00 https://doi.org/10.1007/10718964_13 Kapali Viswanathan Colin Boyd Ed Dawson A Three Phased Schema for Sealed Bid Auction System Design. 412-426 2000 conf/acisp/2000 ACISP db/conf/acisp/acisp2000.html#ViswanathanBD00 https://doi.org/10.1007/10718964_34 Colin Boyd Chris Pavlovski Attacking and Repairing Batch Verification Schemes. 58-71 2000 conf/asiacrypt/2000 ASIACRYPT https://doi.org/10.1007/3-540-44448-3_5 db/conf/asiacrypt/asiacrypt2000.html#BoydP00 DongGook Park Colin Boyd Ed Dawson Micropayments for Wireless Communications. 192-205 2000 conf/icisc/2000 ICISC https://doi.org/10.1007/3-540-45247-8_16 db/conf/icisc/icisc2000.html#ParkBD00 Greg Maitland Jason Reid Ernest Foo Colin Boyd Ed Dawson Linkability in Practical Electronic Cash Design. 149-163 https://doi.org/10.1007/3-540-44456-4_12 2000 conf/isw/2000 ISW db/conf/isw/isw2000.html#MaitlandRFBD00 DongGook Park Colin Boyd Ed Dawson Classification of Authentication Protocols: A Practical Approach. 194-208 https://doi.org/10.1007/3-540-44456-4_15 2000 conf/isw/2000 ISW db/conf/isw/isw2000.html#ParkBD00 Colin Boyd Peter Kearney Exploring Fair Exchange Protocols Using Specification Animation. 209-223 https://doi.org/10.1007/3-540-44456-4_16 2000 conf/isw/2000 ISW db/conf/isw/isw2000.html#BoydK00 Juanma González Nieto DongGook Park Colin Boyd Ed Dawson Key Recovery in Third Generation Wireless Communication Systems. 223-237 2000 conf/pkc/2000 Public Key Cryptography db/conf/pkc/pkc2000.html#ParkBD00 https://doi.org/10.1007/978-3-540-46588-1_16 DongGook Park Colin Boyd Sang-Jae Moon Forward Secrecy and Its Application to Future Mobile Communications Security. 433-445 2000 conf/pkc/2000 Public Key Cryptography db/conf/pkc/pkc2000.html#ParkBM00 https://doi.org/10.1007/978-3-540-46588-1_29 Ed Dawson Andrew J. Clark Colin Boyd Information Security and Privacy, 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings ACISP Lecture Notes in Computer Science 1841 Springer 2000 3-540-67742-9 https://doi.org/10.1007/10718964 db/conf/acisp/acisp2000.html Kapali Viswanathan Colin Boyd Ed Dawson Publicly Verifiable Key Escrow with Limited Time Span. 36-50 https://doi.org/10.1007/3-540-48970-3_4 1999 conf/acisp/1999 ACISP db/conf/acisp/acisp1999.html#ViswanathanBD99 Colin Boyd Ernest Foo Chris Pavlovski Efficient Electronic Cash Using Batch Signatures. 244-257 https://doi.org/10.1007/3-540-48970-3_20 1999 conf/acisp/1999 ACISP db/conf/acisp/acisp1999.html#BoydFP99 Chris Pavlovski Colin Boyd Ernest Foo Detachable Electronic Coins. 54-70 1999 conf/icics/1999 ICICS db/conf/icics/icics1999.html#PavlovskiBF99 https://doi.org/10.1007/978-3-540-47942-0_6 Kapali Viswanathan Colin Boyd Ed Dawson Signature Scheme for Controlled Environments. 119-134 1999 conf/icics/1999 ICICS db/conf/icics/icics1999.html#ViswanathanBD99 https://doi.org/10.1007/978-3-540-47942-0_10 Kapali Viswanathan Colin Boyd Ed Dawson Secure Selection Protocols. 132-146 1999 conf/icisc/1999 ICISC db/conf/icisc/icisc1999.html#ViswanathanBD99 https://doi.org/10.1007/10719994_11 Kapali Viswanathan Colin Boyd Ed Dawson Strong Binding for Software Key Escrow. 134-139 1999 conf/icppw/1999 ICPP Workshops https://doi.org/10.1109/ICPPW.1999.800052 https://doi.ieeecomputersociety.org/10.1109/ICPPW.1999.800052 db/conf/icppw/icppw1999.html#ViswanathanBD99 Xian Liu Patrick Guy Farrell Colin Boyd A Unified Code. 84-93 1999 conf/ima/1999 IMACC https://doi.org/10.1007/3-540-46665-7_9 db/conf/ima/ima1999.html#LiuFB99 Colin Boyd Anish Mathuria Key Establishment Protocols for Secure Mobile Communications: A Selective Survey. 344-355 1998 conf/acisp/1998 ACISP https://doi.org/10.1007/BFb0053746 db/conf/acisp/acisp1998.html#BoydM98 Colin Boyd Ernest Foo Off-Line Fair Payment Protocols Using Convertible Signatures. 271-285 https://doi.org/10.1007/3-540-49649-1_22 1998 conf/asiacrypt/1998 ASIACRYPT db/conf/asiacrypt/asiacrypt98.html#BoydF98 Ernest Foo Colin Boyd A Payment Scheme Using Vouchers. 103-121 https://doi.org/10.1007/BFb0055476 1998 conf/fc/1998 Financial Cryptography db/conf/fc/fc1998.html#FooB98 Gary Gaskell Mark Looi Ed Dawson Colin Boyd Selwyn Russell A security architecture for third generation wireless systems. 15-32 1998 conf/icisc/1998 ICISC db/conf/icisc/icisc1998.html#GaskellLDBR98 Colin Boyd DongGook Park Public key protocols for wireless communications. 47-57 1998 conf/icisc/1998 ICISC db/conf/icisc/icisc1998.html#BoydP98 Colin Boyd Ed Dawson Information Security and Privacy, Third Australasian Conference, ACISP'98, Brisbane, Queensland, Australia, July 1998, Proceedings ACISP Lecture Notes in Computer Science 1438 Springer 1998 3-540-64732-5 https://doi.org/10.1007/BFb0053715 db/conf/acisp/acisp1998.html

Colin Boyd John G. Cleary Sean A. Irvine Ingrid Rinsma-Melchert Ian H. Witten Integrating error detection into arithmetic coding. 1-3 1997 45 IEEE Trans. Commun. 1 https://doi.org/10.1109/26.554275 https://www.wikidata.org/entity/Q59821222 db/journals/tcom/tcom45.html#BoydCIRW97

Jen Lim Colin Boyd Ed Dawson Cryptanalysis of Adaptive Arithmetic Coding Encryption Schemes. 216-227 1997 conf/acisp/1997 ACISP db/conf/acisp/acisp1997.html#LimBD97 https://doi.org/10.1007/BFb0027929 Colin Boyd On Key Agreement and Conference Key Agreement. 294-302 1997 conf/acisp/1997 ACISP db/conf/acisp/acisp1997.html#Boyd97 https://doi.org/10.1007/BFb0027936 Colin Boyd Digital signature and public key cryptosystems in a prime order subgroup of Z<sub>n</sub><sup>*</sup>. 346-355 1997 conf/icics/1997 ICICS db/conf/icics/icics1997.html#Boyd97 https://doi.org/10.1007/BFb0028490 Colin Boyd Enforcing traceability in software. 398-408 1997 conf/icics/1997 ICICS db/conf/icics/icics1997.html#Boyd97a https://doi.org/10.1007/BFb0028495 Xian Liu Patrick Guy Farrell Colin Boyd Resisting the Bergen-Hogan Attack on Adaptive Arithmetic Coding. 199-208 1997 conf/ima/1997 IMACC db/conf/ima/ima1997.html#LiuFB97 https://doi.org/10.1007/BFb0024465 Ernest Foo Colin Boyd William J. Caelli Ed Dawson A taxonomy of electronic cash schemes. 337-348 1997 conf/sec/1997 SEC db/conf/sec/sec1997.html#FooBCD97 Colin Boyd A Framework for Design of Key Establishment Protocols. 146-157 1996 conf/acisp/1996 ACISP db/conf/acisp/acisp1996.html#Boyd96 https://doi.org/10.1007/BFb0023295 Colin Boyd A Class of Flexible and Efficient Key Management Protocols. 2-8 1996 conf/csfw/1996 CSFW https://doi.org/10.1109/CSFW.1996.503685 https://doi.ieeecomputersociety.org/10.1109/CSFW.1996.503685 db/conf/csfw/csfw1996.html#Boyd96 Colin Boyd Towards a classification of key agreement protocols. 38-43 1995 conf/csfw/1995 CSFW https://doi.org/10.1109/CSFW.1995.518551 https://doi.ieeecomputersociety.org/10.1109/CSFW.1995.518551 db/conf/csfw/csfw1995.html#Boyd95 Andrew Smith Colin Boyd An Elliptic Curve Analogue of McCurley's Key Agreement Scheme. 150-157 1995 conf/ima/1995 IMACC db/conf/ima/ima1995.html#SmithB95 https://doi.org/10.1007/3-540-60693-9_17 Colin Boyd Cryptography and Coding, 5th IMA Conference, Cirencester, UK, December 18-20, 1995, Proceedings IMACC Lecture Notes in Computer Science 1025 Springer 1995 3-540-60693-9 https://doi.org/10.1007/3-540-60693-9 db/conf/ima/ima1995.html Colin Boyd Wenbo Mao Design and Analysis of Key Exchange Protocols via Secure Channel Identification. 171-181 1994 conf/asiacrypt/1994 ASIACRYPT db/conf/asiacrypt/asiacrypt94.html#BoydM94 https://doi.org/10.1007/BFb0000433 Wenbo Mao Colin Boyd Development of Authentication Protocols: Some Misconceptions and a New Approach. 1994 conf/csfw/1994 CSFW db/conf/csfw/csfw1994.html#MaoB94 178-186 https://doi.org/10.1109/CSFW.1994.315936 Colin Boyd Wenbo Mao Designing Secure Key Exchange Protocols. 93-105 1994 conf/esorics/1994 ESORICS https://doi.org/10.1007/3-540-58618-0_58 db/conf/esorics/esorics1994.html#BoydM94 Wenbo Mao Colin Boyd On Strengthening Authentication Protocols to Foil Cryptanalysis. 193-204 1994 conf/esorics/1994 ESORICS https://doi.org/10.1007/3-540-58618-0_64 db/conf/esorics/esorics1994.html#MaoB94

Colin Boyd Security Architectures Using Formal Methods. 694-701 1993 11 IEEE J. Sel. Areas Commun. 5 db/journals/jsac/jsac11.html#Boyd93 https://doi.org/10.1109/49.223872

Wenbo Mao Colin Boyd Towards Formal Analysis of Security Protocols. 147-158 1993 conf/csfw/1993 CSFW db/conf/csfw/csfw1993.html#MaoB93 https://doi.org/10.1109/CSFW.1993.246631 Colin Boyd Wenbo Mao On a Limitation of BAN Logic. 240-247 https://doi.org/10.1007/3-540-48285-7_20 1993 conf/eurocrypt/93 EUROCRYPT db/conf/eurocrypt/eurocrypt93.html#BodyM93 Colin Boyd A Formal Framework for Authentication. 273-292 1992 conf/esorics/1992 ESORICS https://doi.org/10.1007/BFb0013903 db/conf/esorics/esorics1992.html#Boyd92 Colin Boyd Enhancing Secrecy by Data Compression: Theoretical and Practical Aspects. 266-280 https://doi.org/10.1007/3-540-46416-6_23 1991 conf/eurocrypt/91 EUROCRYPT db/conf/eurocrypt/eurocrypt91.html#Boyd91 Colin Boyd A New Multiple Key Cipher and an Improved Voting Scheme. 617-625 https://doi.org/10.1007/3-540-46885-4_58 1989 conf/eurocrypt/89 EUROCRYPT db/conf/eurocrypt/eurocrypt89.html#Boyd89 Colin Boyd Some Applications of Multiple Key Ciphers. 455-467 https://doi.org/10.1007/3-540-45961-8_40 1988 conf/eurocrypt/88 EUROCRYPT db/conf/eurocrypt/eurocrypt88.html#Boyd88 Riza Aditya Irfan Ahmed 0001 Janaka Alawatugoda 0001 Aiiad Albeshri Eesa AlsolamiEesa A. Alsolami Hani Alzaid Frederik Armknecht Maryam Rajabzadeh Asaar Man Ho Au Harry Bartlett Nikolett Bereczky Gergely Biczók Wageeh W. Boles Xavier Boyen Andrew P. Bradley Margot Brereton Jaimee Brown Laurie Buys William J. Caelli Christopher Carr Shaokang Chen Kim-Kwang Raymond Choo Sherman S. M. Chow Andrew J. Clark John G. Cleary Yvonne Cliff Craig Costello Cas Cremers Stuart Crozier Gareth T. Davies Ed Dawson Robert Dawson Jason Dowling Jiang Du 0002 Rong Du Denis Edwards Patrick Guy Farrell Michèle Feltz Brian Fitzgerald 0002 Elsie Mestl Fondevik Ernest Foo Yao Jiang GaltelandYao Jiang 0001 Gary Gaskell Kai Gellert Sunil Ghelawat Kristian Gjøsteen M. Choudary Gorantla Christian A. GorkeChristian A. Reuter Clémentine Gritti JaeCheol Ha JungHoon Ha Thomas Haines Britta Hale Jinguang Han Marianne Hirschbichler Hüseyin Hisil Yvonne Hitchcock Sean A. Irvine Asadul K. Islam Roslan Ismail Martin Gilje Jaatun Tibor Jager Angela Jäschke Audun Jøsang Baoyuan Kang Peter Kearney Hwankoo Kim JungJoon Kim Kwangjo Kim Bor de Kock Lakshmi Kuppusamy Bjørn B. Larsen Byoungcheon Lee Kaleb Lee Qinyi Li Jen Lim Georg Lippold Xian Liu Philip Loftus Mark Looi Anthony J. Maeder Greg Maitland Mark Manulis Wenbo Mao Enio Marku Anish Mathuria Lise Millerjord Seyed Hadi Mirisaee Stig Fr. MjølsnesStig Frode Mjølsnes Paul Montague Sang-Jae Moon Long Ngo Khanh Quoc Nguyen Juan Manuel González NietoJuanma González Nieto Hussain Nyeem Eiji Okamoto Takeshi Okamoto DongGook Park JeaHoon Park Kenneth G. Paterson Christopher J. PavlovskiChris Pavlovski Kun Peng Binh Pham 0001 Josef Pieprzyk Birgit M. Planitz Bertram Poettering Håvard Raddum Kenneth Radke Jothi Rangasamy Jason Reid Ingrid Rinsma-Melchert Peter B. Rønne Selwyn Russell Reihaneh Safavi-Naini Mahmoud Salmasizadeh Mats Sandvoll Timothy G. Schaefer Younes Seifi Leonie Ruth SimpsonLeonie Simpson Andrew Smith Jason Smith 0001 Halldis Sohoel Balázs Sonkoly Douglas Stebila Martin Strand 0001 Dongdong Sun Suriadi Suriadi Willy Susilo Yiu Shing Terry Tin Mohsen Toorani Suratose Tritilanunt Raylin Tso Harikrishna Vasanta Kapalee Viswanathan Kapali Viswanathan Ian H. Witten Kenneth Koon-Ho Wong Qianhong Wu Shuang Wu Jeongmo Yang Seungjae Yoo