<?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-03097496</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-24T06:14:53+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses</title>
            <author role="aut">
              <persName>
                <forename type="first">Luka</forename>
                <surname>Music</surname>
              </persName>
              <email type="md5">74e0797796d9531d7a6c07445cd86cd1</email>
              <email type="domain">yahoo.fr</email>
              <idno type="idhal" notation="string">lukamusic</idno>
              <idno type="idhal" notation="numeric">743351</idno>
              <idno type="halauthorid" notation="string">51886-743351</idno>
              <idno type="IDREF">https://www.idref.fr/262239310</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0842-4313</idno>
              <affiliation ref="#struct-541726"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Elham</forename>
                <surname>Kashefi</surname>
              </persName>
              <email type="md5">e4cc3c985133a7a18615fd3084123c4e</email>
              <email type="domain">inf.ed.ac.uk</email>
              <idno type="idhal" notation="string">elham-kashefi</idno>
              <idno type="idhal" notation="numeric">1307893</idno>
              <idno type="halauthorid" notation="string">212134-1307893</idno>
              <idno type="IDREF">https://www.idref.fr/235702323</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/FCJ-4869-2022</idno>
              <idno type="VIAF">https://viaf.org/viaf/144156009853349580763</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6280-9604</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FCJ-4869-2022</idno>
              <affiliation ref="#struct-182763"/>
              <affiliation ref="#struct-541726"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Céline</forename>
                <surname>Chevalier</surname>
              </persName>
              <email type="md5">ab7aa09745dbce08fa2c3922f841f612</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="numeric">1307407</idno>
              <idno type="halauthorid" notation="string">42715-1307407</idno>
              <idno type="ORCID">https://orcid.org/0009-0006-4231-4958</idno>
              <idno type="IDREF">https://www.idref.fr/091517427</idno>
              <idno type="VIAF">https://viaf.org/viaf/12582223</idno>
              <idno type="ISNI">http://isni.org/isni/0000000002930413</idno>
              <orgName ref="#struct-44614"/>
              <affiliation ref="#struct-454320"/>
              <affiliation ref="#struct-422772"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Elham</forename>
                <surname>Kashefi</surname>
              </persName>
              <email type="md5">145baae108a58e911902d5728c5892ad</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-01-05 13:23:55</date>
              <date type="whenModified">2025-10-27 11:30:02</date>
              <date type="whenReleased">2021-01-05 13:23:55</date>
              <date type="whenProduced">2020-11-29</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/2007.00677"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="460004">
                <persName>
                  <forename>Elham</forename>
                  <surname>Kashefi</surname>
                </persName>
                <email type="md5">145baae108a58e911902d5728c5892ad</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03097496</idno>
            <idno type="halUri">https://hal.science/hal-03097496</idno>
            <idno type="halBibtex">music:hal-03097496</idno>
            <idno type="halRefHtml">&lt;i&gt;ProvSec 2020 - 14th International Conference on Provable and Practical Security&lt;/i&gt;, Nov 2020, Singapour / Virtual, Singapore. pp.318-337, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-62576-4_16"&gt;&amp;#x27E8;10.1007/978-3-030-62576-4_16&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ProvSec 2020 - 14th International Conference on Provable and Practical Security, Nov 2020, Singapour / Virtual, Singapore. pp.318-337, &amp;#x27E8;10.1007/978-3-030-62576-4_16&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <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="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</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="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</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="PANTHEON-ASSAS-UNIVERSITE">Université Paris-Panthéon-Assas</idno>
            <idno type="stamp" n="UNIV-PARIS2" corresp="PANTHEON-ASSAS-UNIVERSITE">Université Panthéon-Assas</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">46 pages</note>
            <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">Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Luka</forename>
                    <surname>Music</surname>
                  </persName>
                  <email type="md5">74e0797796d9531d7a6c07445cd86cd1</email>
                  <email type="domain">yahoo.fr</email>
                  <idno type="idhal" notation="string">lukamusic</idno>
                  <idno type="idhal" notation="numeric">743351</idno>
                  <idno type="halauthorid" notation="string">51886-743351</idno>
                  <idno type="IDREF">https://www.idref.fr/262239310</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0842-4313</idno>
                  <affiliation ref="#struct-541726"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Elham</forename>
                    <surname>Kashefi</surname>
                  </persName>
                  <email type="md5">e4cc3c985133a7a18615fd3084123c4e</email>
                  <email type="domain">inf.ed.ac.uk</email>
                  <idno type="idhal" notation="string">elham-kashefi</idno>
                  <idno type="idhal" notation="numeric">1307893</idno>
                  <idno type="halauthorid" notation="string">212134-1307893</idno>
                  <idno type="IDREF">https://www.idref.fr/235702323</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/FCJ-4869-2022</idno>
                  <idno type="VIAF">https://viaf.org/viaf/144156009853349580763</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6280-9604</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/FCJ-4869-2022</idno>
                  <affiliation ref="#struct-182763"/>
                  <affiliation ref="#struct-541726"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Céline</forename>
                    <surname>Chevalier</surname>
                  </persName>
                  <email type="md5">ab7aa09745dbce08fa2c3922f841f612</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="numeric">1307407</idno>
                  <idno type="halauthorid" notation="string">42715-1307407</idno>
                  <idno type="ORCID">https://orcid.org/0009-0006-4231-4958</idno>
                  <idno type="IDREF">https://www.idref.fr/091517427</idno>
                  <idno type="VIAF">https://viaf.org/viaf/12582223</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000002930413</idno>
                  <orgName ref="#struct-44614"/>
                  <affiliation ref="#struct-454320"/>
                  <affiliation ref="#struct-422772"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">International Conference on Provable Security, ProvSec 2020: Provable and Practical Security</title>
                <meeting>
                  <title>ProvSec 2020 - 14th International Conference on Provable and Practical Security</title>
                  <date type="start">2020-11-29</date>
                  <date type="end">2020-12-01</date>
                  <settlement>Singapour / Virtual</settlement>
                  <country key="SG">Singapore</country>
                </meeting>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">12505</biblScope>
                  <biblScope unit="pp">318-337</biblScope>
                  <date type="datePub">2020-11-20</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2007.00677</idno>
              <idno type="doi">10.1007/978-3-030-62576-4_16</idno>
            </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="halDomain" n="phys.qphy">Physics [physics]/Quantum Physics [quant-ph]</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>It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to perform superposition queries and the honest players forced to perform actions coherently on quantum states. Another widely held intuition is that enforcing measurements on the exchanged messages is enough to protect protocols from these attacks. However, the reality is much more complex. Security models dealing with superposition attacks only consider unconditional security. Conversely, security models considering computational security assume that all supposedly classical messages are measured, which forbids by construction the analysis of superposition attacks. Boneh and Zhandry have started to study the quantum computational security for classical primitives in their seminal work at Crypto'13, but only in the single-party setting. To the best of our knowledge, an equivalent model in the multiparty setting is still missing. In this work, we propose the first computational security model considering superposition attacks for multiparty protocols. We show that our new security model is satisfiable by proving the security of the well-known One-Time-Pad protocol and give an attack on a variant of the equally reputable Yao Protocol for Secure Two-Party Computations. The post-mortem of this attack reveals the precise points of failure, yielding highly counter-intuitive results: Adding extra classical communication, which is harmless for classical security, can make the protocol become subject to superposition attacks. We use this newly imparted knowledge to construct the first concrete protocol for Secure Two-Party Computation that is resistant to superposition attacks. Our results show that there is no straightforward answer to provide for either the vulnerabilities of classical protocols to superposition attacks or the adapted countermeasures.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541726" status="VALID">
          <orgName>Information Quantique [LIP6]</orgName>
          <orgName type="acronym">QI</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-182763" status="VALID">
          <orgName>School of Informatics [Edimbourg]</orgName>
          <desc>
            <address>
              <addrLine>Informatics Forum 10 Crichton Street Edinburgh EH8 9AB</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.ed.ac.uk/schools-departments/informatics/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-61277" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454320" status="VALID">
          <idno type="IdRef">241283752</idno>
          <idno type="RNSR">200818333X</idno>
          <idno type="ROR">https://ror.org/04zpj8n12</idno>
          <orgName>Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities</orgName>
          <orgName type="acronym">CASCADE</orgName>
          <date type="start">2016-04-01</date>
          <date type="end">2028-12-31</date>
          <desc>
            <address>
              <addrLine>45, rue d'Ulm 75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/cascade</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
            <relation active="#struct-441569" type="direct"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-422772" status="OLD">
          <idno type="IdRef">228932114</idno>
          <idno type="RNSR">201420811P</idno>
          <idno type="ROR">https://ror.org/05k2sd416</idno>
          <orgName>Centre de Recherche en Economie et Droit</orgName>
          <orgName type="acronym">CRED</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Centre Valette,19-21 rue Valette / Rez-de-jardin,75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-paris2.fr/45505893/0/fiche___laboratoire/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-44614" 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="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="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</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="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-44614" status="OLD">
          <idno type="ROR">https://ror.org/04qb2qm38</idno>
          <orgName>Université Panthéon-Assas</orgName>
          <orgName type="acronym">UP2</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>12 place Panthéon - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-paris2.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>