<?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-02342738</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-19T05:13:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices</title>
            <author role="aut">
              <persName>
                <forename type="first">Abderrahmane</forename>
                <surname>Sensaoui</surname>
              </persName>
              <email type="md5">e3134e248eb37a237d7a9869f225f5d2</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1057341</idno>
              <idno type="halauthorid" notation="string">1689367-1057341</idno>
              <affiliation ref="#struct-25697"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Hely</surname>
              </persName>
              <email type="md5">59a0a3b5eecbbe4bc4a705ff1b7a7227</email>
              <email type="domain">lcis.grenoble-inp.fr</email>
              <idno type="idhal" notation="string">david-hely</idno>
              <idno type="idhal" notation="numeric">3313</idno>
              <idno type="halauthorid" notation="string">16210-3313</idno>
              <idno type="IDREF">https://www.idref.fr/101274793</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3249-7667</idno>
              <affiliation ref="#struct-25697"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Oum-El-Kheir</forename>
                <surname>Aktouf</surname>
              </persName>
              <email type="md5">a46cf901a49bb03a4e74628c21d7ec79</email>
              <email type="domain">esisar.inpg.fr</email>
              <idno type="idhal" notation="string">oum-el-kheir-aktouf</idno>
              <idno type="idhal" notation="numeric">7227</idno>
              <idno type="halauthorid" notation="string">12691-7227</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0493-9096</idno>
              <idno type="IDREF">https://www.idref.fr/140666184</idno>
              <affiliation ref="#struct-25697"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>abderrahmane</forename>
                <surname>sensaoui</surname>
              </persName>
              <email type="md5">e3134e248eb37a237d7a9869f225f5d2</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-11-01 11:41:35</date>
              <date type="whenModified">2025-09-27 19:49:11</date>
              <date type="whenReleased">2019-11-06 11:18:15</date>
              <date type="whenProduced">2019-09-17</date>
              <date type="whenEndEmbargoed">2019-11-01</date>
              <ref type="file" target="https://hal.science/hal-02342738v1/document">
                <date notBefore="2019-11-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02342738v1/file/toubkal.pdf" id="file-2342738-2251199">
                <date notBefore="2019-11-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="752248">
                <persName>
                  <forename>abderrahmane</forename>
                  <surname>sensaoui</surname>
                </persName>
                <email type="md5">e3134e248eb37a237d7a9869f225f5d2</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02342738</idno>
            <idno type="halUri">https://hal.science/hal-02342738</idno>
            <idno type="halBibtex">sensaoui:hal-02342738</idno>
            <idno type="halRefHtml">&lt;i&gt;2019 15th European Dependable Computing Conference (EDCC)&lt;/i&gt;, Sep 2019, Naples, Italy</idno>
            <idno type="halRef">2019 15th European Dependable Computing Conference (EDCC), Sep 2019, Naples, Italy</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2342738-2251199"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="LCIS">Laboratoire de Conception et d'Intégration des Systèmes</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Abderrahmane</forename>
                    <surname>Sensaoui</surname>
                  </persName>
                  <email type="md5">e3134e248eb37a237d7a9869f225f5d2</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1057341</idno>
                  <idno type="halauthorid" notation="string">1689367-1057341</idno>
                  <affiliation ref="#struct-25697"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Hely</surname>
                  </persName>
                  <email type="md5">59a0a3b5eecbbe4bc4a705ff1b7a7227</email>
                  <email type="domain">lcis.grenoble-inp.fr</email>
                  <idno type="idhal" notation="string">david-hely</idno>
                  <idno type="idhal" notation="numeric">3313</idno>
                  <idno type="halauthorid" notation="string">16210-3313</idno>
                  <idno type="IDREF">https://www.idref.fr/101274793</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3249-7667</idno>
                  <affiliation ref="#struct-25697"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Oum-El-Kheir</forename>
                    <surname>Aktouf</surname>
                  </persName>
                  <email type="md5">a46cf901a49bb03a4e74628c21d7ec79</email>
                  <email type="domain">esisar.inpg.fr</email>
                  <idno type="idhal" notation="string">oum-el-kheir-aktouf</idno>
                  <idno type="idhal" notation="numeric">7227</idno>
                  <idno type="halauthorid" notation="string">12691-7227</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0493-9096</idno>
                  <idno type="IDREF">https://www.idref.fr/140666184</idno>
                  <affiliation ref="#struct-25697"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>2019 15th European Dependable Computing Conference (EDCC)</title>
                  <date type="start">2019-09-17</date>
                  <settlement>Naples</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Trusted Computing</term>
                <term xml:lang="en">Hardware Security</term>
                <term xml:lang="en">Isolation</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="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>Toubkal is a new hardware architecture which provides secure, efficient and flexible hardware isolation. It is a modular system that offers strong separation of different hardware modules within a system. Lightweight devices use mainly a Memory Protection Unit (MPU) to protect the memory and create an isolation architecture. However, the MPU offers only a memory control access for the software running on the system. This scheme does not prevent other hardware components from accessing system memories. Toubkal aims to enhance these MPU architectures by adding a new hardware layer to create different access environments for different hardware components. Toubkal has been designed in such a way that it can easily be adapted to the system needs in terms of security, safety and performances. It does not require any change in the existing hardware modules. We present a detailed description of the architecture, then we compare and discuss run-time, area overhead as well as security limitations using different policies and options. The first experimental hardware module increases between 0.08% and 8.5% a single core Rocket Chip cells area.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-25697" status="OLD">
          <orgName>Laboratoire de Conception et d'Intégration des Systèmes</orgName>
          <orgName type="acronym">LCIS</orgName>
          <date type="start">1996-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>50, rue Barthélémy de Laffemas – BP54 26902 Valence Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lcis.inpg.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.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>
      </listOrg>
    </back>
  </text>
</TEI>