Key Recovery System for the Commercial Environment. - Juanma González Nieto; Kapali Viswanathan; Colin Boyd; Ed Dawson (ACISP, 2000)

Key Recovery in Third Generation Wireless Communication Systems. - Juanma González Nieto; DongGook Park; Colin Boyd; Ed Dawson (Public Key Cryptography, 2000)

Key recovery for the commercial environment. - Juan Manuel González Nieto; Kapali Viswanathan; Colin Boyd; Andrew J. Clark; Ed Dawson (Int. J. Inf. Sec., 2002)

Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach. - Yiu Shing Terry Tin; Colin Boyd; Juan Manuel González Nieto (ACISP, 2003)

Provably Secure Key Exchange: An Engineering Approach. - Yiu Shing Terry Tin; Colin Boyd; Juanma González Nieto (ACSW, 2003)

Privacy and Trusted Computing. - Juan Manuel González Nieto; Ed Dawson; Eiji Okamoto (DEXA Workshops, 2003)

A Password-Based Authenticator: Security Proof and Applications. - Yvonne Hitchcock; Yiu Shing Terry Tin; Juan Manuel González Nieto; Colin Boyd; Paul Montague (INDOCRYPT, 2003)

Round-Optimal Contributory Conference Key Agreement. - Colin Boyd; Juan Manuel González Nieto (Public Key Cryptography, 2003)

Protocols with Security Proofs for Mobile Applications. - Yiu Shing Terry Tin; Harikrishna Vasanta; Colin Boyd; Juan Manuel González Nieto (ACISP, 2004)

Implementation of the GBD Cryptosystem. - Jaimee Brown; Ed Dawson; Juan Manuel González Nieto (Cryptographic Algorithms and their Uses, 2004)

Denial of Service Issues in Voice Over IP Networks. - Jason Reid; Andrew J. Clark; Juan Manuel González Nieto; Jason Smith 001; Kapali Viswanathan (ICETE (2), 2004)

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (INDOCRYPT, 2004)

A Secure Framework for User Privacy in Heterogeneous Location Networks. - Harikrishna Vasanta; Yiu Shing Terry Tin; Colin Boyd; Mark Looi; Juan Manuel González Nieto (MATA, 2004)

GBD Threshold Cryptography with an Application to RSA Key Recovery. - Chris Steketee; Jaimee Brown; Juan Manuel González Nieto; Paul Montague (ACISP, 2005)

A Novel Method to Maintain Privacy in Mobile Agent Applications. - Kun Peng; Ed Dawson; Juanma González Nieto; Eiji Okamoto; Javier López 001 (CANS, 2005)

Designing Secure E-Tendering Systems. - Rong Du; Ernest Foo; Juan Manuel González Nieto; Colin Boyd (TrustBus, 2005)

A Public Key Cryptosystem Based On A Subgroup Membership Problem. - Juan Manuel González Nieto; Colin Boyd; Ed Dawson (Des. Codes Cryptogr., 2005)

Some thoughts on Collision Attacks in the Hash Functions MD5, SHA-0 and SHA-1. - Praveen Gauravaram; William Millan; Juanma González Nieto (IACR Cryptol. ePrint Arch., 2005)

3C- A Provably Secure Pseudorandom Function and Message Authentication Code.A New mode of operation for Cryptographic Hash Function. - Praveen Gauravaram; William Millan; Juanma González Nieto; Ed Dawson (IACR Cryptol. ePrint Arch., 2005)

SKMA: a key management architecture for SCADA systems. - Robert Dawson; Colin Boyd; Ed Dawson; Juan Manuel González Nieto (ACSW, 2006)

Modelling denial of service attacks on JFK with Meadows's cost-based framework. - Jason Smith 001; Juan Manuel González Nieto; Colin Boyd (ACSW, 2006)

Concrete Chosen-Ciphertext Secure Encryption from Subgroup Membership Problems. - Jaimee Brown; Juan Manuel González Nieto; Colin Boyd (CANS, 2006)

Klein Bottle Routing: An Alternative to Onion Routing and Mix Network. - Kun Peng; Juan Manuel González Nieto; Yvo Desmedt; Ed Dawson (ICISC, 2006)

Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. - Jaimee Brown; Juan Manuel González Nieto; Colin Boyd (INDOCRYPT, 2006)

Examining the DoS Resistance of HIP. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (OTM Workshops (1), 2006)

Security-Mediated Certificateless Cryptography. - Sherman S. M. Chow; Colin Boyd; Juan Manuel González Nieto (Public Key Cryptography, 2006)

Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model. - Yvonne Hitchcock; Colin Boyd; Juan Manuel González Nieto (Appl. Algebra Eng. Commun. Comput., 2006)

Towards Secure and Legal E-Tendering. - Martin P. Betts; Peter Black; Sharon Christensen; Ed Dawson; Rong Du; William D. Duncan; Ernest Foo; Juan Manuel González Nieto (J. Inf. Technol. Constr., 2006)

Cost-Based Framework and Simulation of DoS-Resistant Protocols Using Coloured Petri Nets. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (ACSC, 2007)

