Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. - Kenneth G. Paterson; Gaven J. Watson (SCN, 2008)

Plaintext Recovery Attacks against SSH. - Martin R. Albrecht; Kenneth G. Paterson; Gaven J. Watson (SP, 2009)

Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR. - Kenneth G. Paterson; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2010)

On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model. - Martin R. Albrecht; Pooya Farshim; Kenneth G. Paterson; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2011)

Provable Security in the Real World. - Jean Paul Degabriele; Kenneth G. Paterson; Gaven J. Watson (IEEE Secur. Priv., 2011)

Authenticated-Encryption with Padding: A Formal Security Treatment. - Kenneth G. Paterson; Gaven J. Watson (Cryptography and Security, 2012)

LoSt: location based storage. - Gaven J. Watson; Reihaneh Safavi-Naini; Mohsen Alimomeni; Michael E. Locasto; Shivaramakrishnan Narayan (CCSW, 2012)

The low-call diet: Authenticated Encryption for call counting HSM users. - Mike Bond; George French; Nigel P. Smart; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2012)

An Analysis of the EMV Channel Establishment Protocol. - Christina Brzuska; Nigel P. Smart; Bogdan Warinschi; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2013)

Anonymity Guarantees of the UMTS/LTE Authentication and Connection Protocol. - Ming-Feng Lee; Nigel P. Smart; Bogdan Warinschi; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2013)

White-box Cryptography with Device Binding from Token-based Obfuscation and more. - Shashank Agrawal; Estuardo Alpirez Bock; Yilei Chen 001; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2021)

Reducing HSM Reliance in Payments through Proxy Re-Encryption. - Sivanarayana Gaddam; Atul Luykx; Rohit Sinha 001; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2021)

A PKI-based Framework for Establishing Efficient MPC Channels. - Daniel Masny; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2021)

Avoiding Lock Outs: Proactive FIDO Account Recovery using Managerless Group Signatures. - Sunpreet S. Arora; Saikrishna Badrinarayanan; Srinivasan Raghuraman; Maliheh Shirvanian; Kim Wagner; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2022)

Unidirectional Updatable Encryption and Proxy Re-encryption from DDH or LWE. - Peihan Miao 001; Sikhar Patranabis; Gaven J. Watson (IACR Cryptol. ePrint Arch., 2022)

White-Box Cryptography with Global Device Binding from Message-Recoverable Signatures and Token-Based Obfuscation. - Shashank Agrawal; Estuardo Alpirez Bock; Yilei Chen 001; Gaven J. Watson (COSADE, 2023)

Unidirectional Updatable Encryption and Proxy Re-encryption from DDH. - Peihan Miao 001; Sikhar Patranabis; Gaven J. Watson (Public Key Cryptography (2), 2023)