Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates In: Logical Foundations of Computer Science. Deerfield Beach, FL / USA. 8-11.1.2018.
![[img]](https://arbor.bfh.ch/style/images/fileicons/text.png) |
Text
BlockchainLogic.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (279kB) | Request a copy |
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no logic-based model for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
School of Engineering and Computer Science > Institut für Medizininformatik I4MI School of Engineering and Computer Science |
Name: |
Brünnler, Kai; Flumini, Dandolo and Studer, Thomas |
Language: |
English |
Submitter: |
Service Account |
Date Deposited: |
29 Jan 2020 12:12 |
Last Modified: |
29 Jan 2020 12:12 |
Related URLs: |
|
ARBOR DOI: |
10.24451/arbor.7539 |
URI: |
https://arbor.bfh.ch/id/eprint/7539 |
Actions (login required)
 |
View Item |