<?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-01229261</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-04T00:03:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks</title>
            <author role="aut">
              <persName>
                <forename type="first">Lionel</forename>
                <surname>Rivière</surname>
              </persName>
              <idno type="halauthorid">879392-0</idno>
              <affiliation ref="#struct-219403"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marie-Laure</forename>
                <surname>Potet</surname>
              </persName>
              <email type="md5">ed3f922ce4d3bf8677fb634eaa9a08e2</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">1162819</idno>
              <idno type="halauthorid" notation="string">119416-1162819</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7070-6290</idno>
              <idno type="IDREF">https://www.idref.fr/034097600</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=88XLiJoAAAAJ</idno>
              <idno type="VIAF">https://viaf.org/viaf/225413936</idno>
              <idno type="ISNI">http://isni.org/isni/0000000362181049</idno>
              <affiliation ref="#struct-194"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thanh-Ha</forename>
                <surname>Le</surname>
              </persName>
              <idno type="halauthorid">462663-0</idno>
              <affiliation ref="#struct-219403"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Bringer</surname>
              </persName>
              <idno type="halauthorid">301782-0</idno>
              <affiliation ref="#struct-219403"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hervé</forename>
                <surname>Chabanne</surname>
              </persName>
              <email type="md5">23e212ac3316103d03b3481b65378941</email>
              <email type="domain">morpho.com</email>
              <idno type="idhal" notation="numeric">1111692</idno>
              <idno type="halauthorid" notation="string">145292-1111692</idno>
              <idno type="IDREF">https://www.idref.fr/145474399</idno>
              <idno type="IDREF">https://www.idref.fr/151828651</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5916-3387</idno>
              <idno type="ISNI">http://isni.org/isni/0000000117039014</idno>
              <affiliation ref="#struct-219403"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maxime</forename>
                <surname>Puys</surname>
              </persName>
              <email type="md5">b71493192a84eca99a9e24cba068e61b</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">maxime-puys</idno>
              <idno type="idhal" notation="numeric">8348</idno>
              <idno type="halauthorid" notation="string">27667-8348</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6127-9816</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=nkNvw8wAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/230747302</idno>
              <affiliation ref="#struct-219403"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Maxime</forename>
                <surname>Puys</surname>
              </persName>
              <email type="md5">b71493192a84eca99a9e24cba068e61b</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-35703"/>
            <funder ref="#projanr-38053"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-11-16 13:56:47</date>
              <date type="whenModified">2025-09-27 18:49:13</date>
              <date type="whenReleased">2015-11-19 16:50:44</date>
              <date type="whenProduced">2014-11-03</date>
              <date type="whenEndEmbargoed">2015-11-16</date>
              <ref type="file" target="https://hal.univ-grenoble-alpes.fr/hal-01229261v1/document">
                <date notBefore="2015-11-16"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.univ-grenoble-alpes.fr/hal-01229261v1/file/VerifyPINPaper.pdf" id="file-1229261-1308224">
                <date notBefore="2015-11-16"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="324280">
                <persName>
                  <forename>Maxime</forename>
                  <surname>Puys</surname>
                </persName>
                <email type="md5">b71493192a84eca99a9e24cba068e61b</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01229261</idno>
            <idno type="halUri">https://hal.univ-grenoble-alpes.fr/hal-01229261</idno>
            <idno type="halBibtex">riviere:hal-01229261</idno>
            <idno type="halRefHtml">&lt;i&gt;Foundations and Practice of Security&lt;/i&gt;, Nov 2014, Montreal, Canada. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-17040-4_7"&gt;&amp;#x27E8;10.1007/978-3-319-17040-4_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Foundations and Practice of Security, Nov 2014, Montreal, Canada. &amp;#x27E8;10.1007/978-3-319-17040-4_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1229261-1308224"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</idno>
            <idno type="stamp" n="PERSYVAL-LAB">[Labex] PERSYVAL-lab</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Lionel</forename>
                    <surname>Rivière</surname>
                  </persName>
                  <idno type="halauthorid">879392-0</idno>
                  <affiliation ref="#struct-219403"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marie-Laure</forename>
                    <surname>Potet</surname>
                  </persName>
                  <email type="md5">ed3f922ce4d3bf8677fb634eaa9a08e2</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">1162819</idno>
                  <idno type="halauthorid" notation="string">119416-1162819</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7070-6290</idno>
                  <idno type="IDREF">https://www.idref.fr/034097600</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=88XLiJoAAAAJ</idno>
                  <idno type="VIAF">https://viaf.org/viaf/225413936</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000362181049</idno>
                  <affiliation ref="#struct-194"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thanh-Ha</forename>
                    <surname>Le</surname>
                  </persName>
                  <idno type="halauthorid">462663-0</idno>
                  <affiliation ref="#struct-219403"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Bringer</surname>
                  </persName>
                  <idno type="halauthorid">301782-0</idno>
                  <affiliation ref="#struct-219403"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hervé</forename>
                    <surname>Chabanne</surname>
                  </persName>
                  <email type="md5">23e212ac3316103d03b3481b65378941</email>
                  <email type="domain">morpho.com</email>
                  <idno type="idhal" notation="numeric">1111692</idno>
                  <idno type="halauthorid" notation="string">145292-1111692</idno>
                  <idno type="IDREF">https://www.idref.fr/145474399</idno>
                  <idno type="IDREF">https://www.idref.fr/151828651</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5916-3387</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000117039014</idno>
                  <affiliation ref="#struct-219403"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maxime</forename>
                    <surname>Puys</surname>
                  </persName>
                  <email type="md5">b71493192a84eca99a9e24cba068e61b</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">maxime-puys</idno>
                  <idno type="idhal" notation="numeric">8348</idno>
                  <idno type="halauthorid" notation="string">27667-8348</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6127-9816</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=nkNvw8wAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/230747302</idno>
                  <affiliation ref="#struct-219403"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers</title>
                <meeting>
                  <title>Foundations and Practice of Security</title>
                  <date type="start">2014-11-03</date>
                  <date type="end">2014-11-05</date>
                  <settlement>Montreal</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1007/978-3-319-17040-4_7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">security</term>
                <term xml:lang="en">embedded systems</term>
                <term xml:lang="en">smartcard</term>
                <term xml:lang="en">multiple fault</term>
                <term xml:lang="en">control flow graph</term>
                <term xml:lang="en">instruction skipping</term>
                <term xml:lang="en">fault simulation</term>
                <term xml:lang="en">Fault injection</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</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>Physical fault injections break security functionalities of algorithms by targeting their implementations. Software techniques strengthen such implementations to enhance their robustness against fault attacks. Exhaustively testing physical fault injections is time consuming and requires complex platforms. Simulation solutions are developed for this specific purpose. We chose two independent tools presented in 2014, the Laser Attack Robustness (Lazart) and the Embedded Fault Simulator (EFS) in order to evaluate software implementations against multiple fault injection attacks. Lazart and the EFS share the common goal that consists in detecting vulnerabilities in the code. However, they operate with different techniques , fault models and abstraction levels. This paper aims at exhibiting specific advantages of both approaches and proposes a combining scheme that emphasizes their complementary nature.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-219403" status="VALID">
          <orgName>Morpho</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.morpho.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-194" status="OLD">
          <idno type="IdRef">184945623</idno>
          <idno type="ISNI">0000 0004 0382 7652</idno>
          <idno type="RNSR">199511789R</idno>
          <idno type="ROR">https://ror.org/05afmzm11</idno>
          <orgName>VERIMAG</orgName>
          <orgName type="acronym">VERIMAG - IMAG</orgName>
          <date type="start">1993-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’HèresFrance</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </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>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-35703" status="VALID">
          <idno type="anr">ANR-12-INSE-0005</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>E-MATA HARI</orgName>
          <desc>Analyse électromagnétique, déchiffrement et ingénierie inverse de circuits intégrés</desc>
          <date type="start">2012</date>
        </org>
        <org type="anrProject" xml:id="projanr-38053" status="VALID">
          <idno type="anr">ANR-11-LABX-0025</idno>
          <idno type="program">Laboratoires d'excellence</idno>
          <orgName>PERSYVAL-lab</orgName>
          <desc>Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique</desc>
          <date type="start">2011</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>