Edinburgh Research Explorer

A Formal Treatment of Hardware Wallets

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationFinancial Cryptography and Data Security - 23rd International Conference, FC 2019
Number of pages20
StateAccepted/In press - 14 Nov 2018
EventFinancial Cryptography and Data Security 2019 - St. Kitts Marriott Resort, St Kitts, Saint Kitts and Nevis
Duration: 18 Feb 201922 Feb 2019
https://fc19.ifca.ai/

Conference

ConferenceFinancial Cryptography and Data Security 2019
Abbreviated titleFC 2019
CountrySaint Kitts and Nevis
CitySt Kitts
Period18/02/1922/02/19
Internet address

Abstract

Bitcoin, being the most successful cryptocurrency, has been repeatedly attacked with many users losing their funds. The industry’s response to securing the user’s assets is to offer tamper-resistant hardware wallets. Although such wallets are considered to be the most secure means for managing an account, no formal attempt has been previously done to identify, model and formally verify their properties. This paper
provides the first formal model of the Bitcoin hardware wallet operations. We identify the properties and security parameters of a Bitcoin wallet and formally define them in the Universal Composition (UC) Framework. We present a modular treatment of a hardware wallet ecosystem, by realizing the wallet functionality in a hybrid setting defined by a set of protocols. This approach allows us to capture in detail the wallet’s components, their interaction and the potential threats. We deduce the wallet’s security by proving that it is secure under common cryptographic assumptions, provided that there is no deviation in the protocol execution. Finally, we define the attacks that are successful under a protocol deviation, and analyze the security of commercially available wallets.

Event

Financial Cryptography and Data Security 2019

18/02/1922/02/19

St Kitts, Saint Kitts and Nevis

Event: Conference

ID: 80090050