Automated Verification of Electrum Wallet
- 31 August 2016
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Modeling Bitcoin Contracts by Timed AutomataLecture Notes in Computer Science, 2014
- ASLan++ — A Formal Security Specification Language for Distributed SystemsLecture Notes in Computer Science, 2011
- The CL-Atse Protocol AnalyserLecture Notes in Computer Science, 2006
- On the security of public key protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981