<div class="csl-bib-body">
<div class="csl-entry">Rain, S., Brugger, L. S., Petković Komel, A., Kovács, L., & Rawson, M. (2024). Scaling CheckMate for Game-Theoretic Security. In N. Bjorner, M. Heule, & A. Voronkov (Eds.), <i>Proceedings of 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning</i> (pp. 222–231). https://doi.org/10.29007/llnq</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/205066
-
dc.description.abstract
We present the CheckMate tool for automated verification of game-theoretic security properties, with application to blockchain protocols. CheckMate applies automated reasoning techniques to determine whether a game-theoretic protocol model is game-theoretically secure, that is, Byzantine fault tolerant and incentive compatible. We describe CheckMate’s input format and its various components, modes, and output. CheckMate is evaluated on 15 benchmarks, including models of decentralized protocols, board games, and game-theoretic examples.
en
dc.language.iso
en
-
dc.relation.ispartofseries
EPiC Series in Computing
-
dc.subject
automated reasoning
en
dc.subject
blockchain protocols
en
dc.subject
game theoretic security
en
dc.subject
incentive compatibility
en
dc.subject
protocol verification
en
dc.title
Scaling CheckMate for Game-Theoretic Security
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
ETH Zurich (Zurich, CH)
-
dc.description.startpage
222
-
dc.description.endpage
231
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning
-
tuw.container.volume
100
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
EPiC Series in Computing
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.29007/llnq
-
dc.description.numberOfPages
10
-
tuw.author.orcid
0000-0002-8940-4989
-
tuw.author.orcid
0000-0001-8770-4112
-
tuw.author.orcid
0000-0001-7203-6641
-
tuw.author.orcid
0000-0002-8299-2714
-
tuw.author.orcid
0000-0001-7834-1567
-
tuw.event.name
25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
en
tuw.event.startdate
26-05-2024
-
tuw.event.enddate
31-05-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
MU
-
tuw.event.presenter
Rain, Sophie
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.grantfulltext
restricted
-
item.fulltext
no Fulltext
-
item.openairetype
conference paper
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
ETH Zurich (Zurich, CH)
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
