Gaven J. Watson

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 7

Top Topics

Biometric Authentication

Proxy Re Encryption

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Peihan Miao, Sikhar Patranabis, Gaven J. Watson
Unidirectional Updatable Encryption and Proxy Re-encryption from DDH. Public Key Cryptography (2) (2023)
Shashank Agrawal, Estuardo Alpirez Bock, Yilei Chen, Gaven J. Watson
White-Box Cryptography with Global Device Binding from Message-Recoverable Signatures and Token-Based Obfuscation. COSADE (2023)
Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson
Reducing HSM Reliance in Payments through Proxy Re-Encryption. USENIX Security Symposium (2021)
Shashank Agrawal, Estuardo Alpirez Bock, Yilei Chen, Gaven J. Watson
White-box Cryptography with Device Binding from Token-based Obfuscation and more. IACR Cryptol. ePrint Arch. 2021 (2021)
Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson
Reducing HSM Reliance in Payments through Proxy Re-Encryption. IACR Cryptol. ePrint Arch. 2021 (2021)
Daniel Masny, Gaven J. Watson
A PKI-based Framework for Establishing Efficient MPC Channels. IACR Cryptol. ePrint Arch. 2021 (2021)
Daniel Masny, Gaven J. Watson
A PKI-based Framework for Establishing Efficient MPC Channels. CCS (2021)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
Anonymity guarantees of the UMTS/LTE authentication and connection protocol. Int. J. Inf. Sec. 13 (6) (2014)
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
An analysis of the EMV channel establishment protocol. CCS (2013)
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
An Analysis of the EMV Channel Establishment Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
Anonymity Guarantees of the UMTS/LTE Authentication and Connection Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Mike Bond, George French, Nigel P. Smart, Gaven J. Watson
The Low-Call Diet: Authenticated Encryption for Call Counting HSM Users. CT-RSA (2013)
Gaven J. Watson, Reihaneh Safavi-Naini, Mohsen Alimomeni, Michael E. Locasto, Shivaramakrishnan Narayan
LoSt: location based storage. CCSW (2012)
Kenneth G. Paterson, Gaven J. Watson
Authenticated-Encryption with Padding: A Formal Security Treatment. Cryptography and Security (2012)
Mike Bond, George French, Nigel P. Smart, Gaven J. Watson
The low-call diet: Authenticated Encryption for call counting HSM users. IACR Cryptol. ePrint Arch. 2012 (2012)
Martin R. Albrecht, Pooya Farshim, Kenneth G. Paterson, Gaven J. Watson
On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model. FSE (2011)
Jean Paul Degabriele, Kenneth G. Paterson, Gaven J. Watson
Provable Security in the Real World. IEEE Secur. Priv. 9 (3) (2011)
Martin R. Albrecht, Pooya Farshim, Kenneth G. Paterson, Gaven J. Watson
On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model. IACR Cryptol. ePrint Arch. 2011 (2011)
Kenneth G. Paterson, Gaven J. Watson
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR. EUROCRYPT (2010)
Kenneth G. Paterson, Gaven J. Watson
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR. IACR Cryptol. ePrint Arch. 2010 (2010)
Martin R. Albrecht, Kenneth G. Paterson, Gaven J. Watson
Plaintext Recovery Attacks against SSH. IEEE Symposium on Security and Privacy (2009)
Kenneth G. Paterson, Gaven J. Watson
Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. SCN (2008)