Modeling Bitcoin Contracts by Timed Automata
From MaRDI portal
Publication:5500550
DOI10.1007/978-3-319-10512-3_2zbMath1448.91328arXiv1405.1861WikidataQ111687910 ScholiaQ111687910MaRDI QIDQ5500550
Łukasz Mazurek, Daniel Malinowski, Marcin Andrychowicz, Stefan Dziembowski
Publication date: 6 August 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.1861
68Q45: Formal languages and automata
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
91G99: Actuarial science and mathematical finance
Related Items
Incentive-driven attacker for corrupting two-party protocols, Game theoretic notions of fairness in multi-party coin toss, How to build time-lock encryption, Designing Proof of Human-Work Puzzles for Cryptocurrency and Beyond
Uses Software