Toward Non-parallelizable Client Puzzles. - Suratose Tritilanunt; Colin Boyd; Ernest Foo; Juan Manuel González Nieto (CANS, 2007)

Detecting relay attacks with timing-based protocols. - Jason Reid; Juan Manuel González Nieto; Tee Tang; Bouchra Senadji (AsiaCCS, 2007)

Access Control in Federated Databases: How Legal Issues Shape Security. - Mark Burdon; Juan Manuel González Nieto; Sharon Christensen; Ed Dawson; William D. Duncan; Bill Lane (EGOV, 2007)

HGLAP - Hierarchical Group-Index Based Lightweight Authentication Protocol for Distributed RFID System. - JaeCheol Ha; Hwankoo Kim; JeaHoon Park; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (EUC Workshops, 2007)

Low-Cost and Strong-Security RFID Authentication Protocol. - JaeCheol Ha; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (EUC Workshops, 2007)

Verifier-Key-Flexible Universal Designated-Verifier Signatures. - Raylin Tso; Juan Manuel González Nieto; Takeshi Okamoto; Colin Boyd; Eiji Okamoto (IMACC, 2007)

Security Analysis and Enhancement of One-Way Hash Based Low-Cost Authentication Protocol (OHLCAP). - JaeCheol Ha; Sang-Jae Moon; Juan Manuel González Nieto; Colin Boyd (PAKDD Workshops, 2007)

Denial-of-service resistance in key establishment. - Jason Smith 001; Suratose Tritilanunt; Colin Boyd; Juan Manuel González Nieto; Ernest Foo (Int. J. Wirel. Mob. Comput., 2007)

Secure Data Aggregation in Wireless Sensor Network: a survey. - Hani Alzaid; Ernest Foo; Juan Manuel González Nieto (AISC, 2008)

ID-based One-pass Authenticated Key Establishment. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (AISC, 2008)

RSDA: Reputation-Based Secure Data Aggregation in Wireless Sensor Networks. - Hani Alzaid; Ernest Foo; Juan Manuel González Nieto (PDCAT, 2008)

Efficient One-round Key Exchange in the Standard Model. - Colin Boyd; Yvonne Cliff; Juan Manuel González Nieto; Kenneth G. Paterson (IACR Cryptol. ePrint Arch., 2008)

Strong Designated Verifier Signature in a Multi-user Setting. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (AISC, 2009)

A Forward and Backward Secure Key Management in Wireless Sensor Networks for PCS/SCADA. - Hani Alzaid; DongGook Park; Juan Manuel González Nieto; Colin Boyd; Ernest Foo (S-CUBE, 2009)

How to Extract and Expand Randomness: A Summary and Explanation of Existing Results. - Yvonne Cliff; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Faster Pairings on Special Weierstrass Curves. - Craig Costello; Hüseyin Hisil; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2009)

Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Universally Composable Contributory Group Key Exchange. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

On the Connection between Signcryption and One-pass Key Establishment. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Generic One Round Group Key Exchange in the Standard Model. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto; Mark Manulis (IACR Cryptol. ePrint Arch., 2009)

Strongly Secure Certificateless Key Agreement. - Georg Lippold; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

Efficient Certificateless KEM in the Standard Model. - Georg Lippold; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2009)

One-round key exchange in the standard model. - Colin Boyd; Yvonne Cliff; Juan Manuel González Nieto; Kenneth G. Paterson (Int. J. Appl. Cryptogr., 2009)

Mitigating Sandwich Attacks Against a Secure Key Management Scheme in Wireless Sensor Networks for PCS/SCADA. - Hani Alzaid; DongGook Park; Juan Manuel González Nieto; Ernest Foo (AINA, 2010)

Certificateless Key Agreement in the Standard Model. - Georg Lippold; Juanma González Nieto (AISC, 2010)

How HCI design influences web security decisions. - Kenneth Radke; Colin Boyd; Margot Brereton; Juan Manuel González Nieto (OZCHI, 2010)

Automating Computational Proofs for Public-Key-Based Key Exchange. - Long Ngo; Colin Boyd; Juan Manuel González Nieto (ProvSec, 2010)

Delegation in Predicate Encryption Supporting Disjunctive Queries. - Dongdong Sun; Colin Boyd; Juan Manuel González Nieto (SEC, 2010)

Avoiding Full Extension Field Arithmetic in Pairing Computations. - Craig Costello; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2010)

Delaying Mismatched Field Multiplications in Pairing Computations. - Craig Costello; Colin Boyd; Juan Manuel González Nieto; Kenneth Koon-Ho Wong (IACR Cryptol. ePrint Arch., 2010)

One Round Group Key Exchange with Forward Security in the Standard Model. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

Attribute-based Authenticated Key Exchange. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

Stronger difficulty notions for client puzzles and denial-of-service-resistant protocols. - Douglas Stebila; Lakshmi Kuppusamy; Jothi Rangasamy; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2010)

An integrated approach to cryptographic mitigation of denial-of-service attacks. - Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juanma González Nieto (AsiaCCS, 2011)

