Skip header navigation

University of Stirling

×

Book Chapter

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Citation
Bigi G, Bracciali A, Meacci G & Tuosto E (2015) Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In: Bodei C, Ferrari G & Priamo C (eds.) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 9465. Cham, Switzerland: Springer, pp. 142-161. http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11

Abstract
Decentralised smart contracts represent the next step in the development of protocols that support the interaction of independent players without the presence of a coercing authority. Based on protocols a` la BitCoin for digital currencies, smart contracts are believed to be a potentially enabling technology for a wealth of future applications. The validation of such an early developing technology is as necessary as it is complex. In this paper we combine game theory and formal models to tackle the new challenges posed by the validation of such systems.

StatusPublished
Author(s)Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, Emilio
Title of seriesLecture Notes in Computer Science
Number in series9465
Publication date31/12/2015
URLhttp://hdl.handle.net/1893/23914
PublisherSpringer
Publisher URLhttp://link.springer.com/…3-319-25527-9_11
Place of publicationCham, Switzerland
ISSN of series0302-9743
ISBN978-3-319-25526-2
eISBN978-3-319-25527-9
Scroll back to the top