A Formal Treatment of Hardware Wallets
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-030-32101-7_26
Publication URI: http://dx.doi.org/10.1007/978-3-030-32101-7_26
Type: Book Chapter
Book Title: Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers (2019)
Page Reference: 426-445
ISSN: 1080-5370