<?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-05151434</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-15T15:30:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Execution Platform Contracts</title>
            <author role="aut">
              <persName>
                <forename type="first">Dorian</forename>
                <surname>Bourgeoisat</surname>
              </persName>
              <email type="md5">b16aca96c6b14f3a6ce78957aae3d3a4</email>
              <email type="domain">telecom-paris.fr</email>
              <idno type="idhal" notation="numeric">1285096</idno>
              <idno type="halauthorid" notation="string">2901748-1285096</idno>
              <affiliation ref="#struct-554439"/>
              <affiliation ref="#struct-121818"/>
              <affiliation ref="#struct-1048346"/>
              <affiliation ref="#struct-563936"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ulrich</forename>
                <surname>Kühne</surname>
              </persName>
              <email type="md5">12848902675d4925e3e892bf61a34809</email>
              <email type="domain">telecom-paris.fr</email>
              <idno type="idhal" notation="string">ulrich-kuhne</idno>
              <idno type="idhal" notation="numeric">177560</idno>
              <idno type="halauthorid" notation="string">41152-177560</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0855-8223</idno>
              <affiliation ref="#struct-554453"/>
              <affiliation ref="#struct-554513"/>
              <affiliation ref="#struct-1048346"/>
              <affiliation ref="#struct-563936"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florian</forename>
                <surname>Brandner</surname>
              </persName>
              <email type="md5">bf2b4bab7da6dd3f15c430f757febcf5</email>
              <email type="domain">telecom-paris.fr</email>
              <idno type="idhal" notation="string">florian-brandner</idno>
              <idno type="idhal" notation="numeric">3550</idno>
              <idno type="halauthorid" notation="string">16809-3550</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2493-7864</idno>
              <idno type="IDREF">https://www.idref.fr/242601251</idno>
              <affiliation ref="#struct-554439"/>
              <affiliation ref="#struct-121818"/>
              <affiliation ref="#struct-1048346"/>
              <affiliation ref="#struct-563936"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ulrich</forename>
                <surname>Kühne</surname>
              </persName>
              <email type="md5">12848902675d4925e3e892bf61a34809</email>
              <email type="domain">telecom-paris.fr</email>
            </editor>
            <funder ref="#projanr-69635"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-07-08 16:54:03</date>
              <date type="whenModified">2026-02-04 03:27:31</date>
              <date type="whenReleased">2025-07-18 17:07:15</date>
              <date type="whenProduced">2025-09-10</date>
              <date type="whenEndEmbargoed">2025-07-08</date>
              <ref type="file" target="https://hal.science/hal-05151434v1/document">
                <date notBefore="2025-07-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05151434v1/file/2025215676.pdf" id="file-5151434-4448159">
                <date notBefore="2025-07-08"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="542124">
                <persName>
                  <forename>Ulrich</forename>
                  <surname>Kühne</surname>
                </persName>
                <email type="md5">12848902675d4925e3e892bf61a34809</email>
                <email type="domain">telecom-paris.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05151434</idno>
            <idno type="halUri">https://hal.science/hal-05151434</idno>
            <idno type="halBibtex">bourgeoisat:hal-05151434</idno>
            <idno type="halRefHtml">&lt;i&gt;28th Euromicro Conference Series on Digital System Design (DSD)&lt;/i&gt;, Euromicro, Sep 2025, Salerno, Italy</idno>
            <idno type="halRef">28th Euromicro Conference Series on Digital System Design (DSD), Euromicro, Sep 2025, Salerno, Italy</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-5151434-4448159"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENST">Ecole Nationale Supérieure des Télécommunications</idno>
            <idno type="stamp" n="TELECOM-PARISTECH" corresp="PARISTECH">Télécom Paris</idno>
            <idno type="stamp" n="LTCI" corresp="TELECOM-PARISTECH">Laboratoire Traitement et Communication de l'Information</idno>
            <idno type="stamp" n="COMELEC" corresp="TELECOM-PARISTECH">Département Communications et Electronique</idno>
            <idno type="stamp" n="INFRES" corresp="TELECOM-PARISTECH">Département Informatique et Réseaux</idno>
            <idno type="stamp" n="ACES" corresp="TELECOM-PARISTECH">Equipe Autonomic and Critical Embedded Systems</idno>
            <idno type="stamp" n="SSH" corresp="TELECOM-PARISTECH">Equipe Secure and Safe Hardware</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="CYBERSCURITE">PEPR Cybersécurité</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="ARSENE">ARSENE</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATION-COMMUNICATION-ELECTRONIQUE">IP Paris Département d'Information, de Communication et d'Électronique</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</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">Execution Platform Contracts</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Dorian</forename>
                    <surname>Bourgeoisat</surname>
                  </persName>
                  <email type="md5">b16aca96c6b14f3a6ce78957aae3d3a4</email>
                  <email type="domain">telecom-paris.fr</email>
                  <idno type="idhal" notation="numeric">1285096</idno>
                  <idno type="halauthorid" notation="string">2901748-1285096</idno>
                  <affiliation ref="#struct-554439"/>
                  <affiliation ref="#struct-121818"/>
                  <affiliation ref="#struct-1048346"/>
                  <affiliation ref="#struct-563936"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ulrich</forename>
                    <surname>Kühne</surname>
                  </persName>
                  <email type="md5">12848902675d4925e3e892bf61a34809</email>
                  <email type="domain">telecom-paris.fr</email>
                  <idno type="idhal" notation="string">ulrich-kuhne</idno>
                  <idno type="idhal" notation="numeric">177560</idno>
                  <idno type="halauthorid" notation="string">41152-177560</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0855-8223</idno>
                  <affiliation ref="#struct-554453"/>
                  <affiliation ref="#struct-554513"/>
                  <affiliation ref="#struct-1048346"/>
                  <affiliation ref="#struct-563936"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florian</forename>
                    <surname>Brandner</surname>
                  </persName>
                  <email type="md5">bf2b4bab7da6dd3f15c430f757febcf5</email>
                  <email type="domain">telecom-paris.fr</email>
                  <idno type="idhal" notation="string">florian-brandner</idno>
                  <idno type="idhal" notation="numeric">3550</idno>
                  <idno type="halauthorid" notation="string">16809-3550</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2493-7864</idno>
                  <idno type="IDREF">https://www.idref.fr/242601251</idno>
                  <affiliation ref="#struct-554439"/>
                  <affiliation ref="#struct-121818"/>
                  <affiliation ref="#struct-1048346"/>
                  <affiliation ref="#struct-563936"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>28th Euromicro Conference Series on Digital System Design (DSD)</title>
                  <date type="start">2025-09-10</date>
                  <date type="end">2025-09-12</date>
                  <settlement>Salerno</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>Euromicro</name>
                </respStmt>
                <imprint/>
              </monogr>
              <ref type="publisher">https://dsd-seaa.com/dsd2025/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Operating systems</term>
                <term xml:lang="en">Formal methods</term>
                <term xml:lang="en">Side Channel Attacks</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Confidentiality is a crucial security property for many critical applications. As a response to the discovery of numerous micro-architectural side channel attacks such as Spectre, allowing an attacker to extract secret information in pernicious ways, the notion of hardware/software contracts was proposed to formalise the guarantees provided by the hardware to the software. In this paper, we propose to extend this notion to include the guarantees provided by the operating system (OS), so far unspecified in such contracts. We formalize an attacker model adapted to a typical execution model on a shared platform. More precisely, we formalize common thread and memory management policies provided by the OS on top of a hardware model and explore the consequences of potential leaks emerging on such a platform. Our investigation shows that the OS policies play a crucial role in providing security guarantees to code processing sensitive data and thus have to be taken into consideration when writing such code through platform contracts.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-554439" status="VALID">
          <orgName>Autonomic and Critical Embedded Systems</orgName>
          <orgName type="acronym">ACES</orgName>
          <date type="start">2019-02-22</date>
          <desc>
            <address>
              <addrLine>Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ltci.telecom-paristech.fr/research-team/aces/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-484335" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1048346" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-121818" status="VALID">
          <orgName>Département Informatique et Réseaux</orgName>
          <orgName type="acronym">INFRES</orgName>
          <desc>
            <address>
              <addrLine>46, rue Barrault 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci/les-departements-denseignement-et-recherche</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300362" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1048346" status="VALID">
          <idno type="IdRef">026375273</idno>
          <idno type="ISNI">0000 0001 2108 2779</idno>
          <idno type="ROR">https://ror.org/01naq7912</idno>
          <orgName>Télécom Paris</orgName>
          <date type="start">2019-06-12</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-554453" status="VALID">
          <orgName>Secure and Safe Hardware</orgName>
          <orgName type="acronym">SSH</orgName>
          <date type="start">2019-02-22</date>
          <desc>
            <address>
              <addrLine>Télécom Paris 19 Place Marguerite Perey 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci/les-equipes-de-recherche/secure-and-safe-hardware-ssh</ref>
          </desc>
          <listRelation>
            <relation active="#struct-484335" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1048346" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-554513" status="VALID">
          <orgName>Département Communications &amp; Electronique</orgName>
          <orgName type="acronym">COMELEC</orgName>
          <date type="start">2019-02-25</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey 91120 PALAISEAU</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci/les-departements-denseignement-et-recherche</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300362" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-484335" status="VALID">
          <idno type="IdRef">162384270</idno>
          <idno type="ISNI">0000 0000 9194 9502</idno>
          <idno type="RNSR">200319327Z</idno>
          <idno type="ROR">https://ror.org/057er4c39</idno>
          <orgName>Laboratoire Traitement et Communication de l'Information</orgName>
          <orgName type="acronym">LTCI</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr/fr/recherche/laboratoires/laboratoire-traitement-et-communication-de-linformation-ltci</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation active="#struct-1048346" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300362" status="VALID">
          <idno type="ROR">https://ror.org/01naq7912</idno>
          <orgName>Télécom ParisTech</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2019-06-11</date>
          <desc>
            <address>
              <addrLine>46 rue Barrault 75634 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.telecom-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-69635" status="VALID">
          <idno type="anr">ANR-22-PECY-0004</idno>
          <orgName>ARSENE</orgName>
          <desc>ARchitectures SEcurisées pour le Numérique Embarqué</desc>
          <date type="start">2022</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>