Gaven J. Watson

According to our database, Gaven J. Watson authored at least 17 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Unidirectional Updatable Encryption and Proxy Re-encryption from DDH.

Peihan Miao, Sikhar Patranabis, Gaven J. Watson

Proceedings of the Public-Key Cryptography - PKC 2023, 2023

White-Box Cryptography with Global Device Binding from Message-Recoverable Signatures and Token-Based Obfuscation.

Shashank Agrawal, Estuardo Alpirez Bock, Yilei Chen, Gaven J. Watson

Proceedings of the Constructive Side-Channel Analysis and Secure Design, 2023

2022

Unidirectional Updatable Encryption and Proxy Re-encryption from DDH or LWE.

Peihan Miao, Sikhar Patranabis, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2022

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

2021

A PKI-based Framework for Establishing Efficient MPC Channels.

Daniel Masny, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2021

Reducing HSM Reliance in Payments through Proxy Re-Encryption.

Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2021

White-box Cryptography with Device Binding from Token-based Obfuscation and more.

Shashank Agrawal, Estuardo Alpirez Bock, Yilei Chen, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2021

2014

Anonymity guarantees of the UMTS/LTE authentication and connection protocol.

Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson

Int. J. Inf. Sec., 2014

2013

An Analysis of the EMV Channel Establishment Protocol.

Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2013

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

LoSt: location based storage.

Gaven J. Watson, Reihaneh Safavi-Naini, Mohsen Alimomeni, Michael E. Locasto, Shivaramakrishnan Narayan

Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

Authenticated-Encryption with Padding: A Formal Security Treatment.

Kenneth G. Paterson, Gaven J. Watson

Proceedings of the Cryptography and Security: From Theory to Applications, 2012

2011

Provable Security in the Real World.

Jean Paul Degabriele, Kenneth G. Paterson, Gaven J. Watson

IEEE Secur. Priv., 2011

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

2010

Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR.

Kenneth G. Paterson, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2010

2009

Plaintext Recovery Attacks against SSH.

Martin R. Albrecht, Kenneth G. Paterson, Gaven J. Watson

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

2008

Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment.

Kenneth G. Paterson, Gaven J. Watson

Proceedings of the Security and Cryptography for Networks, 6th International Conference, 2008