<?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-05422941</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-26T06:41:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Are ideal functionalities really ideal?</title>
            <author role="aut">
              <persName>
                <forename type="first">Myrto</forename>
                <surname>Arapinis</surname>
              </persName>
              <email type="md5">58056480e3f6d5ae6269d6f08939080e</email>
              <email type="domain">ed.ac.uk</email>
              <idno type="idhal" notation="numeric">1354925</idno>
              <idno type="halauthorid" notation="string">744329-1354925</idno>
              <idno type="ORCID">https://orcid.org/0009-0007-1757-1423</idno>
              <idno type="IDREF">https://www.idref.fr/240140842</idno>
              <affiliation ref="#struct-61277"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Véronique</forename>
                <surname>Cortier</surname>
              </persName>
              <email type="md5">2b980f9fa94d7338278efc67ab5202e0</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="numeric">1518756</idno>
              <idno type="halauthorid" notation="string">116207-1518756</idno>
              <idno type="ORCID">https://orcid.org/0009-0003-1651-3927</idno>
              <idno type="IDREF">https://www.idref.fr/120456362</idno>
              <affiliation ref="#struct-206040"/>
              <affiliation ref="#struct-445522"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hubert</forename>
                <surname>de Groote</surname>
              </persName>
              <idno type="halauthorid">3950620-0</idno>
              <affiliation ref="#struct-523723"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Charlie</forename>
                <surname>Jacomme</surname>
              </persName>
              <idno type="idhal" notation="numeric">1575245</idno>
              <idno type="halauthorid" notation="string">1079857-1575245</idno>
              <idno type="ORCID">https://orcid.org/0009-0003-4465-3150</idno>
              <affiliation ref="#struct-445522"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Steve</forename>
                <surname>Kremer</surname>
              </persName>
              <email type="md5">55a1c2b4f55635fa55fbf4e1fdc9f1e9</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">steve-kremer</idno>
              <idno type="idhal" notation="numeric">1307</idno>
              <idno type="halauthorid" notation="string">13407-1307</idno>
              <idno type="IDREF">https://www.idref.fr/153809027</idno>
              <idno type="ORCID">https://orcid.org/0009-0004-6946-0678</idno>
              <affiliation ref="#struct-445522"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Véronique</forename>
                <surname>Cortier</surname>
              </persName>
              <email type="md5">73dc3cb47c3ce1378b9414476e58ee2f</email>
              <email type="domain">loria.fr</email>
            </editor>
            <funder ref="#projanr-69633"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-12-18 10:05:39</date>
              <date type="whenModified">2026-01-11 16:11:46</date>
              <date type="whenReleased">2025-12-18 11:41:35</date>
              <date type="whenProduced">2026-07-26</date>
              <date type="whenEndEmbargoed">2025-12-18</date>
              <ref type="file" target="https://inria.hal.science/hal-05422941v1/document">
                <date notBefore="2025-12-18"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-05422941v1/file/main.pdf" id="file-5422941-4641151">
                <date notBefore="2025-12-18"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103154">
                <persName>
                  <forename>Véronique</forename>
                  <surname>Cortier</surname>
                </persName>
                <email type="md5">73dc3cb47c3ce1378b9414476e58ee2f</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05422941</idno>
            <idno type="halUri">https://inria.hal.science/hal-05422941</idno>
            <idno type="halBibtex">arapinis:hal-05422941</idno>
            <idno type="halRefHtml">&lt;i&gt;CSF 2026 – 39th IEEE Computer Security Foundations Symposium&lt;/i&gt;, Jul 2026, Lisbonne, Portugal</idno>
            <idno type="halRef">CSF 2026 – 39th IEEE Computer Security Foundations Symposium, Jul 2026, Lisbonne, Portugal</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5422941-4641151"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="CYBERSCURITE">PEPR Cybersécurité</idno>
            <idno type="stamp" n="SVP">SVP</idno>
            <idno type="stamp" n="LUDOSCIENCE">LUDOSCIENCE</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</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">Are ideal functionalities really ideal?</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Myrto</forename>
                    <surname>Arapinis</surname>
                  </persName>
                  <email type="md5">58056480e3f6d5ae6269d6f08939080e</email>
                  <email type="domain">ed.ac.uk</email>
                  <idno type="idhal" notation="numeric">1354925</idno>
                  <idno type="halauthorid" notation="string">744329-1354925</idno>
                  <idno type="ORCID">https://orcid.org/0009-0007-1757-1423</idno>
                  <idno type="IDREF">https://www.idref.fr/240140842</idno>
                  <affiliation ref="#struct-61277"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Véronique</forename>
                    <surname>Cortier</surname>
                  </persName>
                  <email type="md5">2b980f9fa94d7338278efc67ab5202e0</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="numeric">1518756</idno>
                  <idno type="halauthorid" notation="string">116207-1518756</idno>
                  <idno type="ORCID">https://orcid.org/0009-0003-1651-3927</idno>
                  <idno type="IDREF">https://www.idref.fr/120456362</idno>
                  <affiliation ref="#struct-206040"/>
                  <affiliation ref="#struct-445522"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hubert</forename>
                    <surname>de Groote</surname>
                  </persName>
                  <idno type="halauthorid">3950620-0</idno>
                  <affiliation ref="#struct-523723"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Charlie</forename>
                    <surname>Jacomme</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1575245</idno>
                  <idno type="halauthorid" notation="string">1079857-1575245</idno>
                  <idno type="ORCID">https://orcid.org/0009-0003-4465-3150</idno>
                  <affiliation ref="#struct-445522"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Steve</forename>
                    <surname>Kremer</surname>
                  </persName>
                  <email type="md5">55a1c2b4f55635fa55fbf4e1fdc9f1e9</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">steve-kremer</idno>
                  <idno type="idhal" notation="numeric">1307</idno>
                  <idno type="halauthorid" notation="string">13407-1307</idno>
                  <idno type="IDREF">https://www.idref.fr/153809027</idno>
                  <idno type="ORCID">https://orcid.org/0009-0004-6946-0678</idno>
                  <affiliation ref="#struct-445522"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>CSF 2026 – 39th IEEE Computer Security Foundations Symposium</title>
                  <date type="start">2026-07-26</date>
                  <date type="end">2026-07-29</date>
                  <settlement>Lisbonne</settlement>
                  <country key="PT">Portugal</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>Ideal functionalities are used to study increasingly complex protocols within the Universal Composability framework. However, such functionalities are often complex themselves, making it difficult to assess whether they truly fulfill their promises. In this paper, we present four attacks on functionalities from various applications (e-voting, SMPC, anonymous lotteries, and smart metering), demonstrating that they do not capture the intuitively expected properties.We argue that ideal functionalities should not merely be justified secure at a high level but rigorously proven to be so. To this end, we propose a methodology that combines game-based proofs and computer-aided verification: ideal functionalities can in fact be treated as protocols, and one can use traditional game-based proofs to study them, where any game-based security property proven on the functionality does transfer to any protocol that realizes it. We also propose fixed versions of the ideal functionalities we studied, and formally define the security properties they should satisfy through a game. Finally, using SQUIRREL, a proof assistant for protocol security, we formally prove that the fixed functionalities verify the specified game-based security properties.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-61277" status="VALID">
          <idno type="IdRef">02663483X</idno>
          <idno type="ROR">https://ror.org/01nrxwf90</idno>
          <orgName>The University of Edinburgh</orgName>
          <date type="start">1583-01-01</date>
          <desc>
            <address>
              <addrLine>Old College South Bridge Edinburgh EH8 9YL</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.ed.ac.uk/home</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-445522" status="VALID">
          <idno type="RNSR">201622052E</idno>
          <idno type="ROR">https://ror.org/019yhsq25</idno>
          <orgName>Proof techniques for security protocols</orgName>
          <orgName type="acronym">PESTO</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2028-10-31</date>
          <desc>
            <address>
              <addrLine>615 Rue du Jardin-Botanique, 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/pesto</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-523723" status="VALID">
          <idno type="ROR">https://ror.org/00hx6zz33</idno>
          <orgName>Ecole Normale Supérieure  Paris-Saclay</orgName>
          <orgName type="acronym">ENS Paris Saclay</orgName>
          <desc>
            <address>
              <addrLine>4 avenue des Sciences, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ens-paris-saclay.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="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.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-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-69633" status="VALID">
          <idno type="anr">ANR-22-PECY-0006</idno>
          <orgName>SVP</orgName>
          <desc>Verification of Security Protocols</desc>
          <date type="start">2022</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>