<?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-01095430</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-18T19:54:33+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Hardware/Software Support for Securing Virtualization in Embedded Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Franck</forename>
                <surname>Bucheron</surname>
              </persName>
              <email type="md5">ef8ea8634f28b47e8d7107a4b00b7c14</email>
              <email type="domain">intradef.gouv.fr</email>
              <idno type="idhal" notation="numeric">962427</idno>
              <idno type="halauthorid" notation="string">876965-962427</idno>
              <orgName ref="#struct-352167"/>
              <affiliation ref="#struct-139851"/>
              <affiliation ref="#struct-58651"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Tisserand</surname>
              </persName>
              <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
              <email type="domain">cnrs.fr</email>
              <idno type="idhal" notation="string">arnaud-tisserand</idno>
              <idno type="idhal" notation="numeric">3616</idno>
              <idno type="halauthorid" notation="string">34915-3616</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7042-3541</idno>
              <idno type="IDREF">https://www.idref.fr/060154160</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-58651"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Louis</forename>
                <surname>Rilling</surname>
              </persName>
              <email type="md5">73e78cb3c2a911421ef5cdb3da90c909</email>
              <email type="domain">intradef.gouv.fr</email>
              <idno type="idhal" notation="numeric">962428</idno>
              <idno type="halauthorid" notation="string">123400-962428</idno>
              <affiliation ref="#struct-139851"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arnaud</forename>
                <surname>TISSERAND</surname>
              </persName>
              <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
              <email type="domain">cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-12-15 15:49:44</date>
              <date type="whenModified">2026-02-07 05:11:15</date>
              <date type="whenReleased">2014-12-18 13:13:46</date>
              <date type="whenProduced">2014-12-04</date>
              <date type="whenEndEmbargoed">2014-12-15</date>
              <ref type="file" target="https://inria.hal.science/hal-01095430v1/document">
                <date notBefore="2014-12-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01095430v1/file/article-sdta-2014-bucheron.pdf" id="file-1095430-1175901">
                <date notBefore="2014-12-15"/>
              </ref>
              <ref type="file" subtype="author" n="0" target="https://inria.hal.science/hal-01095430v1/file/presentation-sdta-2014-bucheron.pdf" id="file-1095430-1175902">
                <date notBefore="2014-12-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="74162">
                <persName>
                  <forename>Arnaud</forename>
                  <surname>TISSERAND</surname>
                </persName>
                <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
                <email type="domain">cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01095430</idno>
            <idno type="halUri">https://inria.hal.science/hal-01095430</idno>
            <idno type="halBibtex">bucheron:hal-01095430</idno>
            <idno type="halRefHtml">&lt;i&gt;1st Symposium on Digital Trust in Auvergne&lt;/i&gt;, Dec 2014, Clermont-Ferrand, France</idno>
            <idno type="halRef">1st Symposium on Digital Trust in Auvergne, Dec 2014, Clermont-Ferrand, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1095430-1175901"/><ref corresp="#file-1095430-1175902"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</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="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="IRISA-D3">ARCHITECTURE</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Hardware/Software Support for Securing Virtualization in Embedded Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Franck</forename>
                    <surname>Bucheron</surname>
                  </persName>
                  <email type="md5">ef8ea8634f28b47e8d7107a4b00b7c14</email>
                  <email type="domain">intradef.gouv.fr</email>
                  <idno type="idhal" notation="numeric">962427</idno>
                  <idno type="halauthorid" notation="string">876965-962427</idno>
                  <orgName ref="#struct-352167"/>
                  <affiliation ref="#struct-139851"/>
                  <affiliation ref="#struct-58651"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Tisserand</surname>
                  </persName>
                  <email type="md5">3e126ea9cf9e70c740aecabfeeddeebb</email>
                  <email type="domain">cnrs.fr</email>
                  <idno type="idhal" notation="string">arnaud-tisserand</idno>
                  <idno type="idhal" notation="numeric">3616</idno>
                  <idno type="halauthorid" notation="string">34915-3616</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7042-3541</idno>
                  <idno type="IDREF">https://www.idref.fr/060154160</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-58651"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Louis</forename>
                    <surname>Rilling</surname>
                  </persName>
                  <email type="md5">73e78cb3c2a911421ef5cdb3da90c909</email>
                  <email type="domain">intradef.gouv.fr</email>
                  <idno type="idhal" notation="numeric">962428</idno>
                  <idno type="halauthorid" notation="string">123400-962428</idno>
                  <affiliation ref="#struct-139851"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>1st Symposium on Digital Trust in Auvergne</title>
                  <date type="start">2014-12-04</date>
                  <date type="end">2014-12-05</date>
                  <settlement>Clermont-Ferrand</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
              <ref type="publisher">http://confiance-numerique.clermont-universite.fr/SDTA-2014/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Hardware-software codesign</term>
                <term xml:lang="en">Xen hypervisor</term>
                <term xml:lang="en">Embedded systems</term>
                <term xml:lang="en">Virtu-alization</term>
                <term xml:lang="en">Cryptographic primitives</term>
                <term xml:lang="en">Embedded security</term>
                <term xml:lang="en">TPM</term>
                <term xml:lang="en">TCG</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ar">Computer Science [cs]/Hardware Architecture [cs.AR]</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-os">Computer Science [cs]/Operating Systems [cs.OS]</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>As far as one is concerned by security in virtual embedded systems, one can say that many ideas or implementations exist today but not really as a global solution and not really in the open-source world. Our goal is to bring a security solution up-to-date and new to build-up a solution from the hardware to an end-user application located in a virtual machine (VM). The idea of this article is to focus on the lack of secure solutions that can help virtualization and communication which can be implemented on new hybrids (Core + FPGA) development platforms. On one side, these boards are featured with processors that do not have virtualization ex-tensions but are powerfull enough to really support hypervisors and their guests. On the other side some virtualization solutions presently exist for ARM processors but they only refer to TrustZone for their (hardware) security. These hybrid boards can offer us more: we have read some re-cents and up-to-date specifications made by a consortium to help the implementation of hardware security. In this area, FPGA can help in securing virtualization. But we must notice that, for now, all has been made for Intel/AMD architectures and for a lone operating system. Even so, the whole propositions are too complex to be implemented on em-bedded systems. So, we will have to use some capabilities in hardware development and make software rearrangements to help us to design a functional solution.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-139851" status="VALID">
          <orgName>DGA Maîtrise de l'information</orgName>
          <orgName type="acronym">DGA.MI</orgName>
          <desc>
            <address>
              <addrLine>Route de Laillé. La Roche Marguerite - 35170 - Bruz</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-411466" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-58651" status="OLD">
          <idno type="RNSR">200818991M</idno>
          <orgName>Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources</orgName>
          <orgName type="acronym">CAIRN</orgName>
          <date type="start">2009-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/cairn</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419364" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411466" status="VALID">
          <idno type="IdRef">24527152X</idno>
          <idno type="ISNI">0000000106718206</idno>
          <idno type="ROR">https://ror.org/04wsqd844</idno>
          <idno type="Wikidata">Q3029559</idno>
          <orgName>Direction générale de l'armement [France]</orgName>
          <orgName type="acronym">DGA</orgName>
          <date type="start">1977-01-01</date>
          <desc>
            <address>
              <addrLine>7 rue des Mathurins, 92221, Bagneux Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.defense.gouv.fr/dga/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </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="department" xml:id="struct-419364" status="OLD">
          <orgName>ARCHITECTURE</orgName>
          <orgName type="acronym">IRISA-D3</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d3-architecture</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</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="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>
    </back>
  </text>
</TEI>