CINXE.COM
Axe 芦 S茅curit茅, s没ret茅 et fiabilit茅 禄 (SSR)
<!DOCTYPE html> <!--[if lt IE 8 ]><html class='no-js ie ie7' lang='fr'> <![endif]--> <!--[if IE 8 ]><html class='no-js ie ie8' lang='fr'> <![endif]--> <!--[if (gte IE 8)|!(IE)]><!--><html class='no-js' xml:lang='fr' lang='fr'> <!--<![endif]--> <head> <meta http-equiv='content-type' content='text/html;charset=utf-8' > <meta name='language' content='fr' > <meta lang='fr' name='description' content='LIP6: UMR7606 - Laboratoire de recherche en informatique de Sorbonne Universit茅' > <meta name='viewport' content='width=device-width, initial-scale=1, viewport-fit=cover' > <link href='../bootstrap/css/bootstrap.min.css' rel='stylesheet'> <link rel='stylesheet' media='all' href='../css/blue.css' > <link rel='stylesheet' type='text/css' media='all' href='../css/color-scheme.css' > <link rel='stylesheet' media='all' href='../css/default.css' > <link rel='stylesheet' media='all' href='../css/superfish.css' > <link rel='stylesheet' media='all' href='../css/layout.css' > <link rel='stylesheet' media='all' href='../css/media-queries.css' > <link rel='stylesheet' media='all' href='../css/navigation.css' > <link rel='stylesheet' media='all' href='../css/superfish-adapt.css' > <link rel='stylesheet' media='all' href='../css/layout-adapt.css' > <link rel='stylesheet' media='all' href='../css/media-queries-adapt.css' > <link rel='stylesheet' media='all' href='../css/common.css' > <link rel='stylesheet' media='all' href='../css/migration_default.css' > <link rel='stylesheet' media='all' href='../css/su.css' > <link rel='stylesheet' media='print' href='../css/su-print.css' > <link rel='shortcut icon' type='image/png' href='../favicon.png' > <script src='../js/jquery-1.12.4.min.js'></script> <script src='../js/modernizr-3.3.1-custom.min.js'></script> <script src='../js/jquery.fittext.js'></script> <script src='../js/hoverIntent.js'></script> <script src='../js/superfish.js'></script> <link rel='stylesheet' media='all' href='../css/nouvelle_presentation.css' > <script src='../bootstrap/js/bootstrap.bundle.min.js'></script> <title>Axe 芦 S茅curit茅, s没ret茅 et fiabilit茅 禄 (SSR)</title> </head> <body> <div class='container-md g-0'> <!-- Header ================================================== --> <header id='top'> <nav id='nav-wrap'> <a class='mobile-btn' href='#nav-wrap' title='Show navigation'>Show Menu</a> <a class='mobile-btn' href='#' title='Hide navigation'>Hide Menu</a> <div class='row'> <ul id='navigation' class='sf-menu fa-ul'> <li class='home'><a href='../'><i class='fa-li fa fa-home'></i> </a></li> <li class='has-children'><a href='#'>Le LIP6</a> <ul> <li><a href='../presentation/directeur.php'>脌 propos</a></li> <li><a href='../presentation/organigramme.php'>Organigrammes</a></li> <li class='has-children'><a href='#'>Organisation</a> <ul> <li><a href='../presentation/organisation-direction.php'>Comit茅 de Direction</a></li> <li><a href='../presentation/organisation-serv-adm.php'>Direction Adminis­trative et Financi猫re</a></li> <li><a href='../presentation/organisation-serv-info.php'>Direction de l鈥橧ng茅nierie Num茅rique</a></li> <li><a href='../presentation/organisation-conseil-scien.php'>Conseil scientifique</a></li> <li><a href='../presentation/organisation-conseil-labo.php'>Conseil de laboratoire</a></li> <li><a href='../presentation/organisation-conseil-doct.php'>Conseil des doctorants</a></li> </ul></li> <li><a href='../informations/comment.php'>Localisation & Contact</a></li> </ul></li> <li class='has-children'><a href='#'>Recherche</a> <ul> <li><a href='../recherche/index.php'>Axes & 脡quipes</a></li> <li><a href='../production/publications.php'>Publications</a></li> <li><a href='../actualite/personnes-thesard.php'>Doctorants</a></li> <li><a href='../liens/environnement.php'>Formation</a></li> <li><a href='../production/rapport-activite.php'>Rapport d鈥檃ctivit茅</a></li> </ul></li> <li class='has-children'><a href='#'>Valorisation</a> <ul> <li><a href='../recherche/valorisation.php'>Nos comp茅tences</a></li> <li><a href='../recherche/collaborer.php'>Collaborer avec nous</a></li> <li><a href='../production/logiciels.php'>Logiciels</a></li> <li><a href='../production/brevets.php'>Brevets</a></li> <li><a href='../production/startups.php'>Start-ups</a></li> </ul></li> <li><a href='../recherche/emplois.php'>Emplois</a></li> <li><a href='../informations/annuaire.php'>Annuaire</a></li> <li><a href='../colloquium/'>Colloquium</a></li> <a class='intranet' href='https://intranet.lip6.fr' title='Intranet'>馃敀</a> <a class='webmail' href='https://webmail.lip6.fr' title='WebMail'>馃摣</a> <li class='has-children languages'><a href='//recherche/team.php?acronyme=SSR&LANG=fr' class='langue_courante' title='Acc茅der 脿 la version fran莽aise'>馃嚝馃嚪</a> <ul ><li><a href='//recherche/team.php?acronyme=SSR&LANG=fr' class='langue_courante' title='Acc茅der 脿 la version fran莽aise'>馃嚝馃嚪</a></li><li><a href='//recherche/team.php?acronyme=SSR&LANG=en' title='Acc茅der 脿 la version anglaise'>馃嚞馃嚙</a></li> </ul></li> </ul> <!-- end #navigation --> </div> <!-- row --> </nav> <!-- end #nav-wrap --> <div class='header-content twelve columns'> <div id='haut'> <a href='..'><svg id='LIP6' version='1.1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' x='0' y='0' viewBox='0, 0, 195, 183'> -<g> <path d="M97.5,181.25 C47.932,181.25 7.75,141.068 7.75,91.5 C7.75,41.932 47.932,1.75 97.5,1.75 C147.068,1.75 187.25,41.932 187.25,91.5 C187.25,141.068 147.068,181.25 97.5,181.25 z" fill="#FFFFFF"/> <path d="M40.241,52.844 L67.937,52.844 L67.937,121.309 L104.124,121.309 L104.124,145 L40.241,145 z"/> <path d="M75.578,53.26 L104.12,53.26 L104.12,113.74 L75.578,113.74 z"/> <path d="M138.441,52.844 L111.259,52.844 L111.259,144.358 L138.441,144.358 L138.441,119.101 C138.441,119.101 172.759,122.498 172.759,87.841 C172.759,53.184 138.441,52.844 138.441,52.844 z M130.458,77.072 C130.58,75.727 130.635,74.453 131.521,73.252 C132.407,72.05 133.618,71.15 135.151,70.549 C136.686,69.949 138.455,69.649 140.461,69.649 C142.933,69.649 144.959,70.028 146.544,70.787 C148.129,71.545 149.262,72.613 149.946,73.993 C150.629,75.372 150.972,79.461 150.972,81.556 L141.557,81.556 C141.557,79.987 141.538,77.801 141.502,77.391 C141.465,76.981 141.29,76.638 140.973,76.359 C140.657,76.082 140.568,75.943 140.025,75.943 C139.57,75.943 139.478,76.074 139.185,76.336 C138.891,76.599 138.722,76.938 138.678,77.351 C138.636,77.765 138.611,78.599 138.611,79.856 L138.611,85.889 C139.062,84.998 139.725,84.329 140.598,83.883 C141.471,83.437 142.549,83.214 143.83,83.214 C145.446,83.214 146.874,83.628 148.11,84.457 C149.347,85.287 150.135,86.281 150.469,87.441 C150.803,88.602 150.972,90.171 150.972,92.145 L150.972,92.974 C150.972,95.323 150.876,97.07 150.688,98.217 C150.5,99.364 149.994,100.424 149.173,101.398 C148.351,102.373 147.226,103.128 145.793,103.667 C144.36,104.206 142.693,104.475 140.788,104.475 C138.419,104.475 136.478,104.165 134.967,103.544 C133.456,102.922 132.289,102.029 131.467,100.863 C130.646,99.697 130.619,98.471 130.481,97.188"/> <path d="M138.611,94.659 C138.611,96.145 138.746,97.116 139.019,97.574 C139.29,98.032 139.43,98.261 140.062,98.261 C140.444,98.261 140.722,98.374 141.175,97.695 C141.571,97.298 141.515,95.766 141.556,94.92 L141.556,92.995 C141.556,91.802 141.415,90.983 141.137,90.539 C140.858,90.095 140.715,89.874 140.084,89.874 C139.467,89.874 139.326,90.086 139.041,90.509 C138.754,90.932 138.611,91.762 138.611,92.997 L138.611,94.659 L138.611,94.659 z"/> <path d="M103.44,36.271 C103.44,44.152 97.051,50.541 89.17,50.541 C81.288,50.541 74.899,44.152 74.899,36.271 C74.899,28.389 81.288,22 89.17,22 C97.051,22 103.44,28.389 103.44,36.271 z"/> </g> </svg> </a> <span class='lab_title'>Laboratoire d鈥檌nformatique</span> <a href='https://www.youtube.com/channel/UCX9cr6G8gl7OhFNVv1mu-lQ/playlists?flow=grid&view=50&shelf_id=2' title='YouTube' target='_blank' rel='noopener' class='youtube'><svg xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" version="1.1" id="youtube" x="0px" y="0px" viewBox="0 0 71.412065 50" xml:space="preserve" inkscape:version="0.91 r13725" sodipodi:docname="YouTube_light_icon (2017).svg" width="71.412064" height="50"><metadata id="metadata33"><rdf:RDF><cc:Work rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage" /><dc:title></dc:title></cc:Work></rdf:RDF></metadata><defs id="defs31" /><sodipodi:namedview pagecolor="#ffffff" bordercolor="#666666" borderopacity="1" objecttolerance="10" gridtolerance="10" guidetolerance="10" inkscape:pageopacity="0" inkscape:pageshadow="2" inkscape:window-width="1366" inkscape:window-height="715" id="namedview29" showgrid="false" fit-margin-top="0" fit-margin-left="0" fit-margin-right="0" fit-margin-bottom="0" inkscape:zoom="5.4355702" inkscape:cx="30.091613" inkscape:cy="15.29613" inkscape:window-x="-8" inkscape:window-y="-8" inkscape:window-maximized="1" inkscape:current-layer="Layer_1" /><style type="text/css" id="style3"> .st0{fill:#FF0000;} .st1{fill:#FFFFFF;} .st2{fill:#282828;} </style><g id="g5" transform="scale(0.58823529,0.58823529)"><path style="fill-opacity:1" d="M 35.705078 0 C 35.705078 0 13.35386 0.0001149 7.765625 1.4707031 C 4.765625 2.2942325 2.2942325 4.7653952 1.4707031 7.8242188 C 0.0001149 13.412454 -2.9605947e-016 25 0 25 C 0 25 0.0001149 36.64637 1.4707031 42.175781 C 2.2942325 45.234605 4.7068015 47.647174 7.765625 48.470703 C 13.412684 50.000115 35.705078 50 35.705078 50 C 35.705078 50 58.058249 49.999885 63.646484 48.529297 C 66.705308 47.705767 69.117877 45.293199 69.941406 42.234375 C 71.411994 36.64614 71.412109 25.058594 71.412109 25.058594 C 71.412109 25.058594 71.470818 13.412454 69.941406 7.8242188 C 69.117877 4.7653952 66.705308 2.3528263 63.646484 1.5292969 C 58.058249 -0.000114879 35.705078 2.9605947e-016 35.705078 0 z M 28.587891 14.294922 L 47.175781 25 L 28.587891 35.705078 L 28.587891 14.294922 z " transform="scale(1.7,1.7)" id="path7" /></g></svg></a> <a href='https://www.linkedin.com/company/lip6' title='LinkedIn' target='_blank' rel='noopener' class='linkedin'><img src='../images/logo/LinkedIn.png' alt='X'></a> </div> <!-- end haut --> </div> <!-- header-content --> </header> <!-- Header End --> <!-- Content ================================================== --> <div id='content-wrap'> <div class='row pb-3'> <div class='col'> <ul class='fil fa-ul'> <li class='home'><a href='../'><i class='fa-li fa fa-home'></i></a></li> <li><a href='../recherche/index.php'>Recherche</a></li><li>脡quipe</li></ul> </div><!-- col --> </div><!-- row --> <div class='row encadre'> <div class='col-8'> <h1>Axe 芦 S茅curit茅, s没ret茅 et fiabilit茅 禄 (SSR)</h1> <p>脡quipes : <a title='Algorithmes pour la sécurité des communications' href='team.php?acronyme=ALMASTY'>ALMASTY</a>, <a title='Architecture et Logiciels pour Systèmes Embarqués sur Puce' href='team.php?acronyme=ALSOC'>ALSOC</a>, <a title='Algorithmes, Programmes et Résolution' href='team.php?acronyme=APR'>APR</a>, <a title='Circuits Intégrés Numériques et Analogiques' href='team.php?acronyme=CIAN'>CIAN</a>, <a title='ComplexNetworks' href='team.php?acronyme=ComplexNetworks'>ComplexNetworks</a>, <a title='DistributEd aLgorithms and sYstems' href='team.php?acronyme=DELYS'>DELYS</a>, <a title='Modélisation et Vérification' href='team.php?acronyme=MoVe'>MoVe</a>, <a title='Networks and Performance Analysis' href='team.php?acronyme=NPA'>NPA</a>, <a title='Performance et Qualité des Algorithmes Numériques' href='team.php?acronyme=PEQUAN'>PEQUAN</a>, <a title='Systemes Polynomiaux' href='team.php?acronyme=PolSys'>PolSys</a>, <a title='Information Quantique' href='team.php?acronyme=QI'>QI</a>, <a title='Systèmes Electroniques' href='team.php?acronyme=SYEL'>SYEL</a>.</p> <h1>Co-animateurs :</h1> <a href='../actualite/personnes-fiche.php?ident=P1338'>Damien Vergnaud</a> Campus Pierre et Marie Curie 24-25/412<br> <a href='../actualite/personnes-fiche.php?ident=P1038'>Antoine Min茅</a> Campus Pierre et Marie Curie 25-26/308</div> <div class='col-sm-4 animate__zoomIn text-end'> <img class='portrait' src='../photos/people/noPhoto.png' alt='Photo Responsable'> <img class='portrait' src='../photos/people/c84d3e3a6bd86b981f1031fca685077e.png' alt='Photo Responsable'> <div class='portrait cote logos_axes color'> <svg id="SSR" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" id="SSR" zoomAndPan="magnify" viewBox="0 0 864 863.999991" preserveAspectRatio="xMidYMid meet" version="1.0"> <defs> <clipPath id="752c325fee"> <path d="M 180.097656 180.097656 L 684 180.097656 L 684 684 L 180.097656 684 Z M 180.097656 180.097656 " clip-rule="nonzero"/> </clipPath> <clipPath id="266dcd9d60"> <path d="M 64.839844 64.839844 L 799.160156 64.839844 L 799.160156 799.160156 L 64.839844 799.160156 Z M 64.839844 64.839844 " clip-rule="nonzero"/> </clipPath> <clipPath id="726fa4fb4c"> <path d="M 432 64.839844 C 229.222656 64.839844 64.839844 229.222656 64.839844 432 C 64.839844 634.777344 229.222656 799.160156 432 799.160156 C 634.777344 799.160156 799.160156 634.777344 799.160156 432 C 799.160156 229.222656 634.777344 64.839844 432 64.839844 Z M 432 64.839844 " clip-rule="nonzero"/> </clipPath> <clipPath id="e04b7890dd"> <path d="M 279.4375 211.074219 L 584.6875 211.074219 L 584.6875 624.324219 L 279.4375 624.324219 Z M 279.4375 211.074219 " clip-rule="nonzero"/> </clipPath> </defs> <g clip-path="url(#752c325fee)"> <path fill="#000000" d="M 317.320312 279.097656 L 386.507812 279.097656 L 373.511719 219.085938 C 364.722656 217.171875 358.222656 209.144531 358.222656 199.972656 C 358.222656 188.886719 367.015625 180.097656 378.097656 180.097656 C 389.183594 180.097656 397.976562 188.886719 397.976562 199.972656 C 397.976562 209.144531 391.476562 217.171875 382.6875 219.085938 L 395.683594 279.097656 L 464.871094 279.097656 L 451.871094 219.085938 C 443.464844 216.792969 436.964844 209.144531 436.964844 199.972656 C 436.964844 188.886719 445.757812 180.097656 456.84375 180.097656 C 467.546875 180.097656 476.71875 188.886719 476.71875 199.972656 C 476.71875 209.527344 469.839844 217.171875 461.046875 219.085938 L 474.042969 279.097656 L 547.433594 279.097656 C 565.78125 279.097656 581.453125 292.859375 584.128906 310.824219 L 644.523438 297.828125 C 645.289062 287.507812 653.699219 279.480469 664.402344 279.480469 C 675.105469 279.480469 683.898438 288.273438 683.898438 299.355469 C 683.898438 310.441406 675.105469 319.234375 664.402344 319.234375 C 655.992188 319.234375 648.730469 313.882812 645.671875 306.621094 L 584.511719 319.996094 L 584.511719 388.800781 L 644.523438 376.1875 C 645.289062 366.25 654.082031 358.222656 664.402344 358.222656 C 675.105469 358.222656 683.898438 367.015625 683.898438 378.097656 C 683.898438 389.183594 675.105469 397.976562 664.402344 397.976562 C 655.609375 397.976562 648.347656 392.625 645.671875 384.980469 L 584.511719 397.976562 L 584.511719 467.164062 L 644.523438 454.546875 C 645.671875 444.609375 654.082031 436.964844 664.402344 436.964844 C 675.105469 436.964844 683.898438 445.757812 683.898438 456.84375 C 683.898438 467.546875 675.105469 476.71875 664.402344 476.71875 C 655.609375 476.71875 648.347656 470.984375 645.671875 463.339844 L 584.511719 476.335938 L 584.511719 547.050781 C 584.511719 565.398438 570.75 581.070312 552.785156 583.746094 L 565.78125 644.523438 C 576.101562 644.90625 584.511719 653.699219 584.511719 664.402344 C 584.511719 675.105469 575.722656 683.898438 564.636719 683.898438 C 553.933594 683.898438 545.140625 675.105469 545.140625 664.402344 C 545.140625 655.992188 549.726562 649.113281 556.992188 646.054688 L 543.613281 584.128906 L 474.425781 584.128906 L 487.421875 644.523438 C 497.742188 645.289062 505.769531 653.699219 505.769531 664.402344 C 505.769531 675.105469 496.976562 683.898438 485.894531 683.898438 C 475.191406 683.898438 466.398438 675.105469 466.398438 664.402344 C 466.398438 655.992188 471.367188 648.730469 478.628906 646.054688 L 465.25 584.128906 L 396.066406 584.128906 L 409.0625 644.523438 C 419.382812 645.289062 427.027344 653.699219 427.027344 664.402344 C 427.027344 675.105469 418.234375 683.898438 407.148438 683.898438 C 396.445312 683.898438 387.65625 675.105469 387.65625 664.402344 C 387.65625 655.609375 393.007812 648.730469 400.269531 645.671875 L 386.890625 584.128906 L 316.941406 584.128906 C 299.738281 584.128906 285.214844 572.28125 280.625 556.609375 L 219.085938 569.605469 C 216.792969 578.398438 209.148438 584.511719 199.972656 584.511719 C 188.886719 584.511719 180.097656 575.722656 180.097656 564.636719 C 180.097656 553.933594 188.886719 545.140625 199.972656 545.140625 C 209.527344 545.140625 217.171875 551.640625 219.085938 560.429688 L 279.480469 547.816406 C 279.480469 547.433594 279.480469 547.050781 279.480469 547.050781 L 279.480469 478.628906 L 219.085938 491.625 C 216.410156 499.652344 208.765625 505.769531 199.972656 505.769531 C 188.886719 505.769531 180.097656 496.976562 180.097656 485.894531 C 180.097656 475.191406 188.886719 466.398438 199.972656 466.398438 C 209.527344 466.398438 217.554688 473.277344 219.46875 482.453125 L 279.480469 469.457031 L 279.480469 400.269531 L 218.703125 413.265625 C 216.410156 421.292969 208.765625 427.027344 199.972656 427.027344 C 188.886719 427.027344 180.097656 418.234375 180.097656 407.148438 C 180.097656 396.445312 188.886719 387.65625 199.972656 387.65625 C 209.527344 387.65625 217.9375 394.535156 219.46875 404.09375 L 279.480469 391.097656 L 279.480469 316.175781 C 279.480469 298.59375 292.09375 284.066406 308.53125 280.246094 L 295.535156 219.46875 C 286.359375 217.554688 279.480469 209.527344 279.480469 199.972656 C 279.480469 188.886719 288.273438 180.097656 299.355469 180.097656 C 310.441406 180.097656 319.234375 188.886719 319.234375 199.972656 C 319.234375 209.144531 312.734375 216.792969 304.324219 219.085938 Z M 324.96875 289.417969 L 539.023438 289.417969 C 557.753906 289.417969 573.046875 304.707031 573.046875 323.4375 L 573.046875 539.789062 C 573.046875 558.519531 557.753906 573.808594 539.023438 573.808594 L 324.96875 573.808594 C 306.238281 573.808594 290.945312 558.519531 290.945312 539.789062 L 290.945312 323.4375 C 290.945312 304.707031 306.238281 289.417969 324.96875 289.417969 Z M 324.96875 289.417969 " fill-opacity="1" fill-rule="evenodd"/> </g> <path fill="#000000" d="M 482.070312 503.859375 L 451.109375 503.859375 L 438.496094 470.984375 L 381.15625 470.984375 L 369.308594 503.859375 L 338.347656 503.859375 L 394.152344 360.515625 L 424.734375 360.515625 Z M 429.320312 446.902344 L 409.0625 393.773438 L 389.949219 446.902344 Z M 496.597656 503.859375 L 496.597656 360.515625 L 525.648438 360.515625 L 525.648438 503.859375 Z M 496.597656 503.859375 " fill-opacity="1" fill-rule="nonzero"/> <g clip-path="url(#266dcd9d60)"> <g clip-path="url(#726fa4fb4c)"> <path d="M 64.839844 64.839844 L 799.160156 64.839844 L 799.160156 799.160156 L 64.839844 799.160156 Z M 64.839844 64.839844 " fill-opacity="1" fill-rule="nonzero"/> </g> </g> <g clip-path="url(#e04b7890dd)"> <path fill="#ffffff" d="M 569.269531 378.644531 L 548.1875 378.644531 L 548.1875 327.390625 C 548.269531 263.238281 496.105469 211.074219 431.957031 211.074219 C 367.804688 211.074219 315.640625 263.238281 315.640625 327.390625 L 315.640625 378.644531 L 294.644531 378.644531 C 286.292969 378.644531 279.515625 385.421875 279.515625 393.773438 L 279.515625 609.371094 C 279.515625 617.640625 286.292969 624.417969 294.644531 624.417969 L 569.351562 624.417969 C 577.699219 624.417969 584.480469 617.640625 584.480469 609.289062 L 584.480469 393.773438 C 584.398438 385.421875 577.617188 378.644531 569.269531 378.644531 Z M 345.898438 327.390625 C 345.898438 279.9375 384.503906 241.332031 431.957031 241.332031 C 479.40625 241.332031 518.015625 279.9375 518.015625 327.390625 L 518.015625 378.644531 L 345.898438 378.644531 Z M 447.082031 512.402344 L 447.082031 552.167969 C 447.082031 560.515625 440.304688 567.292969 431.957031 567.292969 C 423.605469 567.292969 416.828125 560.515625 416.828125 552.167969 L 416.828125 512.402344 C 406.410156 506.945312 399.300781 496.035156 399.300781 483.550781 C 399.300781 465.53125 413.933594 450.980469 431.871094 450.980469 C 449.894531 450.980469 464.445312 465.613281 464.445312 483.550781 C 464.609375 496.035156 457.5 506.945312 447.082031 512.402344 Z M 447.082031 512.402344 " fill-opacity="1" fill-rule="nonzero"/> </g> </svg> </div> </div> </div> <div class='row'> <div class='col'> <h2>Pr茅sentation</h2> </div> </div> <div class='row'> <div class='col listes'> <p class='justify'>Les syst猫mes automatis茅s sont en charge de plus en plus de missions d茅licates, critiques pour des questions de vie ou de mort (par exemple la sant茅, l鈥檃utomobile ou l鈥檃茅ronautique), des missions (par exemple missions spatiales ou r茅seaux de capteurs) ou le commerce (par exemple le e-gouvernement ou les syst猫mes de transactions commerciales). Nous nous assurons que ces syst猫mes sont op茅rationnels et se comportent comme attendu, ce qui est un d茅fi en raison de leur forte complexit茅, de leur ex茅cution hautement parall猫le ou r茅partie, l鈥檈xistence de fautes ou d鈥檃ttaques, du fait qu鈥檌ls s鈥檈x茅cutent dans des environnements dangereux, des besoins en maintenance, etc. Les questions de la vie priv茅e et de la confiance sont 茅galement d鈥檜ne importance fondamentale et il faut les traiter 脿 tous les niveaux (mat茅riel, r茅seau, logiciel, cryptographie).</p><br><a href='../recherche/organise-archive.php?acronyme=SSR'><i class='fa-solid fa-calendar-check'></i> Archives</a> <a href='../production/publications-theses.php?depuis=2025'><i class='fa-solid fa-calendar-check'></i> Soutenances de th猫se</a> </div> </div> <!-- Footer ================================================== --> </div> <!-- end content-wrap --> <footer > <div class='row'> <div class='footer-content twelve columns'> <span class='vcard'> <span class='geo'>48.8469752;2.3543572</span> <span class='fn org'>LIP6</span> <span class='adr'> <span class='post-office-box'>Bo卯te courrier 169</span> <span class='street-address'>Tour 26, Couloir 26-00, 2<sup>e</sup> 茅tage</span> <span class='street-address'>4 place Jussieu</span> <span class='postal-code'>75252</span> <span class='locality'>Paris Cedex 05</span> <span class='country-name'>France</span> <span class='url'>https://www.lip6.fr</span> </span> </span> <span class='signature'><script nonce="R4nd0m-mail">document.write("<n uers=\"znvygb:jnqz@yvc6.se\" ery=\"absbyybj\">".replace(/[a-zA-Z]/g, function(c){return String.fromCharCode((c<="Z"?90:122)>=(c=c.charCodeAt(0)+13)?c:c-26);}));</script><i class='fa fa-envelope'></i></a></span> <dl> <dd><span class='legal'><a href='../apropos.php'rel='nofollow'>Mentions l茅gales</a></span></dd> <dd><span class='map'><a href='../carte/carte.php'rel='nofollow'>Carte du site</a></span></dd> <dd><a href='https://www.cnrs.fr' target='_blank' rel='noopener'><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" id="CNRS" version="1.1" x="0px" y="0px" width="55.276px" height="55.276px" viewBox="184.629 85.914 55.276 55.276" enable-background="new 184.629 85.914 55.276 55.276" xml:space="preserve"> <title>Centre National de la Recherche Scientifique</title> <g> <path fill="white" d="M211.401,86.369c-0.49-0.029-0.978-0.046-1.46-0.046c-6.745-0.008-12.854,2.863-18.176,8.556 c-4.84,5.171-6.467,9.336-6.451,14.361c0.008,2.688,0.485,5.625,1.191,9.097c1.328,6.526,5.201,12.824,10.629,17.285 c4.153,3.412,8.786,5.158,13.67,5.19c2.529,0.016,5.125-0.426,7.759-1.334c8.499-2.933,16.631-11.332,19.771-20.423 c0.994-2.876,1.477-5.678,1.469-8.342c-0.025-6.513-3.002-12.221-8.685-16.302C224.22,89.456,217.588,86.752,211.401,86.369z"/> <g> <path fill="var(--color_scheme_selected_tab_background)" d="M201.699,113.656h-1.869l-0.003,0.054c-0.016,0.364-0.231,3.542-3.076,3.542 c-2.542,0-3.833-2.278-3.835-6.771c0.002-4.492,1.293-6.771,3.835-6.771c2.893,0,3.068,3.396,3.076,3.542l0.003,0.054h1.869 c0.172,0,0.339-0.069,0.46-0.193c0.116-0.119,0.175-0.272,0.167-0.432c-0.038-0.881-0.49-5.279-5.6-5.279 c-4.129,0-6.312,3.139-6.312,9.075c0,5.947,2.182,9.094,6.312,9.094c4.916,0,5.527-4.017,5.6-5.247 c0.011-0.17-0.046-0.335-0.164-0.458C202.041,113.726,201.872,113.656,201.699,113.656z"/> <path fill="var(--color_scheme_selected_tab_background)" d="M230.739,109.397L230.739,109.397l-1.607-0.7c-1.549-0.679-2.096-1.341-2.096-2.529 c0-1.549,1.131-2.588,2.816-2.588c0.997,0,1.813,0.204,2.813,1.22l0.054,0.057l0.859-0.786c0.499-0.461,0.353-0.879,0.146-1.146 c-0.838-0.988-2.182-1.529-3.79-1.529c-3.097,0-5.347,2.02-5.347,4.805c0,2.737,1.725,3.882,3.588,4.712l1.643,0.732 c1.652,0.74,2.438,1.371,2.438,2.96c0,2.166-1.958,2.745-3.114,2.745c-0.994,0-2.104-0.213-3.464-1.754l-0.054-0.062l-0.895,0.786 c-0.461,0.404-0.463,0.752-0.016,1.328c1.23,1.584,3.038,1.915,4.336,1.915c2.807,0,5.652-1.724,5.652-5.021 C234.702,111.687,233.118,110.421,230.739,109.397z"/> <path fill="var(--color_scheme_selected_tab_background)" d="M214.866,106.59c0-2.804-2.274-5.18-5.078-5.18c-1.32,0-2.521,0.504-3.424,1.328v-0.964h-1.688 c-0.509,0-0.703,0.331-0.703,0.714v16.366c0,0.46,0.28,0.705,0.695,0.705h1.689v-12.87c0-1.691,1.371-3.063,3.063-3.063 s3.063,1.371,3.063,3.063v12.873h1.678c0.466,0,0.706-0.259,0.706-0.703C214.866,118.86,214.866,106.607,214.866,106.59z"/> <path fill="var(--color_scheme_selected_tab_background)" d="M224.554,102.634c0.089-0.111,0.143-0.248,0.143-0.399c0-0.282-0.183-0.517-0.437-0.604 c-0.487-0.164-1.01-0.253-1.551-0.253c-1.32,0-2.521,0.504-3.424,1.328v-0.964h-1.689c-0.509,0-0.703,0.331-0.703,0.714v16.363 c0,0.46,0.283,0.705,0.698,0.705h1.688v-12.869c0-1.692,1.371-3.063,3.063-3.063c0.442,0,0.862,0.098,1.242,0.265l0.975-1.226 L224.554,102.634z"/> </g> </g> </svg> </a></dd> <dd><a href='https://sciences.sorbonne-universite.fr' target='_blank' rel='noopener'><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" id="SU" version="1.1" x="0px" y="0px" viewBox="0 0 112 45" enable-background="new 0 0 112 45" xml:space="preserve" class="injected-svg inline-svg"> <title>Sorbonne Universté</title> <path id="Trac" fill="var(--SU_logo_color)" stroke="none" d="M 12.8 14.1 L 14.3 14.1 L 14.3 10.799999 C 14.3 10.400002 14 10 13.5 10 C 13.1 10 12.7 10.299999 12.7 10.799999 L 12.7 14.1 L 12.8 14.1 Z"/> <path id="path1" fill="var(--SU_logo_color)" stroke="none" d="M 9.6 14.1 L 11.1 14.1 L 11.1 10.799999 C 11.1 10.400002 10.8 10 10.3 10 C 9.9 10 9.5 10.299999 9.5 10.799999 L 9.5 14.1 L 9.6 14.1 Z"/> <path id="path2" fill="var(--SU_logo_color)" stroke="none" d="M 16 14.1 L 17.5 14.1 L 17.5 10.799999 C 17.5 10.400002 17.200001 10 16.700001 10 C 16.299999 10 15.9 10.299999 15.9 10.799999 L 16 14.1 L 16 14.1 Z"/> <path id="path3" fill="var(--SU_logo_color)" stroke="none" d="M 13.9 1.900002 C 14.9 2.099998 15.3 3 15.3 3.599998 L 15.3 4.900002 L 16.200001 4.900002 L 16.200001 5.599998 C 18.6 6.700001 20.299999 9.200001 20.299999 11.799999 L 20.299999 11.799999 L 20.299999 14 L 25.9 14 L 25.9 11.700001 C 25.799999 4.5 20.6 0.099998 13.7 0 L 13.9 1.900002 Z"/> <path id="path4" fill="var(--SU_logo_color)" stroke="none" d="M 13.9 1.900002 C 14.9 2.099998 15.3 3 15.3 3.599998 L 15.3 4.900002 L 16.200001 4.900002 L 16.200001 5.599998 C 18.6 6.700001 20.299999 9.200001 20.299999 11.799999 L 20.299999 11.799999 L 20.299999 14 L 25.9 14 L 25.9 11.700001 C 25.799999 4.5 20.6 0.099998 13.7 0 L 13.9 1.900002 Z"/> <path id="path5" fill="var(--SU_logo_color)" stroke="none" d="M 12.9 3.5 L 12.9 4.799999 L 14.3 4.799999 L 14.3 3.5 C 14.3 3.099998 14 2.799999 13.6 2.799999 C 13.2 2.900002 12.9 3.200001 12.9 3.5"/> <path id="path6" fill="var(--SU_logo_color)" stroke="none" d="M 12.9 3.5 L 12.9 4.799999 L 14.3 4.799999 L 14.3 3.5 C 14.3 3.099998 14 2.799999 13.6 2.799999 C 13.2 2.900002 12.9 3.200001 12.9 3.5"/> <path id="path7" fill="var(--SU_logo_color)" stroke="none" d="M 14.6 17.6 C 8.9 16.1 6.7 14.9 6.7 11.299999 C 6.7 8.700001 8.4 6.5 10.9 5.5 L 10.9 4.900002 L 11.8 4.900002 L 11.8 3.599998 C 11.8 3 12.2 2.099998 13.2 1.900002 L 13.4 0 C 6.5 0.099998 0.6 4.799999 0.9 11.299999 C 1.2 18.5 9.1 20.5 13.4 21.4 C 16.799999 22.1 24.799999 24 26.799999 29.700001 C 26.799999 29.700001 27.6 20.299999 14.6 17.6"/> <path id="path8" fill="var(--SU_logo_color)" stroke="none" d="M 14.6 17.6 C 8.9 16.1 6.7 14.9 6.7 11.299999 C 6.7 8.700001 8.4 6.5 10.9 5.5 L 10.9 4.900002 L 11.8 4.900002 L 11.8 3.599998 C 11.8 3 12.2 2.099998 13.2 1.900002 L 13.4 0 C 6.5 0.099998 0.6 4.799999 0.9 11.299999 C 1.2 18.5 9.1 20.5 13.4 21.4 C 16.799999 22.1 24.799999 24 26.799999 29.700001 C 26.799999 29.700001 27.6 20.299999 14.6 17.6"/> <path id="path9" fill="var(--SU_logo_color)" stroke="none" d="M 12.7 27.6 C 18.5 29.4 20 31.5 20 34.5 C 20 39.099998 16.4 41 11.9 41 C 7.6 41 3.9 39 1.4 36.400002 L 0.5 38.299999 C 2.2 41.799999 7.3 45 13 45 L 13 45 L 13 45 C 20.299999 45.099998 26.5 41.599998 26.5 34.799999 C 26.5 27.4 18.4 24.5 14 23.5 C 10.5 22.700001 1.6 20.4 0 15.4 C 0.1 15.4 -1.7 24 12.7 27.6"/> <path id="path10" fill="var(--SU_logo_color)" stroke="none" d="M 12.7 27.6 C 18.5 29.4 20 31.5 20 34.5 C 20 39.099998 16.4 41 11.9 41 C 7.6 41 3.9 39 1.4 36.400002 L 0.5 38.299999 C 2.2 41.799999 7.3 45 13 45 L 13 45 L 13 45 C 20.299999 45.099998 26.5 41.599998 26.5 34.799999 C 26.5 27.4 18.4 24.5 14 23.5 C 10.5 22.700001 1.6 20.4 0 15.4 C 0.1 15.4 -1.7 24 12.7 27.6"/> <path id="path11" fill="var(--SU_color)" stroke="none" d="M 35.200001 18.799999 C 35.200001 18.799999 36.200001 19.700001 37.5 19.700001 C 38.200001 19.700001 38.799999 19.4 38.799999 18.6 C 38.799999 17 34.5 17.299999 34.5 14.6 C 34.5 13.1 35.799999 12.100002 37.599998 12.100002 C 39.400002 12.100002 40.299999 13 40.299999 13 L 39.599998 14.299999 C 39.599998 14.299999 38.700001 13.5 37.599998 13.5 C 36.799999 13.5 36.200001 13.9 36.200001 14.5 C 36.200001 16.1 40.5 15.700001 40.5 18.5 C 40.5 19.9 39.400002 21.1 37.5 21.1 C 35.5 21.1 34.400002 19.9 34.400002 19.9 L 35.200001 18.799999 Z"/> <path id="path12" fill="var(--SU_color)" stroke="none" d="M 47.5 19.799999 C 49.200001 19.799999 50.5 18.5 50.5 16.700001 C 50.5 15 49.200001 13.700001 47.5 13.700001 C 45.799999 13.700001 44.5 15 44.5 16.700001 C 44.5 18.4 45.799999 19.799999 47.5 19.799999 M 47.5 12.200001 C 50.200001 12.200001 52.200001 14.200001 52.200001 16.700001 C 52.200001 19.299999 50.200001 21.299999 47.5 21.299999 C 44.799999 21.299999 42.799999 19.299999 42.799999 16.700001 C 42.799999 14.1 44.799999 12.200001 47.5 12.200001"/> <path id="path13" fill="var(--SU_color)" stroke="none" d="M 58 16.4 C 58.900002 16.4 59.400002 15.9 59.400002 15 C 59.400002 14.200001 59 13.6 57.700001 13.6 L 56.400002 13.6 L 56.400002 16.299999 L 58 16.4 L 58 16.4 Z M 54.799999 12.299999 L 57.700001 12.299999 C 58.700001 12.299999 59.099998 12.400002 59.5 12.5 C 60.400002 12.900002 61 13.700001 61 14.9 C 61 15.9 60.400002 16.9 59.5 17.299999 L 59.5 17.299999 C 59.5 17.299999 59.599998 17.4 59.799999 17.700001 L 61.700001 21 L 59.900002 21 L 58.099998 17.700001 L 56.5 17.700001 L 56.5 21 L 54.799999 21 C 54.799999 21 54.799999 12.299999 54.799999 12.299999 Z"/> <path id="path14" fill="var(--SU_color)" stroke="none" d="M 67.5 19.700001 C 68.300003 19.700001 68.800003 19.200001 68.800003 18.4 C 68.800003 17.700001 68.300003 17.1 67.5 17.1 L 65.699997 17.1 L 65.699997 19.6 L 67.5 19.700001 L 67.5 19.700001 Z M 67.300003 15.9 C 68 15.9 68.400002 15.4 68.400002 14.799999 C 68.400002 14.200001 68 13.700001 67.199997 13.700001 L 65.599998 13.700001 L 65.599998 15.9 L 67.300003 15.9 Z M 64.099998 12.299999 L 67.400002 12.299999 C 69 12.299999 70.199997 13.1 70.199997 14.6 C 70.199997 15.4 69.800003 16.1 69.099998 16.5 L 69.099998 16.5 C 70.099998 16.799999 70.599998 17.700001 70.599998 18.6 C 70.599998 20.299999 69.099998 21.1 67.5 21.1 L 64.199997 21.1 L 64.199997 12.299999 L 64.099998 12.299999 Z"/> <path id="path15" fill="var(--SU_color)" stroke="none" d="M 77.400002 19.799999 C 79.099998 19.799999 80.400002 18.5 80.400002 16.700001 C 80.400002 15 79.099998 13.700001 77.400002 13.700001 C 75.699997 13.700001 74.400002 15 74.400002 16.700001 C 74.400002 18.4 75.699997 19.799999 77.400002 19.799999 M 77.400002 12.200001 C 80.099998 12.200001 82.099998 14.200001 82.099998 16.700001 C 82.099998 19.299999 80.099998 21.299999 77.400002 21.299999 C 74.699997 21.299999 72.699997 19.299999 72.699997 16.700001 C 72.699997 14.1 74.699997 12.200001 77.400002 12.200001"/> <path id="path16" fill="var(--SU_color)" stroke="none" d="M 84.900002 12.299999 L 86.599998 12.299999 L 90 17.299999 C 90.300003 17.799999 90.800003 18.700001 90.800003 18.700001 L 90.800003 18.700001 C 90.800003 18.700001 90.699997 17.9 90.699997 17.299999 L 90.699997 12.299999 L 92.300003 12.299999 L 92.300003 21 L 90.699997 21 L 87.199997 16 C 86.900002 15.5 86.400002 14.6 86.400002 14.6 L 86.400002 14.6 C 86.400002 14.6 86.5 15.4 86.5 16 L 86.5 21 L 84.800003 21 L 84.900002 12.299999 L 84.900002 12.299999 Z"/> <path id="path17" fill="var(--SU_color)" stroke="none" d="M 95.599998 12.299999 L 97.300003 12.299999 L 100.699997 17.299999 C 101 17.799999 101.5 18.700001 101.5 18.700001 L 101.5 18.700001 C 101.5 18.700001 101.400002 17.9 101.400002 17.299999 L 101.400002 12.299999 L 103 12.299999 L 103 21 L 101.400002 21 L 98 16 C 97.699997 15.5 97.199997 14.6 97.199997 14.6 L 97.199997 14.6 C 97.199997 14.6 97.300003 15.4 97.300003 16 L 97.300003 21 L 95.599998 21 L 95.599998 12.299999 Z"/> <path id="path18" fill="var(--SU_color)" stroke="none" d="M 106.400002 12.299999 L 106.400002 21.1 L 112 21.1 L 112 19.700001 L 108 19.700001 L 108 17.4 L 111.099998 17.4 L 111.099998 16 L 108 16 L 108 13.700001 L 111.800003 13.700001 L 111.800003 12.299999 Z"/> <path id="path19" fill="var(--SU_color)" stroke="none" d="M 34.5 24.9 L 36.200001 24.9 L 36.200001 30.599998 C 36.200001 31.799999 37 32.5 38.200001 32.5 C 39.400002 32.5 40.200001 31.799999 40.200001 30.599998 L 40.200001 25 L 41.900002 25 L 41.900002 30.700001 C 41.900002 32.700001 40.400002 34 38.200001 34 C 36 34 34.5 32.700001 34.5 30.700001 L 34.5 24.9 Z"/> <path id="path20" fill="var(--SU_color)" stroke="none" d="M 44.700001 25 L 46.400002 25 L 49.799999 30 C 50.099998 30.5 50.599998 31.400002 50.599998 31.400002 L 50.599998 31.400002 C 50.599998 31.400002 50.5 30.599998 50.5 30 L 50.5 25 L 52.099998 25 L 52.099998 33.700001 L 50.5 33.700001 L 47.099998 28.700001 C 46.799999 28.200001 46.299999 27.299999 46.299999 27.299999 L 46.299999 27.299999 C 46.299999 27.299999 46.400002 28.099998 46.400002 28.700001 L 46.400002 33.700001 L 44.700001 33.700001 L 44.700001 25 Z"/> <path id="path21" fill="var(--SU_color)" stroke="none" d="M 55 25 L 56.700001 25 L 56.700001 33.700001 L 55 33.700001 Z"/> <path id="path22" fill="var(--SU_color)" stroke="none" d="M 58.5 25 L 60.299999 25 L 62.299999 30.700001 C 62.5 31.200001 62.599998 32 62.599998 32 L 62.599998 32 C 62.599998 32 62.799999 31.200001 62.900002 30.700001 L 64.900002 25 L 66.699997 25 L 63.400002 33.700001 L 61.799999 33.700001 L 58.5 25 Z"/> <path id="path23" fill="var(--SU_color)" stroke="none" d="M 68.599998 25 L 74 25 L 74 26.400002 L 70.199997 26.400002 L 70.199997 28.700001 L 73.300003 28.700001 L 73.300003 30 L 70.199997 30 L 70.199997 32.400002 L 74.199997 32.400002 L 74.199997 33.700001 L 68.599998 33.700001 Z"/> <path id="path24" fill="var(--SU_color)" stroke="none" d="M 79.699997 29.099998 C 80.599998 29.099998 81.099998 28.599998 81.099998 27.700001 C 81.099998 26.900002 80.699997 26.299999 79.400002 26.299999 L 78.099998 26.299999 L 78.099998 29 L 79.699997 29 L 79.699997 29.099998 Z M 76.599998 25 L 79.5 25 C 80.5 25 80.900002 25.099998 81.300003 25.200001 C 82.199997 25.599998 82.800003 26.400002 82.800003 27.599998 C 82.800003 28.599998 82.199997 29.599998 81.300003 30 L 81.300003 30 C 81.300003 30 81.400002 30.099998 81.599998 30.400002 L 83.5 33.700001 L 81.699997 33.700001 L 79.900002 30.400002 L 78.300003 30.400002 L 78.300003 33.700001 L 76.599998 33.700001 C 76.599998 33.700001 76.599998 25 76.599998 25 Z"/> <path id="path25" fill="var(--SU_color)" stroke="none" d="M 85.900002 31.5 C 85.900002 31.5 86.900002 32.400002 88.199997 32.400002 C 88.900002 32.400002 89.5 32.099998 89.5 31.299999 C 89.5 29.700001 85.199997 30 85.199997 27.299999 C 85.199997 25.799999 86.5 24.799999 88.300003 24.799999 C 90.099998 24.799999 91 25.700001 91 25.700001 L 90.300003 27 C 90.300003 27 89.400002 26.200001 88.300003 26.200001 C 87.5 26.200001 86.900002 26.599998 86.900002 27.200001 C 86.900002 28.799999 91.199997 28.400002 91.199997 31.200001 C 91.199997 32.599998 90.099998 33.799999 88.199997 33.799999 C 86.199997 33.799999 85.099998 32.599998 85.099998 32.599998 L 85.900002 31.5 Z"/> <path id="path26" fill="var(--SU_color)" stroke="none" d="M 93.400002 25 L 95.099998 25 L 95.099998 33.700001 L 93.400002 33.700001 Z"/> <path id="path27" fill="var(--SU_color)" stroke="none" d="M 99.900002 26.400002 L 96.900002 26.400002 L 96.900002 25 L 104.5 25 L 104.5 26.400002 L 101.5 26.400002 L 101.5 33.700001 L 99.900002 33.700001 Z"/> <path id="path28" fill="var(--SU_color)" stroke="none" d="M 106.400002 25 L 106.400002 33.700001 L 112.099998 33.700001 L 112.099998 32.299999 L 108.099998 32.299999 L 108.099998 30 L 111.199997 30 L 111.199997 28.599998 L 108 28.599998 L 108 26.299999 L 111.800003 26.299999 L 111.800003 25 L 106.400002 25 Z M 109.5 22.700001 L 108.5 24.4 L 109.800003 24.4 L 111.099998 22.700001 L 109.5 22.700001 Z"/> </svg> </a></dd> </dl> </div><!--footer-content--> <div id='go-top'><a class='smoothscroll' title='Back to Top' href='#top'><i class='fa fa-chevron-up'></i></a></div> </div> <!-- row --> </footer> <!-- End Footer--> </div><!-- container --> <script src='../js/init.js'></script> <script src='../bootstrap/js/boostrap-color_modes.js'></script> </body> </html>