Gaven J. Watson

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