<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02634752v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-23T04:04:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Game Theoretical Framework for Analyzing Blockchains Robustness</title>
            <author role="aut">
              <persName>
                <forename type="first">Paolo</forename>
                <surname>Zappalà</surname>
              </persName>
              <email type="md5">5cde270fa4c27f3821755483e99ec44a</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">paolo-zappala</idno>
              <idno type="idhal" notation="numeric">184410</idno>
              <idno type="halauthorid" notation="string">48577-184410</idno>
              <affiliation ref="#struct-541713"/>
              <affiliation ref="#struct-552483"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marianna</forename>
                <surname>Belotti</surname>
              </persName>
              <email type="md5">f84dee7bda1e293c6110cbe7f3743e45</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">marianna-belotti</idno>
              <idno type="idhal" notation="numeric">180838</idno>
              <idno type="halauthorid" notation="string">47770-180838</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7175-3665</idno>
              <idno type="IDREF">https://www.idref.fr/262639467</idno>
              <affiliation ref="#struct-305041"/>
              <affiliation ref="#struct-552483"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maria</forename>
                <surname>Potop-Butucaru</surname>
              </persName>
              <email type="md5">574e9e606d52567225fb1793a5155253</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">841868</idno>
              <idno type="halauthorid" notation="string">390618-841868</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6488-8326</idno>
              <idno type="IDREF">https://www.idref.fr/157868869</idno>
              <idno type="VIAF">https://viaf.org/viaf/313539623</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/FRU-0557-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FRU-0557-2022</idno>
              <affiliation ref="#struct-541705"/>
              <affiliation ref="#struct-541966"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stefano</forename>
                <surname>Secci</surname>
              </persName>
              <email type="md5">e9bc1b1cc63c8bc137e9fcb1a6abd85c</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="string">stefano-secci</idno>
              <idno type="idhal" notation="numeric">5055</idno>
              <idno type="halauthorid" notation="string">11003-5055</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6129-0676</idno>
              <idno type="IDREF">https://www.idref.fr/17155101X</idno>
              <affiliation ref="#struct-552483"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Paolo</forename>
                <surname>Zappalà</surname>
              </persName>
              <email type="md5">a951579e4137a46521d1cde655138d62</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2020-05-27 16:17:01</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2021-03-10 18:10:01</date>
              <date type="whenModified">2026-02-07 05:20:55</date>
              <date type="whenReleased">2021-03-15 15:34:38</date>
              <date type="whenProduced">2021-10-04</date>
              <date type="whenEndEmbargoed">2021-03-10</date>
              <ref type="file" target="https://hal.science/hal-02634752v2/document">
                <date notBefore="2021-03-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02634752v2/file/Robustness_techreport.pdf" id="file-3165632-2775619">
                <date notBefore="2021-03-10"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="886305">
                <persName>
                  <forename>Paolo</forename>
                  <surname>Zappalà</surname>
                </persName>
                <email type="md5">a951579e4137a46521d1cde655138d62</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02634752</idno>
            <idno type="halUri">https://hal.science/hal-02634752</idno>
            <idno type="halBibtex">zappala:hal-02634752</idno>
            <idno type="halRefHtml">&lt;i&gt;35th International Symposium on Distributed Computing (DISC 2021)&lt;/i&gt;, Oct 2021, Freiburg, Germany. pp.42:1--42:18, &lt;a target="_blank" href="https://dx.doi.org/10.4230/LIPIcs.DISC.2021.42"&gt;&amp;#x27E8;10.4230/LIPIcs.DISC.2021.42&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, &amp;#x27E8;10.4230/LIPIcs.DISC.2021.42&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3165632-2775619"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="SPRES">Séminaires Parisiens en Réseaux</idno>
            <idno type="stamp" n="HESAM-CNAM" corresp="HESAM">Conservatoire National des Arts et Métiers - Hesam</idno>
            <idno type="stamp" n="HESAM">Hesam</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="report" n="6">Research Report</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Game Theoretical Framework for Analyzing Blockchains Robustness</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Paolo</forename>
                    <surname>Zappalà</surname>
                  </persName>
                  <email type="md5">5cde270fa4c27f3821755483e99ec44a</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">paolo-zappala</idno>
                  <idno type="idhal" notation="numeric">184410</idno>
                  <idno type="halauthorid" notation="string">48577-184410</idno>
                  <affiliation ref="#struct-541713"/>
                  <affiliation ref="#struct-552483"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marianna</forename>
                    <surname>Belotti</surname>
                  </persName>
                  <email type="md5">f84dee7bda1e293c6110cbe7f3743e45</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">marianna-belotti</idno>
                  <idno type="idhal" notation="numeric">180838</idno>
                  <idno type="halauthorid" notation="string">47770-180838</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7175-3665</idno>
                  <idno type="IDREF">https://www.idref.fr/262639467</idno>
                  <affiliation ref="#struct-305041"/>
                  <affiliation ref="#struct-552483"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maria</forename>
                    <surname>Potop-Butucaru</surname>
                  </persName>
                  <email type="md5">574e9e606d52567225fb1793a5155253</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">841868</idno>
                  <idno type="halauthorid" notation="string">390618-841868</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6488-8326</idno>
                  <idno type="IDREF">https://www.idref.fr/157868869</idno>
                  <idno type="VIAF">https://viaf.org/viaf/313539623</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/FRU-0557-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FRU-0557-2022</idno>
                  <affiliation ref="#struct-541705"/>
                  <affiliation ref="#struct-541966"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stefano</forename>
                    <surname>Secci</surname>
                  </persName>
                  <email type="md5">e9bc1b1cc63c8bc137e9fcb1a6abd85c</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="string">stefano-secci</idno>
                  <idno type="idhal" notation="numeric">5055</idno>
                  <idno type="halauthorid" notation="string">11003-5055</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6129-0676</idno>
                  <idno type="IDREF">https://www.idref.fr/17155101X</idno>
                  <affiliation ref="#struct-552483"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>35th International Symposium on Distributed Computing (DISC 2021)</title>
                  <date type="start">2021-10-04</date>
                  <date type="end">2021-10-08</date>
                  <settlement>Freiburg</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint>
                  <publisher>Schloss Dagstuhl</publisher>
                  <biblScope unit="serie">Leibniz International Proceedings in Informatics (LIPIcs)</biblScope>
                  <biblScope unit="volume">209</biblScope>
                  <biblScope unit="pp">42:1--42:18</biblScope>
                  <date type="datePub">2020-10-04</date>
                </imprint>
                <authority type="institution">Sorbonne Université, CNRS,  Laboratoire d'Informatique de Paris 6, LIP6, Paris, France</authority>
              </monogr>
              <idno type="doi">10.4230/LIPIcs.DISC.2021.42</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Blockchains systems evolve in complex environments that mix classical patterns of faults (e.g crash faults, transient faults, Byzantine faults, churn) with selfish, rational or irrational behaviors typical to economical systems. In this paper we propose a game theoretical framework in order to formally characterize the robustness of blockchains systems in terms of resilience to rational deviations and immunity to Byzantine behaviors. Our framework includes necessary and sufficient conditions for checking the immunity and resilience of games and a new technique for composing games that preserves the robustness of individual games. We prove the practical interest of our formal framework by characterizing the robustness of three different protocols popular in blockchain systems: a HTLC-based payment scheme (a.k.a. Lightning Network), a side-chain protocol and a cross-chain swap protocol.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541713" status="OLD">
          <orgName>Phare</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2022-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-552483" status="VALID">
          <orgName>CEDRIC. Réseaux et Objets Connectés</orgName>
          <orgName type="acronym">CEDRIC - ROC</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://roc.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-16574" type="direct"/>
            <relation name="EA4629" active="#struct-179741" type="indirect"/>
            <relation name="EA4629" active="#struct-300351" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-305041" status="VALID">
          <idno type="IdRef">027472914</idno>
          <idno type="ISNI">000000012180038X</idno>
          <idno type="ROR">https://ror.org/01set1758</idno>
          <orgName>Caisse des dépôts et consignations (France)</orgName>
          <orgName type="acronym">CDC</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-541705" status="VALID">
          <orgName>Networks and Performance Analysis</orgName>
          <orgName type="acronym">NPA</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541966" status="VALID">
          <orgName>Laboratory of Information, Network and Communication Sciences</orgName>
          <orgName type="acronym">LINCS</orgName>
          <desc>
            <address>
              <addrLine>23 avenue d'Italie 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lincs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-413221" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-16574" status="VALID">
          <idno type="IdRef">155463381</idno>
          <idno type="RNSR">201119480F</idno>
          <idno type="ROR">https://ror.org/044j5mm75</idno>
          <orgName>Centre d'études et de recherche en informatique et communications</orgName>
          <orgName type="acronym">CEDRIC</orgName>
          <desc>
            <address>
              <addrLine>292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cedric.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA4629" active="#struct-179741" type="direct"/>
            <relation name="EA4629" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>