Low-Level Attacks in Bitcoin Wallets

First Author: Gkaniatsou A
Attributed to:  Verification of cryptographic protocols: modular analysis of equivalence properties funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-69659-1_13

Publication URI: http://dx.doi.org/10.1007/978-3-319-69659-1_13

Type: Book Chapter

Book Title: Information Security - 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings (2017)

Page Reference: 233-253

ISSN: 2190-5738