A logic of blockchain updates

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045

[img] Text
exaa045.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (221kB) | 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 are only few logic-based models 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:

Journal Article (Original Article)

Division/Institute:

School of Engineering and Computer Science > Research Institute for the Security in the Information Society RISIS
School of Engineering and Computer Science > Institute for Cybersecurity & Engineering (ICE)

Name:

Brünnler, Kai;
Flumini, Dandolo and
Studer, Thomas

Subjects:

Q Science > QA Mathematics

ISSN:

1465-363X

Publisher:

Oxford University Press

Language:

English

Submitter:

Kai Brünnler

Date Deposited:

27 Jan 2021 09:32

Last Modified:

27 Jan 2021 09:32

Publisher DOI:

https://doi.org/10.1093/logcom/exaa045

ARBOR DOI:

10.24451/arbor.14258

URI:

https://arbor.bfh.ch/id/eprint/14258

Actions (login required)

View Item View Item
Provide Feedback