Gaven J. Watson

dblp:52/2914 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
2since 2021 · last 2021
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 7 · 2 since 2021
YearPublicationVenuePosition
2021 A PKI-based Framework for Establishing Efficient MPC Channels
abstract
The Transport Layer Security (TLS) protocol is a fundamental building block for ensuring security on Internet. It provides an easy to use framework for the purposes of establishing an authenticated and secure channel between two parties that have never physically met. Nevertheless, TLS only provides a simple cryptographic functionality compared to more advanced protocols such as protocols for secure multiparty computation (MPC).
Daniel Masny, Gaven J. Watson
CCS2
2021 Reducing HSM Reliance in Payments through Proxy Re-Encryption
Sivanarayana Gaddam, Atul Luykx, Rohit Sinha 0001, Gaven J. Watson
USENIX Security Symposium4
2013 An analysis of the EMV channel establishment protocol
abstract
With over 1.6 billion debit and credit cards in use worldwide, the EMV system (a.k.a. "Chip-and-PIN") has become one of the most important deployed cryptographic protocol suites. Recently, the EMV consortium has decided to upgrade the existing RSA based system with a new system relying on Elliptic Curve Cryptography (ECC). One of the central components of the new system is a protocol that enables a card to establish a secure channel with a card reader. In this paper we provide a security analysis of the proposed protocol, we propose minor changes/clarifications to the "Request for Comments" issued in Nov 2012, and demonstrate that the resulting protocol meets the intended security goals.
Christopher Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
CCS4
2013 The Low-Call Diet: Authenticated Encryption for Call Counting HSM Users
Mike Bond, George French, Nigel P. Smart, Gaven J. Watson
CT-RSA4
2011 On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model
Martin R. Albrecht, Pooya Farshim, Kenneth G. Paterson, Gaven J. Watson
FSE4
2010 Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR
Kenneth G. Paterson, Gaven J. Watson
EUROCRYPT2
2009 Plaintext Recovery Attacks against SSH
abstract
This paper presents a variety of plaintext-recovering attacks against SSH. We implemented a proof of concept of our attacks against OpenSSH, where we can verifiably recover 14 bits of plaintext from an arbitrary block of ciphertext with probability $2^{-14}$ and 32 bits of plaintext from an arbitrary block of ciphertext with probability $2^{-18}$. These attacks assume the default configuration of a 128-bit block cipher operating in CBC mode. The paper explains why a combination of flaws in the basic design of SSH leads implementations such as OpenSSH to be open to our attacks, why current provable security results for SSH do not cover our attacks, and how the attacks can be prevented in practice.
Martin R. Albrecht, Kenneth G. Paterson, Gaven J. Watson
SP3