Colin Alexander Boyd
Publikasjoner
2022
-
Boyd, Colin Alexander.
(2022)
Key Exchange (Chapter 9).
Asymmetric Cryptography: Primitives and Protocols.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2021
-
Boyd, Colin Alexander.
(2021)
Introduction to the Special Issue on TLS 1.3.
Journal of Cryptology.
volum 34 (3).
Leder
-
Boyd, Colin Alexander;
Davies, Gareth T.;
de Kock, Bor;
Gellert, Kai;
Jager, Tibor;
Millerjord, Lise.
(2021)
Symmetric Key Exchange with Full Forward Security and Robust Synchronization.
Lecture Notes in Computer Science (LNCS).
volum 13093.
Vitenskapelig artikkel
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2021)
SafeLib: a practical library for outsourcing stateful network functions securely.
7th IEEE International Conference on Network Softwarization, NetSoft 2021.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2020
-
Au, Man Ho;
Han, Jinguang;
Wu, Qianhong;
Boyd, Colin Alexander.
(2020)
Special Issue on Cryptographic Currency and Blockchain Technology.
Future generations computer systems.
volum 107.
Leder
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Jiang, Yao.
(2020)
Fast and Secure Updatable Encryption.
Lecture Notes in Computer Science (LNCS).
volum 12170 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Gellert, Kai.
(2020)
A Modern View on Forward Security.
Computer journal.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Haines, Thomas Edmund;
Rønne, Peter.
(2020)
Vote Selling Resistant Voting.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Mathuria, Anish;
Stebila, Douglas.
(2020)
Preface.
Information Security and Cryptography (IS&C).
Leder
-
Boyd, Colin Alexander;
Mathuria, Anish;
Stebila, Douglas.
(2020)
Protocols for Authentication and Key Establishment.
Springer. 2020. ISBN 978-3-662-58145-2.
Vitenskapelig monografi
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2020)
Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions.
IEEE Communications Magazine.
volum 58 (7).
Vitenskapelig artikkel
2019
-
Boyd, Colin Alexander;
Gjøsteen, Kristian;
Gritti, Clementine Jeanne Pierrette;
Haines, Thomas Edmund.
(2019)
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.
Lecture Notes in Computer Science (LNCS).
volum 11898.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Hale, Britta.
(2019)
Secure Channels and Termination: The Last Word on TLS.
Lecture Notes in Computer Science (LNCS).
volum 11368.
Vitenskapelig artikkel
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2019)
Towards protected VNFs for multi-operator service delivery.
Network Softwarization (NetSoft), IEEE Conference on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2018
-
Boyd, Colin Alexander;
Carr, Christopher.
(2018)
Valuable Puzzles for Proofs-of-Work.
Lecture Notes in Computer Science (LNCS).
volum 11025.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Jiang, Yao.
(2018)
Offline Assisted Group Key Exchange.
Lecture Notes in Computer Science (LNCS).
volum 11060 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2018)
Definitions for plaintext-existence hiding in cloud storage.
ARES'18. Proceedings of The 13th International Conference on Availability, Reliability and Security - Hamburg, Germany — August 27 - 30, 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2018)
Security notions for cloud storage and deduplication.
Lecture Notes in Computer Science (LNCS).
volum 11192 LNCS.
Vitenskapelig artikkel
-
Søhoel, Halldis M;
Jaatun, Martin Gilje;
Boyd, Colin Alexander.
(2018)
OWASP Top 10 - Do Startups Care?.
2018 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), Glasgow, Scotland, United Kingdom, 11-12 June 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2017
-
Armknecht, Frederik;
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Toorani, Mohsen.
(2017)
Side channels in deduplication: trade-offs between leakage and efficiency.
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Boyd, Colin Alexander;
Boyen, Xavier;
Carr, Christopher;
Haines, Thomas.
(2017)
Key recovery: Inert and public.
Lecture Notes in Computer Science (LNCS).
volum 10311 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Carr, Christopher;
Boyen, Xavier;
Haines, Thomas.
(2017)
Bitcoin Unchained.
ERCIM News.
volum 110.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Hale, Britta.
(2017)
Secure Channels and Termination: The Last Word on TLS.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
2016
-
Biczok, Gergely;
Sonkoly, Balázs;
Bereczky, Nikolett;
Boyd, Colin Alexander.
(2016)
Private VNFs for collaborative multi-operator service delivery: An architectural case.
Proceedings of NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Boyd, Colin Alexander;
Carr, Christopher.
(2016)
Fair client puzzles from the Bitcoin blockchain.
Lecture Notes in Computer Science (LNCS).
volum 9722.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Cremers, Cas;
Feltz, Michele;
Paterson, K;
Poettering, Bertram;
Stebila, Douglas.
(2016)
ASICS: authenticated key exchange security incorporating certification systems.
International Journal of Information Security.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth T.;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2016)
Using Cryptography to Control Your Data at a Distance.
ERCIM News.
volum 106.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Hale, Britta;
Mjølsnes, Stig Frode;
Stebila, Douglas.
(2016)
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.
Topics in Cryptology - CT-RSA 2016 The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Radke, Kenneth;
Boyd, Colin Alexander.
(2016)
Security Proofs for Protocols Involving Humans.
Computer journal.
Vitenskapelig artikkel
2015
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange.
Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Continuous after-the-fact leakage-resilient eCK-secure key exchange.
Lecture Notes in Computer Science (LNCS).
volum 9496.
Vitenskapelig artikkel
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Protecting encrypted cookies from compression Side-Channel attacks.
Lecture Notes in Computer Science (LNCS).
volum 8975.
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Content-independent embedding scheme for multi-modal medical image watermarking.
Biomedical engineering online.
volum 14 (1).
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Modelling attacks on self-authentication watermarking.
Multimedia Tools and Applications.
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Watermarking capacity control for dynamic payload embedding.
Advances in Intelligent Systems and Computing.
volum 361.
Vitenskapelig artikkel
-
Sandvoll, Mats;
Boyd, Colin Alexander;
Larsen, Bjørn B..
(2015)
PassCue: The Shared Cues System in Practice.
Technology and Practice of Passwords.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2014
-
Alawatugoda, Janaka;
Boyd, Colin Alexander;
Stebila, Douglas.
(2014)
Continuous After-the-Fact Leakage-Resilient Key Exchange.
Information Security and Privacy, 19th Australasian Conference, ACISP 2014.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Albeshri, Aiiad;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan.
(2014)
Enhanced GeoProof: improved geographic assurance for data in the cloud.
International Journal of Information Security.
volum 13 (2).
Vitenskapelig artikkel
-
Hale, Britta J.;
Boyd, Colin Alexander.
(2014)
Computationally Analyzing the ISO 9798-2.4 Authentication Protocol.
Security Standardisation Research: First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2014)
Digital image watermarking: its formal model, fundamental properties and possible attacks.
EURASIP Journal on Advances in Signal Processing.
volum 2014:135.
Vitenskapelig artikkel
-
Radke, Kenneth;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan;
Bartlett, Harry.
(2014)
CHURNs: Freshness Assurance for Humans.
Computer journal.
volum 58 (10).
Vitenskapelig artikkel
-
Seifi, Y;
Suriadi, Suriadi;
Foo, Ernest;
Boyd, Colin Alexander.
(2014)
Security properties analysis in a TPM-based protocol.
International Journal of Security and Networks (IJSN).
volum 9 (2).
Vitenskapelig artikkel
2013
-
Nyeem, Hussain;
Boyd, Colin Alexander;
Boles, Wageeh.
(2013)
Counterfeiting attacks on block-wise dependent fragile watermarking schemes.
Proceedings of the 6th International Conference on Security of Information and Networks.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Radke, Kenneth;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan;
Buys, Laurie.
(2013)
"Who decides?" Security and Privacy in the Wild.
OzCHI '13: Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Tidsskriftspublikasjoner
-
Boyd, Colin Alexander.
(2021)
Introduction to the Special Issue on TLS 1.3.
Journal of Cryptology.
volum 34 (3).
Leder
-
Boyd, Colin Alexander;
Davies, Gareth T.;
de Kock, Bor;
Gellert, Kai;
Jager, Tibor;
Millerjord, Lise.
(2021)
Symmetric Key Exchange with Full Forward Security and Robust Synchronization.
Lecture Notes in Computer Science (LNCS).
volum 13093.
Vitenskapelig artikkel
-
Au, Man Ho;
Han, Jinguang;
Wu, Qianhong;
Boyd, Colin Alexander.
(2020)
Special Issue on Cryptographic Currency and Blockchain Technology.
Future generations computer systems.
volum 107.
Leder
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Jiang, Yao.
(2020)
Fast and Secure Updatable Encryption.
Lecture Notes in Computer Science (LNCS).
volum 12170 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Gellert, Kai.
(2020)
A Modern View on Forward Security.
Computer journal.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Haines, Thomas Edmund;
Rønne, Peter.
(2020)
Vote Selling Resistant Voting.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Mathuria, Anish;
Stebila, Douglas.
(2020)
Preface.
Information Security and Cryptography (IS&C).
Leder
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2020)
Securing Outsourced VNFs: Challenges, State of the Art, and Future Directions.
IEEE Communications Magazine.
volum 58 (7).
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Gjøsteen, Kristian;
Gritti, Clementine Jeanne Pierrette;
Haines, Thomas Edmund.
(2019)
A Blind Coupon Mechanism Enabling Veto Voting over Unreliable Networks.
Lecture Notes in Computer Science (LNCS).
volum 11898.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Hale, Britta.
(2019)
Secure Channels and Termination: The Last Word on TLS.
Lecture Notes in Computer Science (LNCS).
volum 11368.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Carr, Christopher.
(2018)
Valuable Puzzles for Proofs-of-Work.
Lecture Notes in Computer Science (LNCS).
volum 11025.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Jiang, Yao.
(2018)
Offline Assisted Group Key Exchange.
Lecture Notes in Computer Science (LNCS).
volum 11060 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2018)
Security notions for cloud storage and deduplication.
Lecture Notes in Computer Science (LNCS).
volum 11192 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Boyen, Xavier;
Carr, Christopher;
Haines, Thomas.
(2017)
Key recovery: Inert and public.
Lecture Notes in Computer Science (LNCS).
volum 10311 LNCS.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Carr, Christopher;
Boyen, Xavier;
Haines, Thomas.
(2017)
Bitcoin Unchained.
ERCIM News.
volum 110.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Hale, Britta.
(2017)
Secure Channels and Termination: The Last Word on TLS.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Carr, Christopher.
(2016)
Fair client puzzles from the Bitcoin blockchain.
Lecture Notes in Computer Science (LNCS).
volum 9722.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Cremers, Cas;
Feltz, Michele;
Paterson, K;
Poettering, Bertram;
Stebila, Douglas.
(2016)
ASICS: authenticated key exchange security incorporating certification systems.
International Journal of Information Security.
Vitenskapelig artikkel
-
Boyd, Colin Alexander;
Davies, Gareth T.;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2016)
Using Cryptography to Control Your Data at a Distance.
ERCIM News.
volum 106.
Vitenskapelig artikkel
-
Radke, Kenneth;
Boyd, Colin Alexander.
(2016)
Security Proofs for Protocols Involving Humans.
Computer journal.
Vitenskapelig artikkel
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Continuous after-the-fact leakage-resilient eCK-secure key exchange.
Lecture Notes in Computer Science (LNCS).
volum 9496.
Vitenskapelig artikkel
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Protecting encrypted cookies from compression Side-Channel attacks.
Lecture Notes in Computer Science (LNCS).
volum 8975.
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Content-independent embedding scheme for multi-modal medical image watermarking.
Biomedical engineering online.
volum 14 (1).
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Modelling attacks on self-authentication watermarking.
Multimedia Tools and Applications.
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2015)
Watermarking capacity control for dynamic payload embedding.
Advances in Intelligent Systems and Computing.
volum 361.
Vitenskapelig artikkel
-
Albeshri, Aiiad;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan.
(2014)
Enhanced GeoProof: improved geographic assurance for data in the cloud.
International Journal of Information Security.
volum 13 (2).
Vitenskapelig artikkel
-
Nyeem, Hussain;
Boles, Wageeh;
Boyd, Colin Alexander.
(2014)
Digital image watermarking: its formal model, fundamental properties and possible attacks.
EURASIP Journal on Advances in Signal Processing.
volum 2014:135.
Vitenskapelig artikkel
-
Radke, Kenneth;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan;
Bartlett, Harry.
(2014)
CHURNs: Freshness Assurance for Humans.
Computer journal.
volum 58 (10).
Vitenskapelig artikkel
-
Seifi, Y;
Suriadi, Suriadi;
Foo, Ernest;
Boyd, Colin Alexander.
(2014)
Security properties analysis in a TPM-based protocol.
International Journal of Security and Networks (IJSN).
volum 9 (2).
Vitenskapelig artikkel
Bøker
-
Boyd, Colin Alexander;
Mathuria, Anish;
Stebila, Douglas.
(2020)
Protocols for Authentication and Key Establishment.
Springer. 2020. ISBN 978-3-662-58145-2.
Vitenskapelig monografi
Del av bok/rapport
-
Boyd, Colin Alexander.
(2022)
Key Exchange (Chapter 9).
Asymmetric Cryptography: Primitives and Protocols.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2021)
SafeLib: a practical library for outsourcing stateful network functions securely.
7th IEEE International Conference on Network Softwarization, NetSoft 2021.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Marku, Enio;
Biczok, Gergely;
Boyd, Colin Alexander.
(2019)
Towards protected VNFs for multi-operator service delivery.
Network Softwarization (NetSoft), IEEE Conference on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Raddum, Håvard;
Toorani, Mohsen.
(2018)
Definitions for plaintext-existence hiding in cloud storage.
ARES'18. Proceedings of The 13th International Conference on Availability, Reliability and Security - Hamburg, Germany — August 27 - 30, 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Søhoel, Halldis M;
Jaatun, Martin Gilje;
Boyd, Colin Alexander.
(2018)
OWASP Top 10 - Do Startups Care?.
2018 International Conference on Cyber Security and Protection of Digital Services (Cyber Security), Glasgow, Scotland, United Kingdom, 11-12 June 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Armknecht, Frederik;
Boyd, Colin Alexander;
Davies, Gareth Thomas;
Gjøsteen, Kristian;
Toorani, Mohsen.
(2017)
Side channels in deduplication: trade-offs between leakage and efficiency.
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Biczok, Gergely;
Sonkoly, Balázs;
Bereczky, Nikolett;
Boyd, Colin Alexander.
(2016)
Private VNFs for collaborative multi-operator service delivery: An architectural case.
Proceedings of NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Boyd, Colin Alexander;
Hale, Britta;
Mjølsnes, Stig Frode;
Stebila, Douglas.
(2016)
From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS.
Topics in Cryptology - CT-RSA 2016 The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Alawatugoda, Janaka;
Stebila, Douglas;
Boyd, Colin Alexander.
(2015)
Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange.
Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Sandvoll, Mats;
Boyd, Colin Alexander;
Larsen, Bjørn B..
(2015)
PassCue: The Shared Cues System in Practice.
Technology and Practice of Passwords.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Alawatugoda, Janaka;
Boyd, Colin Alexander;
Stebila, Douglas.
(2014)
Continuous After-the-Fact Leakage-Resilient Key Exchange.
Information Security and Privacy, 19th Australasian Conference, ACISP 2014.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hale, Britta J.;
Boyd, Colin Alexander.
(2014)
Computationally Analyzing the ISO 9798-2.4 Authentication Protocol.
Security Standardisation Research: First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Nyeem, Hussain;
Boyd, Colin Alexander;
Boles, Wageeh.
(2013)
Counterfeiting attacks on block-wise dependent fragile watermarking schemes.
Proceedings of the 6th International Conference on Security of Information and Networks.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Radke, Kenneth;
Boyd, Colin Alexander;
Gonzalez Nieto, Juan;
Buys, Laurie.
(2013)
"Who decides?" Security and Privacy in the Wild.
OzCHI '13: Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Undervisning
Emner
Formidling
2020
-
Vitenskapelig foredragwu, shuang; Gjøsteen, Kristian; Boyd, Colin Alexander. (2020) A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. 2nd Workshop on Formal Methods for Blockchains ; 2020-07-20 - 2020-07-21.
2017
-
Faglig foredragArmknecht, Frederik; Boyd, Colin Alexander; Davies, Gareth Thomas; Gjøsteen, Kristian; Toorani, Mohsen. (2017) Side channels in deduplication: trade-offs between leakage and efficiency. ACM Asia Conference on Computer and Communications Security (ASIACCS'17) . ACM; 2017-04-02 - 2017-04-06.
-
Vitenskapelig foredragBoyd, Colin Alexander; Armknecht, Frederik; Davies, Gareth Thomas; Gjøsteen, Kristian; Raddum, Håvard; Toorani, Mohsen. (2017) Secure Deduplication - Models and Optimization. Distinguished Lectures Series in Cybersecurity . CRISP – Center for Research in Security and Privacy; Darmstadt. 2017-11-16.
2016
-
Vitenskapelig foredragBiczok, Gergely; Sonkoly, Balázs; Bereczky, Nikolett; Boyd, Colin Alexander. (2016) Private VNFs for collaborative multi-operator service delivery: An architectural case. NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium . IEEE; 2016-04-25 - 2016-04-29.
-
Vitenskapelig foredragBoyd, Colin Alexander. (2016) Modelling the Security of Key Exchange. Tenth International Conference on Provable Security (ProvSec 2016) . Nanjing University of Finance and Economics; Nanjing. 2016-11-10 - 2016-11-12.
-
Vitenskapelig foredragBoyd, Colin Alexander; Boyen, Xavier; Carr, Christopher; Haines, Thomas. (2016) Key Recovery: Inert, Public, Transparent (KRIPT). Mycrypt 2016: Paradigm-shifting Crypto . MMU; Pullman Kuala Lumpur City Centre. 2016-12-01 - 2016-12-02.
-
Vitenskapelig foredragBoyd, Colin Alexander; Hale, Britta. (2016) Secure Channels and Termination: The Last Word on TLS. Secure Key Exchange and Channel Protocols (SKECH) Workshop 2016 . Marc Fischlin, Bogdan Warinschi; Bertinoro, Italy. 2016-07-01 - 2016-07-04.
-
Vitenskapelig foredragBoyd, Colin Alexander; Hale, Britta; Mjølsnes, Stig Frode; Stebila, Douglas. (2016) A Hierarchy of Authentication and Authenticated Encryption Constructions with Application to TLS. TU-Darmstadt Invited Talk . Marc Fischlin; Darmstadt, Germany. 2016-04-21 - 2016-04-21.
-
Vitenskapelig foredragBoyd, Colin Alexander; Hale, Britta; Mjølsnes, Stig Frode; Stebila, Douglas. (2016) From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS. CT-RSA 2016 ; San Francisco, USA. 2016-02-29 - 2016-03-04.
-
Vitenskapelig foredragBoyd, Colin Alexander; Hale, Britta; Mjølsnes, Stig Frode; Stebila, Douglas. (2016) Stateful Authentication and AEAD Experiments: Constructing a Bridge in the Analysis of TLS. COINS Finse Winter School 2016 . Tor Helleseth, Britta Hale, Hanno Langweg; Finse, Norway. 2016-04-24 - 2016-04-29.
2015
-
Vitenskapelig foredragAlawatugoda, Janaka; Stebila, Douglas; Boyd, Colin Alexander. (2015) Protecting Encrypted Cookies from Compression Side-Channel Attacks. Financial Cryptography and Data Security ; 2015-01-26 - 2015-01-30.
-
Vitenskapelig foredragBoyd, Colin Alexander; Stebila, Douglas; Alawatugoda, Janaka. (2015) Continuous After-the-Fact Leakage-Resilient eCK-Secure Key Exchange. Fifteenth IMA International Conference on Cryptography and Coding . The Institute of Mathematics and its Applications (IMA); Oxford. 2015-12-15 - 2015-12-17.
2014
-
Vitenskapelig foredragAlawatugoda, Janaka; Boyd, Colin Alexander; Stebila, Douglas. (2014) Continuous after-the-fact leakage-resilient key exchange. Information Security and Privacy 19th Australasian Conference, ACISP 2014 ; 2014-07-07 - 2014-07-09.
-
Vitenskapelig foredragHale, Britta J.; Boyd, Colin Alexander. (2014) Computationally Analyzing the ISO 9798-2.4 Authentication Protocol. SSR'14 ; Royal Holloway University of London, Egham, UK. 2014-12-16 - 2014-12-17.
-
Vitenskapelig foredragRadke, Kenneth; Boyd, Colin Alexander; Gonzalez Nieto, Juan; Manulis, Mark; Stebila, Douglas. (2014) Formalising Human Recognition: a Fundamental Building Block for Security Proofs. Australasian Information Security Conference (ACSW-AISC) 2014 ; 2014-01-20 - 2014-01-23.
-
Vitenskapelig foredragSandvoll, Mats; Boyd, Colin Alexander; Larsen, Bjørn B.. (2014) PassCue: the Shared Cues System in Practice. The 7 th International Conference on Passwords ; Trondheim. 2014-12-08 - 2014-12-10.
2013
-
Vitenskapelig foredragNyeem, Hussain; Boyd, Colin Alexander; Boles, Wageeh. (2013) Counterfeiting attacks on block-wise dependent fragile watermarking schemes. 6th International Conference on Security of Information and Networks . ACM; Aksaray University. 2013-11-26 - 2013-11-28.
-
Vitenskapelig foredragRadke, Kenneth; Boyd, Colin Alexander; Gonzalez Nieto, Juan; Buys, Laurie. (2013) "Who decides?" Security and Privacy in the Wild. OzCHI 2013 . Human Factors and Ergonomics Society of Australia Inc.; Adelaide. 2013-11-25 - 2013-11-29.