<?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-03798157</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-26T06:25:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Guaranteeing Timed Opacity using Parametric Timed Model Checking</title>
            <author role="aut">
              <persName>
                <forename type="first">Étienne</forename>
                <surname>André</surname>
              </persName>
              <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
              <email type="domain">lipn13.fr</email>
              <idno type="idhal" notation="string">etienne-andre</idno>
              <idno type="idhal" notation="numeric">8289</idno>
              <idno type="halauthorid" notation="string">28031-8289</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8473-9555</idno>
              <idno type="ARXIV">https://arxiv.org/a/andre_e_2</idno>
              <affiliation ref="#struct-206041"/>
              <affiliation ref="#struct-107895"/>
              <affiliation ref="#struct-1000994"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Didier</forename>
                <surname>Lime</surname>
              </persName>
              <idno type="halauthorid">267158-0</idno>
              <affiliation ref="#struct-1088564"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dylan</forename>
                <surname>Marinho</surname>
              </persName>
              <email type="md5">4129d383235ae8ba5da3c50a26145109</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">dylan-marinho</idno>
              <idno type="idhal" notation="numeric">744347</idno>
              <idno type="halauthorid" notation="string">53010-744347</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2548-6196</idno>
              <idno type="IDREF">https://www.idref.fr/277739829</idno>
              <affiliation ref="#struct-206041"/>
              <affiliation ref="#struct-107895"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jun</forename>
                <surname>Sun</surname>
              </persName>
              <idno type="idhal" notation="numeric">1170777</idno>
              <idno type="halauthorid" notation="string">1050676-1170777</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3545-1392</idno>
              <affiliation ref="#struct-446960"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Dylan</forename>
                <surname>Marinho</surname>
              </persName>
              <email type="md5">4129d383235ae8ba5da3c50a26145109</email>
              <email type="domain">lip6.fr</email>
            </editor>
            <funder ref="#projanr-41258"/>
            <funder ref="#projanr-50401"/>
            <funder>This work is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), by the ANR-NRF research program ProMiS (ANR-19-CE25-0015), and by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-10-09 22:20:48</date>
              <date type="whenModified">2026-04-11 03:18:06</date>
              <date type="whenReleased">2024-10-10 11:36:28</date>
              <date type="whenProduced">2022-10-31</date>
              <date type="whenEndEmbargoed">2024-10-09</date>
              <ref type="file" target="https://hal.science/hal-03798157v1/document">
                <date notBefore="2024-10-09"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-03798157v1/file/2206.05438v1.pdf" id="file-4729272-4115577">
                <date notBefore="2024-10-09"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2206.05438"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="940893">
                <persName>
                  <forename>Dylan</forename>
                  <surname>Marinho</surname>
                </persName>
                <email type="md5">4129d383235ae8ba5da3c50a26145109</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03798157</idno>
            <idno type="halUri">https://hal.science/hal-03798157</idno>
            <idno type="halBibtex">andre:hal-03798157</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM Transactions on Software Engineering and Methodology&lt;/i&gt;, 2022, 31 (4), pp.1-36. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3502851"&gt;&amp;#x27E8;10.1145/3502851&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. &amp;#x27E8;10.1145/3502851&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4729272-4115577"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </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="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-STR" corresp="LS2N">LS2N - équipe STR</idno>
            <idno type="stamp" n="IBHGC" corresp="UNIV-PARIS13">Institut de Biomécanique Humaine Georges Charpak</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="NANTES-UNIV">Nantes Université</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
            <idno type="stamp" n="INRIA-SINGAPOUR">INRIA-SINGAPOUR</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">This is the author version of the manuscript of the same name published in ACM Transactions on Software Engineering and Methodology (ToSEM).</note>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Guaranteeing Timed Opacity using Parametric Timed Model Checking</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Étienne</forename>
                    <surname>André</surname>
                  </persName>
                  <email type="md5">c5cddd7679a0cba7b78850bd19da63cf</email>
                  <email type="domain">lipn13.fr</email>
                  <idno type="idhal" notation="string">etienne-andre</idno>
                  <idno type="idhal" notation="numeric">8289</idno>
                  <idno type="halauthorid" notation="string">28031-8289</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8473-9555</idno>
                  <idno type="ARXIV">https://arxiv.org/a/andre_e_2</idno>
                  <affiliation ref="#struct-206041"/>
                  <affiliation ref="#struct-107895"/>
                  <affiliation ref="#struct-1000994"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Didier</forename>
                    <surname>Lime</surname>
                  </persName>
                  <idno type="halauthorid">267158-0</idno>
                  <affiliation ref="#struct-1088564"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dylan</forename>
                    <surname>Marinho</surname>
                  </persName>
                  <email type="md5">4129d383235ae8ba5da3c50a26145109</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">dylan-marinho</idno>
                  <idno type="idhal" notation="numeric">744347</idno>
                  <idno type="halauthorid" notation="string">53010-744347</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2548-6196</idno>
                  <idno type="IDREF">https://www.idref.fr/277739829</idno>
                  <affiliation ref="#struct-206041"/>
                  <affiliation ref="#struct-107895"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jun</forename>
                    <surname>Sun</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1170777</idno>
                  <idno type="halauthorid" notation="string">1050676-1170777</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3545-1392</idno>
                  <affiliation ref="#struct-446960"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">2601</idno>
                <idno type="issn">1049-331X</idno>
                <title level="j">ACM Transactions on Software Engineering and Methodology</title>
                <imprint>
                  <publisher>Association for Computing Machinery</publisher>
                  <biblScope unit="volume">31</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <biblScope unit="pp">1-36</biblScope>
                  <date type="datePub">2022-10-31</date>
                  <date type="dateEpub">2022-09-08</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2206.05438</idno>
              <idno type="doi">10.1145/3502851</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">parametric timed automata</term>
                <term xml:lang="en">parameter synthesis</term>
                <term xml:lang="en">IMITATOR</term>
                <term xml:lang="en">timed automata</term>
                <term xml:lang="en">opacity</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully deduces confidential internal information. In this work, we consider that the attacker has access (only) to the system execution time. We address the following timed opacity problem: given a timed system, a private location and a final location, synthesize the execution times from the initial location to the final location for which one cannot deduce whether the system went through the private location. We also consider the full timed opacity problem, asking whether the system is opaque for all execution times. We show that these problems are decidable for timed automata (TAs) but become undecidable when one adds parameters, yielding parametric timed automata (PTAs). We identify a subclass with some decidability results. We then devise an algorithm for synthesizing PTAs parameter valuations guaranteeing that the resulting TA is opaque. We finally show that our method can also apply to program analysis.</p>
            </abstract>
            <particDesc>
              <org type="consortium">Agence Nationale de la Recherche (ANR)</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-206041" status="VALID">
          <orgName>Proof-oriented development of computer-based systems</orgName>
          <orgName type="acronym">MOSEL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-107895" status="VALID">
          <idno type="RNSR">201020692C</idno>
          <idno type="ROR">https://ror.org/0440j7g03</idno>
          <orgName>Modeling and Verification of Distributed Algorithms and Systems</orgName>
          <orgName type="acronym">VERIDIS</orgName>
          <date type="start">2012-07-01</date>
          <date type="end">2026-04-30</date>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/veridis</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1000994" status="VALID">
          <idno type="IdRef">191907855</idno>
          <idno type="RNSR">200112433P</idno>
          <idno type="ROR">05g1zjw44</idno>
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
            <relation active="#struct-581146" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1088564" status="VALID">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>Nantes Université – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="direct"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-446960" status="INCOMING">
          <orgName>School of Information Systems  (Singapore Management University - SMU)</orgName>
          <orgName type="acronym">SIS - SMU</orgName>
          <desc>
            <address>
              <country key="SG"/>
            </address>
          </desc>
        </org>
        <org type="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" 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="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="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.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>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-581146" status="VALID">
          <idno type="IdRef">02640463X</idno>
          <idno type="ISNI">0000000121496883</idno>
          <idno type="ROR">https://ror.org/0199hds37</idno>
          <orgName>Université Sorbonne Paris Nord</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>99, avenue Jean-Baptiste Clément, 93430 Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </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-1086798" status="VALID">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>NANTES UNIVERSITÉ - École Centrale de Nantes</orgName>
          <orgName type="acronym">Nantes Univ - ECN</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1083366" status="VALID">
          <idno type="IdRef">258086599</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Nantes Université</orgName>
          <orgName type="acronym">Nantes Univ</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1088543" status="VALID">
          <orgName>Nantes université - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">Nantes univ -  UFR ST</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083400" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1083400" status="VALID">
          <orgName>Nantes Université - pôle Sciences et technologie</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nouvelleuniversite.univ-nantes.fr/les-poles</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-41258" status="VALID">
          <idno type="anr">ANR-14-CE28-0002</idno>
          <idno type="program">Appel à projets générique</idno>
          <orgName>PACS</orgName>
          <desc>Analyses paramétrées de systèmes concurrents</desc>
          <date type="start">2014</date>
        </org>
        <org type="anrProject" xml:id="projanr-50401" status="VALID">
          <idno type="anr">ANR-19-CE25-0015</idno>
          <orgName>ProMiS</orgName>
          <desc>Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>