A Logic of Blockchain Updates

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] 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 View Item
Provide Feedback