---
_id: '66'
abstract:
- lang: eng
  text: 'Crypto-currencies are digital assets designed to work as a medium of exchange,
    e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants).
    A framework for the analysis of attacks in crypto-currencies requires (a) modeling
    of game-theoretic aspects to analyze incentives for deviation from honest behavior;
    (b) concurrent interactions between participants; and (c) analysis of long-term
    monetary gains. Traditional game-theoretic approaches for the analysis of security
    protocols consider either qualitative temporal properties such as safety and termination,
    or the very special class of one-shot (stateless) games. However, to analyze general
    attacks on protocols for crypto-currencies, both stateful analysis and quantitative
    objectives are necessary. In this work our main contributions are as follows:
    (a) we show how a class of concurrent mean-payo games, namely ergodic games, can
    model various attacks that arise naturally in crypto-currencies; (b) we present
    the first practical implementation of algorithms for ergodic games that scales
    to model realistic problems for crypto-currencies; and (c) we present experimental
    results showing that our framework can handle games with thousands of states and
    millions of transitions.'
alternative_title:
- LIPIcs
article_number: '11'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Amir
  full_name: Goharshady, Amir
  id: 391365CE-F248-11E8-B48F-1D18A9856A87
  last_name: Goharshady
  orcid: 0000-0003-1702-6584
- first_name: Rasmus
  full_name: Ibsen-Jensen, Rasmus
  id: 3B699956-F248-11E8-B48F-1D18A9856A87
  last_name: Ibsen-Jensen
  orcid: 0000-0003-4783-0389
- first_name: Yaron
  full_name: Velner, Yaron
  last_name: Velner
citation:
  ama: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. Ergodic mean-payoff
    games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl
    - Leibniz-Zentrum für Informatik; 2018. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">10.4230/LIPIcs.CONCUR.2018.11</a>'
  apa: 'Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., &#38; Velner, Y. (2018).
    Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol.
    118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>'
  chicago: Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen,
    and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,”
    Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">https://doi.org/10.4230/LIPIcs.CONCUR.2018.11</a>.
  ieee: 'K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic
    mean-payoff games for the analysis of attacks in crypto-currencies,” presented
    at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.'
  ista: 'Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff
    games for the analysis of attacks in crypto-currencies. CONCUR: Conference on
    Concurrency Theory, LIPIcs, vol. 118, 11.'
  mla: Chatterjee, Krishnendu, et al. <i>Ergodic Mean-Payoff Games for the Analysis
    of Attacks in Crypto-Currencies</i>. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2018, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.11">10.4230/LIPIcs.CONCUR.2018.11</a>.
  short: K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
conference:
  end_date: 2018-09-07
  location: Beijing, China
  name: 'CONCUR: Conference on Concurrency Theory'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:27Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2025-06-02T08:53:46Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.CONCUR.2018.11
ec_funded: 1
external_id:
  arxiv:
  - '1806.03108'
file:
- access_level: open_access
  checksum: 68a055b1aaa241cc38375083cf832a7d
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T12:08:00Z
  date_updated: 2020-07-14T12:47:34Z
  file_id: '5696'
  file_name: 2018_CONCUR_Chatterjee.pdf
  file_size: 1078309
  relation: main_file
file_date_updated: 2020-07-14T12:47:34Z
has_accepted_license: '1'
intvolume: '       118'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 266EEEC0-B435-11E9-9278-68D0E5697425
  name: Quantitative Game-theoretic Analysis of Blockchain Applications and Smart
    Contracts
publication_identifier:
  isbn:
  - 978-3-95977-087-3
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7988'
quality_controlled: '1'
related_material:
  record:
  - id: '8934'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2018'
...