| 2021 | TrustCom | Privacy-Preserving Biometric Matching Using Homomorphic Encryption. | Gatan Pradel, Chris J. Mitchell |
| 2021 | TrustBus | Automating the Evaluation of Trustworthiness. | Marc Sel, Chris J. Mitchell |
| 2020 | ESORICS | Post-quantum Certificates for Electronic Travel Documents. | Gatan Pradel, Chris J. Mitchell |
| 2018 | PST | Mitigating CSRF attacks on OAuth 2.0 Systems. | Wanpeng Li, Chris J. Mitchell, Thomas M. Chen |
| 2016 | DIMVA | Analysing the Security of Google's Implementation of OpenID Connect. | Wanpeng Li, Chris J. Mitchell |
| 2016 | WISTP | Password Generators: Old Ideas and New. | Fatma Al Maqbali, Chris J. Mitchell |
| 2014 | ACISP | Another Look at Privacy Threats in 3G Mobile Telephony. | Mohammed Shafiul Alam Khan, Chris J. Mitchell |
| 2013 | ACISP | Analysing the IOBC Authenticated Encryption Mode. | Chris J. Mitchell |
| 2012 | SecureComm | Building General-Purpose Security Services on EMV Payment Cards. | Chunhua Chen, Shaohua Tang, Chris J. Mitchell |
| 2011 | DBSEC | Enhancing CardSpace Authentication Using a Mobile Device. | Haitham S. Al-Sinani, Chris J. Mitchell |
| 2011 | SIN | Extending the Scope of cardspace. | Haitham S. Al-Sinani, Chris J. Mitchell |
| 2011 | WISTP | SSL/TLS Session-Aware User Authentication Using a GAA Bootstrapped Key. | Chunhua Chen, Chris J. Mitchell, Shaohua Tang |
| 2009 | NSS | Scalable RFID Pseudonym Protocol. | Boyeon Song, Chris J. Mitchell |
| 2006 | SECRYPT | A Service Discovery Threat Model for Ad Hoc Networks. | Adrian Leung, Chris J. Mitchell |
| 2006 | SECRYPT | Modelling E-Business Security Using Business Processes. | Sharon Nachtigal, Chris J. Mitchell |
| 2005 | ACISP | Cryptanalysis of Two Variants of PCBC Mode When Used for Message Integrity. | Chris J. Mitchell |
| 2005 | CIS | On the Security of Some Password-Based Key Agreement Schemes. | Qiang Tang, Chris J. Mitchell |
| 2005 | CIS | Efficient Compilers for Authenticated Group Key Exchange. | Qiang Tang, Chris J. Mitchell |
| 2005 | FSE | Analysis of the Bit-Search Generator and Sequence Compression Techniques. | Aline Gouget, Herv Sibert, Cme Berbain, Nicolas T. Courtois, Blandine Debraize, Chris J. Mitchell |
| 2005 | FSE | Padding Oracle Attacks on CBC-Mode Encryption with Secret and Random IVs. | Arnold K. L. Yau, Kenneth G. Paterson, Chris J. Mitchell |
| 2005 | ICICS | Security Properties of Two Authenticated Conference Key Agreement Protocols. | Qiang Tang, Chris J. Mitchell |
| 2005 | SEC | Overcoming Channel Bandwidth Constraints in Secure SIM Applications. | John A. MacDonald, William G. Sirett, Chris J. Mitchell |
| 2004 | GLOBECOM | Impostor: a single sign-on system for use from untrusted devices. | Andreas Pashalidis, Chris J. Mitchell |
| 2003 | ACISP | A Taxonomy of Single Sign-On Systems. | Andreas Pashalidis, Chris J. Mitchell |
| 2003 | ACNS | Security Protocols for Biometrics-Based Cardholder Authentication in Smartcards. | Luciano Rila, Chris J. Mitchell |
| 2003 | WISA | PANA/IKEv2: An Internet Authentication Protocol for Heterogeneous Access. | Paulo S. Pagliusi, Chris J. Mitchell |
| 2002 | CARDIS | Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication. | Luciano Rila, Chris J. Mitchell |
| 2001 | ACISP | New CBC-MAC Forgery Attacks. | Karl Brincat, Chris J. Mitchell |
| 2001 | ICISC | Enhancing the Security of Cookies. | Vorapranee Khu-smith, Chris J. Mitchell |
| 2000 | CRYPTO | Key Recovery and Forgery Attacks on the MacDES MAC Algorithm. | Don Coppersmith, Lars R. Knudsen, Chris J. Mitchell |
| 1997 | ACISP | Secret Sharing with Reusable Polynomials. | Liqun Chen, Dieter Gollmann, Chris J. Mitchell, Peter R. Wild |
| 1997 | ICICS | An anonymous and undeniable payment scheme. | Liqun Chen, Chris J. Mitchell |
| 1996 | ACISP | Tailoring authentication protocols to match underlying mechanisms. | Liqun Chen, Dieter Gollmann, Chris J. Mitchell |
| 1989 | EuroCrypt | Key Minimal Authentication Systems for Unconditional Secrecy. | Philippe Godlewski, Chris J. Mitchell |