Colin Boyd

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 40

Top Venues

IACR Cryptol. ePrint Arch.

Comput. J.

Int. J. Inf. Sec.

ISC

Publications

Colin Boyd, Bor de Kock, Lise Millerjord
Modular Design of KEM-Based Authenticated Key Exchange. ACISP (2023)
Colin Boyd, Elsie Mestl Fondevik, Kristian Gjøsteen, Lise Millerjord
Hybrid Group Key Exchange with Application to Constrained Networks. ISC (2023)
Colin Boyd, Bor de Kock, Lise Millerjord
Modular Design of KEM-Based Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2023 (2023)
Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord
Symmetric Key Exchange with Full Forward Security and Robust Synchronization. IACR Cryptol. ePrint Arch. 2021 (2021)
Colin Boyd, Kai Gellert
A Modern View on Forward Security. Comput. J. 64 (4) (2021)
Colin Boyd
Introduction to the Special Issue on TLS 1.3. J. Cryptol. 34 (3) (2021)
Colin Boyd, Gareth T. Davies, Bor de Kock, Kai Gellert, Tibor Jager, Lise Millerjord
Symmetric Key Exchange with Full Forward Security and Robust Synchronization. ASIACRYPT (4) (2021)
Enio Marku, Gergely Biczók, Colin Boyd
SafeLib: a practical library for outsourcing stateful network functions securely. NetSoft (2021)
Colin Boyd, Kristian Gjøsteen, Shuang Wu
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. FMBC@CAV (2020)
Enio Marku, Gergely Biczók, Colin Boyd
Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions. IEEE Commun. Mag. 58 (7) (2020)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Fast and Secure Updatable Encryption. CRYPTO (1) (2020)
Man Ho Au, Jinguang Han, Qianhong Wu, Colin Boyd
Special Issue on Cryptographic Currency and Blockchain Technology. Future Gener. Comput. Syst. 107 (2020)
Colin Boyd, Thomas Haines, Peter B. Rønne
Vote Selling Resistant Voting. Financial Cryptography Workshops (2020)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
RISE and SHINE: Fast and Secure Updatable Encryption. IACR Cryptol. ePrint Arch. 2019 (2019)
Colin Boyd, Kristian Gjøsteen, Clémentine Gritti, Thomas Haines
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks. INDOCRYPT (2019)
Enio Marku, Gergely Biczók, Colin Boyd
Towards protected VNFs for multi-operator service delivery. NetSoft (2019)
Colin Boyd, Kai Gellert
A Modern View on Forward Security. IACR Cryptol. ePrint Arch. 2019 (2019)
Halldis Sohoel, Martin Gilje Jaatun, Colin Boyd
OWASP Top 10 - Do Startups Care? Cyber Security (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Definitions for Plaintext-Existence Hiding in Cloud Storage. ARES (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Offline Assisted Group Key Exchange. IACR Cryptol. ePrint Arch. 2018 (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Yao Jiang
Offline Assisted Group Key Exchange. ISC (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Security Notions for Cloud Storage and Deduplication. ProvSec (2018)
Colin Boyd, Christopher Carr
Valuable Puzzles for Proofs-of-Work. DPM/CBT@ESORICS (2018)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Definitions for Plaintext-Existence Hiding in Cloud Storage. IACR Cryptol. ePrint Arch. 2018 (2018)
Kenneth Radke, Colin Boyd
Security Proofs for Protocols Involving Humans. Comput. J. 60 (4) (2017)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: authenticated key exchange security incorporating certification systems. Int. J. Inf. Sec. 16 (2) (2017)
Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
Key Recovery: Inert and Public. IACR Cryptol. ePrint Arch. 2017 (2017)
Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. AsiaCCS (2017)
Colin Boyd, Britta Hale
Secure Channels and Termination: The Last Word on TLS. LATINCRYPT (2017)
Christopher Carr, Colin Boyd, Xavier Boyen, Thomas Haines
Bitcoin Unchained. ERCIM News 2017 (110) (2017)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani, Håvard Raddum
Security notions for cloud storage and deduplication. IACR Cryptol. ePrint Arch. 2017 (2017)
Colin Boyd, Britta Hale
Secure Channels and Termination: The Last Word on TLS. IACR Cryptol. ePrint Arch. 2017 (2017)
Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. CT-RSA (2016)
Frederik Armknecht, Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Mohsen Toorani
Side channels in deduplication: trade-offs between leakage and efficiency. IACR Cryptol. ePrint Arch. 2016 (2016)
Colin Boyd, Xavier Boyen, Christopher Carr, Thomas Haines
Key Recovery: Inert and Public. Mycrypt (2016)
Gergely Biczók, Balázs Sonkoly, Nikolett Bereczky, Colin Boyd
Private VNFs for collaborative multi-operator service delivery: An architectural case. NOMS (2016)
Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani
Using Cryptography to Control Your Data at a Distance. ERCIM News 2016 (106) (2016)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
Modelling attacks on self-authentication watermarking. Multim. Tools Appl. 75 (23) (2016)
Colin Boyd, Christopher Carr
Fair Client Puzzles from the Bitcoin Blockchain. IACR Cryptol. ePrint Arch. 2016 (2016)
Colin Boyd, Christopher Carr
Fair Client Puzzles from the Bitcoin Blockchain. ACISP (1) (2016)
Maryam Rajabzadeh Asaar, Mahmoud Salmasizadeh, Colin Boyd
Identity-based proxy signatures: a generic construction and a concrete scheme from RSA. Secur. Commun. Networks 8 (18) (2015)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange. IMACC (2015)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Analysis of two authorization protocols using Colored Petri Nets. Int. J. Inf. Sec. 14 (3) (2015)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Harry Bartlett
CHURNs: Freshness Assurance for Humans. Comput. J. 58 (10) (2015)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-fact Leakage-Resilient eCK-secure Key Exchange. IACR Cryptol. ePrint Arch. 2015 (2015)
Frederik Armknecht, Colin Boyd, Christopher Carr, Kristian Gjøsteen, Angela Jäschke, Christian A. Reuter, Martin Strand
A Guide to Fully Homomorphic Encryption. IACR Cryptol. ePrint Arch. 2015 (2015)
Colin Boyd, Britta Hale, Stig Frode Mjølsnes, Douglas Stebila
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. IACR Cryptol. ePrint Arch. 2015 (2015)
Chris Pavlovski, Colin Boyd
Microcash: Efficient Off-Line Small Payments. IACR Cryptol. ePrint Arch. 2015 (2015)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Protecting Encrypted Cookies from Compression Side-Channel Attacks. Financial Cryptography (2015)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-fact Leakage-Resilient Key Exchange (full version). IACR Cryptol. ePrint Arch. 2014 (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Modelling after-the-fact leakage for key exchange. AsiaCCS (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Modelling After-the-fact Leakage for Key Exchange. IACR Cryptol. ePrint Arch. 2014 (2014)
Janaka Alawatugoda, Douglas Stebila, Colin Boyd
Protecting Encrypted Cookies from Compression Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2014 (2014)
Long Ngo, Colin Boyd, Juan Manuel González Nieto
Automated Proofs for Computational Indistinguishability. Comput. J. 57 (10) (2014)
Janaka Alawatugoda, Colin Boyd, Douglas Stebila
Continuous After-the-Fact Leakage-Resilient Key Exchange. ACISP (2014)
Kenneth Radke, Colin Boyd, Juanma González Nieto, Mark Manulis, Douglas Stebila
Formalising Human Recognition: a Fundamental Building Block for Security Proofs. AISC (2014)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
Digital image watermarking: its formal model, fundamental properties and possible attacks. EURASIP J. Adv. Signal Process. 2014 (2014)
Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
Enhanced GeoProof: improved geographic assurance for data in the cloud. Int. J. Inf. Sec. 13 (2) (2014)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Security properties analysis in a TPM-based protocol. Int. J. Secur. Networks 9 (2) (2014)
Mats Sandvoll, Colin Boyd, Bjørn B. Larsen
PassCue: The Shared Cues System in Practice. PASSWORDS (2014)
Britta Hale, Colin Boyd
Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. SSR (2014)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
Utilizing Least Significant Bit-Planes of RONI Pixels for Medical Image Watermarking. DICTA (2013)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Laurie Buys
"Who decides?": security and privacy in the wild. OZCHI (2013)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. IACR Cryptol. ePrint Arch. 2013 (2013)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
Counterfeiting attacks on block-wise dependent fragile watermarking schemes. SIN (2013)
Colin Boyd
Cryptography in the Cloud: Advances and Challenges. J. Inform. and Commun. Convergence Engineering 11 (1) (2013)
Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
Predicate encryption for multi-inner-products. Secur. Commun. Networks 6 (3) (2013)
Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems. ESORICS (2013)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
A Review of Medical Image Watermarking Requirements for Teleradiology. J. Digit. Imaging 26 (2) (2013)
Aiiad Albeshri, Colin Boyd, Juan Manuel González Nieto
GeoProof: Proofs of Geographic Location for Cloud Computing Environment. ICDCS Workshops (2012)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. AISC (2012)
Colin Boyd, Denis Edwards, Philip Loftus, Timothy G. Schaefer
Chief information officer (CIO) panel: how to groom IT leadership as change agents. CPR (2012)
Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto, Lakshmi Kuppusamy
Effort-Release Public-Key Encryption from Cryptographic Puzzles. ACISP (2012)
Kaleb Lee, Colin Boyd, Juan Manuel González Nieto
Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. ACISP (2012)
Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
A State-Aware RFID Privacy Model with Reader Corruption. CSS (2012)
Kaleb Lee, Juan Manuel González Nieto, Colin Boyd
Improving the Efficiency of RFID Authentication with Pre-Computation. AISC (2012)
Lakshmi Kuppusamy, Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juan Manuel González Nieto
Practical client puzzles in the standard model. AsiaCCS (2012)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
Towards a Secure Human-and-Computer Mutual Authentication Protocol. AISC (2012)
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. INTERACT (2) (2011)
Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
Efficient Modular Exponentiation-Based Puzzles for Denial-of-Service Protection. ICISC (2011)
Long Ngo, Colin Boyd, Juanma González Nieto
Automated Proofs for Diffie-Hellman-Based Key Exchanges. CSF (2011)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis
Modeling key compromise impersonation attacks on group key exchange protocols. ACM Trans. Inf. Syst. Secur. 14 (4) (2011)
Hussain Nyeem, Wageeh W. Boles, Colin Boyd
Developing a Digital Image Watermarking Model. DICTA (2011)
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. INDOCRYPT (2011)
Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Irfan Ahmed
User-representative feature selection for keystroke dynamics. NSS (2011)
Jothi Rangasamy, Douglas Stebila, Lakshmi Kuppusamy, Colin Boyd, Juan Manuel González Nieto
Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. IACR Cryptol. ePrint Arch. 2011 (2011)
Colin Boyd, Juanma González Nieto
On Forward Secrecy in One-Round Key Exchange. IMACC (2011)
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. CT-RSA (2011)
Jothi Rangasamy, Douglas Stebila, Colin Boyd, Juanma González Nieto
An integrated approach to cryptographic mitigation of denial-of-service attacks. AsiaCCS (2011)
Kenneth Radke, Colin Boyd, Juan Manuel González Nieto, Margot Brereton
Ceremony Analysis: Strengths and Weaknesses. SEC (2011)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Delaying Mismatched Field Multiplications in Pairing Computations. IACR Cryptol. ePrint Arch. 2010 (2010)
Long Ngo, Colin Boyd, Juan Manuel González Nieto
Automating Computational Proofs for Public-Key-Based Key Exchange. ProvSec (2010)
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. IACR Cryptol. ePrint Arch. 2010 (2010)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Attribute-Based Authenticated Key Exchange. ACISP (2010)
Eesa A. Alsolami, Colin Boyd, Andrew J. Clark, Asadul K. Islam
Continuous Biometric Authentication: Can It Be More Practical? HPCC (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Delaying Mismatched Field Multiplications in Pairing Computations. WAIFI (2010)
Dongdong Sun, Colin Boyd, Juan Manuel González Nieto
Delegation in Predicate Encryption Supporting Disjunctive Queries. SEC (2010)
M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto
Attribute-based Authenticated Key Exchange. IACR Cryptol. ePrint Arch. 2010 (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Avoiding Full Extension Field Arithmetic in Pairing Computations. IACR Cryptol. ePrint Arch. 2010 (2010)
Craig Costello, Colin Boyd, Juan Manuel González Nieto, Kenneth Koon-Ho Wong
Avoiding Full Extension Field Arithmetic in Pairing Computations. AFRICACRYPT (2010)

Colin Boyd.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Colin Boyd