Scaling CheckMate for Game-Theoretic Security
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913389493616640 |
|---|---|
| author | Rain, Sophie Brugger, Lea Salome Komel, Anja Petkovic Kovacs, Laura Rawson, Michael |
| author_facet | Rain, Sophie Brugger, Lea Salome Komel, Anja Petkovic Kovacs, Laura Rawson, Michael |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_10310 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Scaling CheckMate for Game-Theoretic Security Rain, Sophie Brugger, Lea Salome Komel, Anja Petkovic Kovacs, Laura Rawson, Michael Computer Science and Game Theory Logic in Computer Science 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. |
| title | Scaling CheckMate for Game-Theoretic Security |
| topic | Computer Science and Game Theory Logic in Computer Science |
| url | https://arxiv.org/abs/2403.10310 |