<?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 lirmm-04248805v1</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-22T15:00:29+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Prouff and Rivain’s Formal Security Proof of Masking, Revisited</title>
            <author role="aut">
              <persName>
                <forename type="first">Loïc</forename>
                <surname>Masure</surname>
              </persName>
              <email type="md5">467094ee4d96b1407c47910e993f6a07</email>
              <email type="domain">hotmail.fr</email>
              <idno type="idhal" notation="string">loic-masure</idno>
              <idno type="idhal" notation="numeric">1263935</idno>
              <idno type="halauthorid" notation="string">1557312-1263935</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2978-4067</idno>
              <affiliation ref="#struct-197411"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François-Xavier</forename>
                <surname>Standaert</surname>
              </persName>
              <idno type="halauthorid">780311-0</idno>
              <affiliation ref="#struct-197411"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Loïc</forename>
                <surname>Masure</surname>
              </persName>
              <email type="md5">f1921474888a57a837afd3896440e9ab</email>
              <email type="domain">lirmm.fr</email>
            </editor>
            <funder ref="#projeurop-713391"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-10-18 20:09:35</date>
              <date type="whenModified">2026-04-10 14:18:04</date>
              <date type="whenReleased">2023-10-19 09:18:11</date>
              <date type="whenProduced">2023-08-20</date>
              <date type="whenEndEmbargoed">2023-10-18</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-04248805v1/document">
                <date notBefore="2023-10-18"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-04248805v1/file/2023-883.pdf" id="file-4248805-3707881">
                <date notBefore="2023-10-18"/>
              </ref>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2024-03-26 22:15:55</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="721176">
                <persName>
                  <forename>Loïc</forename>
                  <surname>Masure</surname>
                </persName>
                <email type="md5">f1921474888a57a837afd3896440e9ab</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-04248805</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-04248805</idno>
            <idno type="halBibtex">masure:lirmm-04248805</idno>
            <idno type="halRefHtml">&lt;i&gt;CRYPTO 2023 - 43rd Annual International Cryptology Conference&lt;/i&gt;, Aug 2023, Santa Barbara, CA, United States. pp.343-376, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-38548-3_12"&gt;&amp;#x27E8;10.1007/978-3-031-38548-3_12&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">CRYPTO 2023 - 43rd Annual International Cryptology Conference, Aug 2023, Santa Barbara, CA, United States. pp.343-376, &amp;#x27E8;10.1007/978-3-031-38548-3_12&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4248805-3707881"/></licence>
            </availability>
          </publicationStmt>
          <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">Prouff and Rivain’s Formal Security Proof of Masking, Revisited</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Loïc</forename>
                    <surname>Masure</surname>
                  </persName>
                  <email type="md5">467094ee4d96b1407c47910e993f6a07</email>
                  <email type="domain">hotmail.fr</email>
                  <idno type="idhal" notation="string">loic-masure</idno>
                  <idno type="idhal" notation="numeric">1263935</idno>
                  <idno type="halauthorid" notation="string">1557312-1263935</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2978-4067</idno>
                  <affiliation ref="#struct-197411"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François-Xavier</forename>
                    <surname>Standaert</surname>
                  </persName>
                  <idno type="halauthorid">780311-0</idno>
                  <affiliation ref="#struct-197411"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>CRYPTO 2023 - 43rd Annual International Cryptology Conference</title>
                  <date type="start">2023-08-20</date>
                  <date type="end">2023-08-24</date>
                  <settlement>Santa Barbara, CA</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <publisher>Springer Nature Switzerland</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">14083</biblScope>
                  <biblScope unit="pp">343-376</biblScope>
                  <date type="datePub">2023-08-09</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-031-38548-3_12</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="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>Masking is a countermeasure that can be incorporated to software and hardware implementations of block ciphers to provably secure them against side-channel attacks. The security of masking can be proven in different types of threat models. In this paper, we are interested in directly proving the security in the most realistic threat model, the so-called noisy leakage adversary, that captures well how real-world sidechannel adversaries operate. Direct proofs in this leakage model have been established by Prouff &amp; Rivain at Eurocrypt 2013, Dziembowski et al. at Eurocrypt 2015, and Prest et al. at Crypto 2019. These proofs are complementary to each other, in the sense that the weaknesses of one proof are fixed in at least one of the others, and conversely. These weaknesses concerned in particular the strong requirements on the noise level and the security parameter to get meaningful security bounds, and some requirements on the type of adversary covered by the proof-i.e., chosen or random plaintexts. This suggested that the drawbacks of each security bound could actually be proof artifacts. In this paper, we solve these issues, by revisiting Prouff &amp; Rivain's approach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-197411" status="VALID">
          <orgName>Institute of Information and Communication Technologies, Electronics and Applied Mathematics</orgName>
          <orgName type="acronym">ICTEAM</orgName>
          <desc>
            <address>
              <addrLine>Place du Levant, 3, B-1348 Louvain-la-Neuve</addrLine>
              <country key="BE"/>
            </address>
            <ref type="url">http://www.uclouvain.be/en-icteam.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92863" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92863" status="VALID">
          <idno type="IdRef">026431297</idno>
          <idno type="ROR">https://ror.org/02495e989</idno>
          <orgName>Université Catholique de Louvain = Catholic University of Louvain</orgName>
          <orgName type="acronym">UCLouvain</orgName>
          <desc>
            <address>
              <addrLine>Place de l'Université 1, B-1348 Louvain-La-Neuve</addrLine>
              <country key="BE"/>
            </address>
            <ref type="url">https://www.uclouvain.be/fr</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-713391" status="VALID">
          <idno type="number">724725</idno>
          <idno type="program">ERC-2016-COG</idno>
          <idno type="call">ERC-2016-COG</idno>
          <orgName>SWORD</orgName>
          <desc>Security Without Obscurity for Reliable Devices</desc>
          <date type="start">2017-09-01</date>
          <date type="end">2023-08-31</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>