Automated Proofs for Diffie-Hellman-Based Key Exchanges. - Long Ngo; Colin Boyd; Juanma González Nieto (CSF, 2011)

On Forward Secrecy in One-Round Key Exchange. - Colin Boyd; Juanma González Nieto (IMACC, 2011)

Towards a Provably Secure DoS-Resilient Key Exchange Protocol with Perfect Forward Secrecy. - Lakshmi Kuppusamy; Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juanma González Nieto (INDOCRYPT, 2011)

Tensions in Developing a Secure Collective Information Practice - The Case of Agile Ridesharing. - Kenneth Radke; Margot Brereton; Seyed Hadi Mirisaee; Sunil Ghelawat; Colin Boyd; Juan Manuel González Nieto (INTERACT (2), 2011)

Ceremony Analysis: Strengths and Weaknesses. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Margot Brereton (SEC, 2011)

Efficient Modular Exponentiation-based Puzzles for Denial-of-Service Protection. - Jothi Rangasamy; Douglas Stebila; Lakshmi Kuppusamy; Colin Boyd; Juan Manuel González Nieto (IACR Cryptol. ePrint Arch., 2011)

Modeling key compromise impersonation attacks on group key exchange protocols. - M. Choudary Gorantla; Colin Boyd; Juan Manuel González Nieto; Mark Manulis (ACM Trans. Inf. Syst. Secur., 2011)

Who is more susceptible to phishing emails?: A Saudi Arabian study. - Ibrahim Mohammed Alseadoon; Taizan Chan; Ernest Foo; Juan Manuel González Nieto (ACIS, 2012)

Minimizing Information Leakage of Tree-Based RFID Authentication Protocols Using Alternate Tree-Walking. - Kaleb Lee; Colin Boyd; Juan Manuel González Nieto (ACISP, 2012)

Effort-Release Public-Key Encryption from Cryptographic Puzzles. - Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juan Manuel González Nieto; Lakshmi Kuppusamy (ACISP, 2012)

Improving the Efficiency of RFID Authentication with Pre-Computation. - Kaleb Lee; Juan Manuel González Nieto; Colin Boyd (AISC, 2012)

Towards a Secure Human-and-Computer Mutual Authentication Protocol. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Margot Brereton (AISC, 2012)

Practical client puzzles in the standard model. - Lakshmi Kuppusamy; Jothi Rangasamy; Douglas Stebila; Colin Boyd; Juan Manuel González Nieto (AsiaCCS, 2012)

A State-Aware RFID Privacy Model with Reader Corruption. - Kaleb Lee; Juan Manuel González Nieto; Colin Boyd (CSS, 2012)

GeoProof: Proofs of Geographic Location for Cloud Computing Environment. - Aiiad Albeshri; Colin Boyd; Juan Manuel González Nieto (ICDCS Workshops, 2012)

A Framework for Security Analysis of Key Derivation Functions. - Chuah Chai Wen; Ed Dawson; Juan Manuel González Nieto; Leonie Simpson (ISPEC, 2012)

Fully Private Revocable Predicate Encryption. - Juan Manuel González Nieto; Mark Manulis; Dongdong Sun (IACR Cryptol. ePrint Arch., 2012)

A taxonomy of secure data aggregation in wireless sensor networks. - Hani Alzaid; Ernest Foo; Juan Manuel González Nieto; DongGook Park (Int. J. Commun. Networks Distributed Syst., 2012)

Mitigating On-Off attacks in reputation-based secure data aggregation for wireless sensor networks. - Hani Alzaid; Ernest Foo; Juan Manuel González Nieto; Ejaz Ahmed (Secur. Commun. Networks, 2012)

"Who decides?": security and privacy in the wild. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Laurie Buys (OZCHI, 2013)

Publicly verifiable ciphertexts. - Juan Manuel González Nieto; Mark Manulis; Bertram Poettering; Jothi Rangasamy; Douglas Stebila (J. Comput. Secur., 2013)

Predicate encryption for multi-inner-products. - Dongdong Sun; Colin Boyd; Juan Manuel González Nieto (Secur. Commun. Networks, 2013)

Formalising Human Recognition: a Fundamental Building Block for Security Proofs. - Kenneth Radke; Colin Boyd; Juanma González Nieto; Mark Manulis; Douglas Stebila (AISC, 2014)

Automated Proofs for Computational Indistinguishability. - Long Ngo; Colin Boyd; Juan Manuel González Nieto (Comput. J., 2014)

Forward-Secure Hierarchical Predicate Encryption. - Juan Manuel González Nieto; Mark Manulis; Dongdong Sun (Comput. J., 2014)

Enhanced GeoProof: improved geographic assurance for data in the cloud. - Aiiad Albeshri; Colin Boyd; Juan Manuel González Nieto (Int. J. Inf. Sec., 2014)

CHURNs: Freshness Assurance for Humans. - Kenneth Radke; Colin Boyd; Juan Manuel González Nieto; Harry Bartlett (Comput. J., 2015)