Cryptology ePrint Archive: Report 2018/424

Circumventing Cryptographic Deniability with Remote Attestation

Lachlan J. Gunn and Ricardo Vieitez Parra and N. Asokan

Abstract: Deniable messaging protocols allow two parties to have 'off-the-record' conversations without leaving any record that can convince external verifiers about what either of them said during the conversation. Recent events like the Podesta email dump underscore the importance of deniable messaging to politicians, whistleblowers, dissidents and many others. Consequently, messaging protocols like Signal and OTR are designed with cryptographic mechanisms to ensure deniable communication, irrespective of whether the communications partner is trusted.

Many commodity devices today support hardware-assisted remote attestation which can be used to convince a remote verifier of some property locally observed on the device.

We show how an adversary can use remote attestation to undetectably generate a non-repudiable transcript from any deniable protocol (including messaging protocols) providing sender authentication. We prove that our attack allows an adversary to convince skeptical verifiers. We describe a concrete implementation of the attack against someone using the Signal messaging protocol. We then show how to design protocols resistant to attestation-based attacks, and in particular how attestation itself can be used to restore deniability by thwarting realistic classes of adversary.

Category / Keywords:

Date: received 9 May 2018, last revised 11 Jan 2019

Contact author: lachlan gunn at aalto fi

Available format(s): PDF | BibTeX Citation

Version: 20190111:225036 (All versions of this report)

Short URL: ia.cr/2018/424


[ Cryptology ePrint archive ]