<div class="csl-bib-body">
<div class="csl-entry">Rain, S., Petković Komel, A., Rawson, M., & Kovacs, L. (2025). Game Modeling of Blockchain Protocols. In F. Damiani & M. Farrell (Eds.), <i>Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings</i> (pp. 359–377). Springer. https://doi.org/10.1007/978-3-032-10794-7_18</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/226091
-
dc.description.abstract
Reasoning about incentives in a blockchain protocol can be captured by game-theoretic modeling. We present modeling principles sufficient to create a faithful representation of a blockchain protocol as an extensive form game. Such games are then suitable for automatically establishing game-theoretic security. We showcase the semi-automated generation of the game models for two parts of Bitcoin’s Lightning protocol: the closing of a channel and the routing of a payment along channels. Additionally, we provide a domain-specific language, which eases the implementation of the games. We believe our modeling principles and guidelines strengthen machine-supported modeling practices.
en
dc.description.sponsorship
European Commission
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Formal Methods
en
dc.subject
Game Theory
en
dc.subject
Modeling Template
en
dc.subject
Protocol Modeling
en
dc.title
Game Modeling of Blockchain Protocols
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Argot Collective, Switzerland
-
dc.contributor.affiliation
Argot Collective, Switzerland
-
dc.contributor.affiliation
University of Southampton, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.relation.isbn
978-3-032-10794-7
-
dc.relation.doi
10.1007/978-3-032-10794-7
-
dc.relation.issn
0302-9743
-
dc.description.startpage
359
-
dc.description.endpage
377
-
dc.relation.grantno
ERC Consolidator Grant 2020
-
dc.relation.grantno
F 8500
-
dc.relation.grantno
ICT22-007
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Integrated Formal Methods : 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
-
tuw.container.volume
16194
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.project.title
Automated Reasoning with Theories and Induction for Software Technologies
-
tuw.project.title
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design
-
tuw.project.title
Effective Formal Methods for Smart-Contract Certification
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.1007/978-3-032-10794-7_18
-
dc.description.numberOfPages
19
-
tuw.author.orcid
0000-0002-8940-4989
-
tuw.author.orcid
0000-0001-7203-6641
-
tuw.author.orcid
0000-0001-7834-1567
-
tuw.author.orcid
0000-0002-8299-2714
-
tuw.editor.orcid
0000-0001-7708-3877
-
tuw.event.name
20th International Conference on Integrated Formal Methods (iFM 2025)
en
tuw.event.startdate
19-11-2025
-
tuw.event.enddate
21-11-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Paris
-
tuw.event.country
FR
-
tuw.event.presenter
Rawson, Michael
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.orcid
0000-0002-8940-4989
-
crisitem.author.orcid
0000-0001-7203-6641
-
crisitem.author.orcid
0000-0001-7834-1567
-
crisitem.author.orcid
0000-0002-8299-2714
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
European Commission
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
