{"id":1003,"date":"2026-03-11T09:14:21","date_gmt":"2026-03-11T09:14:21","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=1003"},"modified":"2026-03-18T07:58:13","modified_gmt":"2026-03-18T07:58:13","slug":"rapport-mttd-mttb","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/","title":{"rendered":"Rapport MTTD\/MTTB\u00a0"},"content":{"rendered":"\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');\n \nbody { margin: 0; padding: 0; background: #F4F0EB; font-family: 'DM Sans', sans-serif; }\n \n.menu-demo { max-width: 1200px; margin: 3rem auto; padding: 0 2rem; }\n.menu-demo h1 { font-size: 1.6rem; font-weight: 600; color: #0C1829; margin-bottom: 0.5rem; }\n.menu-demo .subtitle { font-size: 0.9rem; color: #5A6B7F; margin-bottom: 3rem; }\n \n\/* MENU BAR *\/\n.menu-bar {\n  background: #0C1829; border-radius: 4px; padding: 0 1.5rem;\n  display: flex; align-items: center; justify-content: space-between;\n  position: relative; z-index: 100;\n}\n.menu-logo {\n  font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n  color: #fff; padding: 1rem 0; letter-spacing: 0.03em;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\n.menu-item {\n  position: relative; padding: 1rem 1rem;\n  font-size: 0.78rem; font-weight: 500; color: rgba(184,212,240,0.75);\n  cursor: pointer; letter-spacing: 0.02em; transition: color 0.2s;\n}\n.menu-item:hover { color: #fff; }\n.menu-item::after {\n  content: '\u25be'; margin-left: 0.3rem; font-size: 0.6rem; opacity: 0.5;\n}\n.menu-item.no-drop::after { content: ''; }\n.menu-cta {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.5rem 1.2rem; border-radius: 2px;\n  background: rgba(201,169,110,0.15); color: #C9A96E; border: 1px solid rgba(201,169,110,0.3);\n  cursor: pointer; transition: all 0.3s;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n\/* DROPDOWN *\/\n.menu-dropdown {\n  display: none; position: absolute; top: 100%; left: 0;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  min-width: 320px; padding: 0.8rem 0; z-index: 200;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .menu-dropdown { display: block; }\n.menu-dropdown a {\n  display: block; padding: 0.5rem 1.5rem; font-size: 0.8rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: all 0.2s; line-height: 1.5;\n}\n.menu-dropdown a:hover { color: #fff; background: rgba(74,144,217,0.08); }\n.menu-dropdown .drop-label {\n  font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n  letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n  padding: 0.6rem 1.5rem 0.3rem; display: block;\n}\n.menu-dropdown .drop-sep {\n  border: none; border-top: 1px solid rgba(74,144,217,0.08);\n  margin: 0.5rem 1.5rem;\n}\n \n\/* HIGHLIGHTED LINK *\/\n.menu-dropdown a.drop-highlight {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.4rem 0.8rem 0.2rem;\n  padding: 0.55rem 1rem;\n  background: rgba(201,169,110,0.08);\n  border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px;\n  color: #C9A96E;\n  font-weight: 600; font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18);\n  color: #fff;\n  border-color: rgba(201,169,110,0.45);\n}\n.drop-highlight-arrow { font-size: 0.65rem; opacity: 0.6; margin-left: 8px; }\n \n\/* SIMULATION LINKS *\/\n.menu-dropdown a.drop-sim {\n  display: flex; align-items: center; justify-content: space-between;\n  margin: 0.25rem 0.8rem;\n  padding: 0.5rem 1rem;\n  background: rgba(74,144,217,0.06);\n  border: 1px solid rgba(74,144,217,0.18);\n  border-radius: 3px;\n  color: rgba(184,212,240,0.85);\n  font-size: 0.78rem;\n  transition: all 0.2s;\n}\n.menu-dropdown a.drop-sim:hover {\n  background: rgba(74,144,217,0.14);\n  color: #fff;\n  border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n \n\/* MEGA DROPDOWN *\/\n.mega-dropdown {\n  display: none; position: absolute; top: 100%; left: -100px;\n  background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n  border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n  width: 640px; padding: 1.5rem; z-index: 200;\n  box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }\n.mega-col .drop-label { padding: 0 0 0.3rem; }\n.mega-col a {\n  display: block; padding: 0.35rem 0; font-size: 0.78rem; color: rgba(184,212,240,0.6);\n  text-decoration: none; transition: color 0.2s;\n}\n.mega-col a:hover { color: #fff; }\n\/* Morphic highlight dans mega *\/\n.mega-col a.drop-highlight {\n  margin: 0.5rem 0 0.2rem;\n  padding: 0.5rem 0.8rem;\n  background: rgba(201,169,110,0.08);\n  border: 1px solid rgba(201,169,110,0.2);\n  border-radius: 3px;\n  color: #C9A96E;\n  font-weight: 600;\n  display: flex; align-items: center; justify-content: space-between;\n}\n.mega-col a.drop-highlight:hover {\n  background: rgba(201,169,110,0.18);\n  color: #fff;\n  border-color: rgba(201,169,110,0.45);\n}\n<\/style>\n \n<div class=\"menu-demo\">\n \n<div class=\"menu-bar\">\n  <div class=\"menu-logo\">CORTEX <span>ORIGIN\u2122<\/span><\/div>\n  <div class=\"menu-items\">\n \n    <!-- 1. ARCHITECTURE -->\n    <div class=\"menu-item\">\n      Architecture\n      <div class=\"mega-dropdown\">\n        <div class=\"mega-cols\">\n          <div class=\"mega-col\">\n            <span class=\"drop-label\">Socle critique (TCB)<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/larchitecture-cortex-origin\/\">CORTEX ORIGIN\u2122 \u2014 Vue d&rsquo;ensemble<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-core\/\">Cortex Core\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/omega-gouvernance-decisionnelle\/\">OMEGA\u2122 \u2014 Gouvernance<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/180-2\/\">PRISM\u2122 \u2014 Preuve<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-aegis\/\">AEGIS\u2122 \u2014 Ex\u00e9cution<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-fulcrum\/\">FULCRUM\u2122<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">S\u00e9curit\u00e9 &amp; Confinement<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/sentinel-securite-active-et-gouvernance-des-signaux\/\">SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-les-4-formules-de-confinement-et-gouvernance-runtime\/\">WALL-DOME\u2122 \u2014 Confinement<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere\/\">CERB\u00c8RE\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere-decision-guard\/\">Decision Guard\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/1241-2\/\" class=\"drop-highlight\">\n              CMS CORTEX MORPHIC SHIELD\u2122\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n          <\/div>\n          <div class=\"mega-col\">\n            <span class=\"drop-label\">Interface &amp; Orchestration<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/ava-cpl\/\">AVA\u2122 &amp; CPL\u2122 \u2014 Interface<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/multi-lcm-trm-engine-orchestration-gouvernee-multi-modeles-ia\/\">Multi LCM \/ TRM Engine\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/trm-contrain-nano\/\">TRM Contrain Nano\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-ecoflux\/\">EcoFlux\u2122 \u2014 Frugalit\u00e9<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/morph-gates\/\">MORPH GATES\u2122 \u2014 CI\/CD<\/a>\n            <hr class=\"drop-sep\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">Capacit\u00e9s avanc\u00e9es<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-quantum-ready\/\">Quantum-Ready\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cyber-orion-3\/\">CYBER-ORION\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-labcode\/\">LabCode\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-chameleon\/\">CHAMELEON\u2122<\/a>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-mirror-lab\/\">MIRROR LAB\u2122<\/a>\n          <\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n \n    <!-- 2. APPLICATIONS -->\n    <div class=\"menu-item\">\n      Applications\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">Verticales technologiques<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/imcortex-2\/\">IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/space-ai-autonomie-gouvernee\/\">Space AI \u2014 Autonomie gouvern\u00e9e<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\">Quantum Assurance<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-drones-systemes-autonomes\/\">Drones &amp; Syst\u00e8mes autonomes<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">IAG par secteur<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Banque, Finance &amp; OIV<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cybers\u00e9curit\u00e9<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/592-2\/\">Tous les secteurs<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 3. V\u00c9RIFICATION -->\n    <div class=\"menu-item\">\n      V\u00e9rification\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">CFVL \u2014 Laboratoire formel<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications &amp; \u00e9valuations<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Recherche<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">Cortex AGI Exp\u00e9rimental<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP CORTEX\u2122<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 4. SECTEURS -->\n    <div class=\"menu-item\">\n      Secteurs\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">Audiences<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\">Investisseurs &amp; partenaires<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\">Industriels &amp; int\u00e9grateurs<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\">D\u00e9cideurs publics &amp; autorit\u00e9s<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Packs Applications (paC)<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Finance &amp; Banque<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cyber<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 5. CFVL -->\n    <div class=\"menu-item\">\n      CFVL\n      <div class=\"menu-dropdown\" style=\"min-width:300px\">\n        <span class=\"drop-label\">Programme de certification<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n        <hr class=\"drop-sep\">\n        <span class=\"drop-label\">Simulations interactives<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/test\/\" class=\"drop-sim\">\n          Simulations Attaque\n          <span class=\"drop-sim-icon\">\u26a1<\/span>\n        <\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/simulation\/\" class=\"drop-sim\">\n          Sch\u00e9ma &amp; Simulations\n          <span class=\"drop-sim-icon\">\u25ce<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/1043-2\/\" class=\"drop-highlight\">\n          Evaluation Dashboard\n          <span class=\"drop-highlight-arrow\">\u2197<\/span>\n        <\/a>\n      <\/div>\n    <\/div>\n \n    <!-- CTA -->\n    <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\"><div class=\"menu-cta\">Contact<\/div><\/a>\n \n  <\/div>\n<\/div>\n \n<\/div>\n\n\n\n<style>\n  :root {\n  --navy: #0A1228;\n  --navy-mid: #162240;\n  --navy-light: #1E3055;\n  --slate: #2A3F5F;\n  --blue: #4A90D9;\n  --blue-light: #6BA4E7;\n  --ice: #B8D4F0;\n  --gold: #C9A96E;\n  --green: #27AE60;\n  --red: #C0392B;\n  --orange: #D4872C;\n  --gray: #8C9BAF;\n  --white: #FAFAF8;\n  --serif: 'EB Garamond', Georgia, serif;\n  --sans: 'DM Sans', 'Helvetica Neue', sans-serif;\n  --mono: 'JetBrains Mono', Consolas, monospace;\n  }\n.cfvl-cascade-wrap { background: var(--navy); padding: 5.5rem 2rem; position: relative; font-family: var(--sans); -webkit-font-smoothing: antialiased; }\n.cfvl-cascade-wrap::before { content: ''; position: absolute; top: 0; left: 0; right: 0; height: 1px; background: linear-gradient(90deg, transparent, var(--blue), transparent); opacity: 0.3; }\n.cfvl-cascade-wrap::after { content: ''; position: absolute; bottom: 0; left: 0; right: 0; height: 1px; background: linear-gradient(90deg, transparent, var(--gold), transparent); opacity: 0.2; }\n.cfvl-cascade-inner { max-width: 1100px; margin: 0 auto; }\n.cfvl-cascade-label { font-family: var(--mono); font-size: 0.7rem; letter-spacing: 0.3em; color: var(--gold); text-transform: uppercase; margin-bottom: 1rem; }\n.cfvl-cascade-h2 { font-family: var(--serif) !important; font-size: clamp(1.8rem, 4vw, 2.6rem) !important; font-weight: 400 !important; color: var(--white) !important; line-height: 1.2 !important; margin-bottom: 0.5rem !important; }\n.cfvl-cascade-h2 em { font-style: italic; color: var(--ice); }\n.cfvl-cascade-lead { font-size: 1.0rem; line-height: 1.8; color: var(--gray); max-width: 720px; margin-bottom: 3rem; }\n.cfvl-doctrine { background: rgba(201,169,110,0.07); border-left: 3px solid var(--gold); padding: 1.6rem 2rem; margin-bottom: 3.5rem; font-family: var(--serif); font-size: 1.12rem; line-height: 1.75; color: var(--ice); }\n.cfvl-doctrine strong { color: var(--white); font-weight: 600; }\n.cfvl-cascade-stack { display: flex; flex-direction: column; gap: 0; margin-bottom: 3.5rem; border: 1px solid rgba(74,144,217,0.12); border-radius: 2px; overflow: hidden; }\n.cfvl-cascade-row { display: grid; grid-template-columns: 2.5rem 1fr 2fr 120px; align-items: center; gap: 1.2rem; padding: 1.3rem 1.6rem; border-bottom: 1px solid rgba(255,255,255,0.04); transition: background 0.3s; position: relative; }\n.cfvl-cascade-row:last-child { border-bottom: none; }\n.cfvl-cascade-row:hover { background: rgba(255,255,255,0.025); }\n.cfvl-cascade-row.layer-input    { background: rgba(140,155,175,0.08); }\n.cfvl-cascade-row.layer-sel4     { background: rgba(39,174,96,0.07); }\n.cfvl-cascade-row.layer-exante   { background: rgba(74,144,217,0.06); }\n.cfvl-cascade-row.layer-runtime  { background: rgba(212,135,44,0.06); }\n.cfvl-cascade-row.layer-mtd      { background: rgba(111,66,193,0.07); }\n.cfvl-cascade-row.layer-offline  { background: rgba(13,110,253,0.08); }\n.cfvl-cascade-row.layer-residual { background: rgba(192,57,43,0.06); }\n.cfvl-cascade-num { font-family: var(--mono); font-size: 0.65rem; letter-spacing: 0.1em; color: var(--slate); text-align: center; }\n.cfvl-cascade-layer-name { font-family: var(--mono); font-size: 0.68rem; letter-spacing: 0.15em; text-transform: uppercase; margin-bottom: 0.25rem; }\n.layer-input    .cfvl-cascade-layer-name { color: var(--gray); }\n.layer-sel4     .cfvl-cascade-layer-name { color: var(--green); }\n.layer-exante   .cfvl-cascade-layer-name { color: var(--blue-light); }\n.layer-runtime  .cfvl-cascade-layer-name { color: var(--orange); }\n.layer-mtd      .cfvl-cascade-layer-name { color: #c8a0ff; }\n.layer-offline  .cfvl-cascade-layer-name { color: #6EA8FE; }\n.layer-residual .cfvl-cascade-layer-name { color: #E87D72; }\n.cfvl-cascade-detail { font-size: 0.83rem; line-height: 1.5; color: var(--gray); }\n.cfvl-cascade-detail strong { color: var(--ice); font-weight: 500; }\n.cfvl-cascade-bar-wrap { display: flex; flex-direction: column; gap: 0.3rem; }\n.cfvl-cascade-bar-bg { height: 6px; background: rgba(255,255,255,0.06); border-radius: 1px; overflow: hidden; }\n.cfvl-cascade-bar-fill { height: 100%; border-radius: 1px; transition: width 1.2s ease; }\n.layer-input    .cfvl-cascade-bar-fill { background: var(--gray); width: 100%; }\n.layer-sel4     .cfvl-cascade-bar-fill { background: var(--green); width: 65%; }\n.layer-exante   .cfvl-cascade-bar-fill { background: var(--blue); width: 20%; }\n.layer-runtime  .cfvl-cascade-bar-fill { background: var(--orange); width: 8%; }\n.layer-mtd      .cfvl-cascade-bar-fill { background: #6f42c1; width: 3%; }\n.layer-offline  .cfvl-cascade-bar-fill { background: #0d6efd; width: 2%; }\n.layer-residual .cfvl-cascade-bar-fill { background: #E87D72; width: 0.5%; }\n.cfvl-cascade-pct { text-align: right; }\n.cfvl-cascade-pct-main { font-family: var(--mono); font-size: 1.3rem; font-weight: 600; line-height: 1; margin-bottom: 0.2rem; }\n.layer-input    .cfvl-cascade-pct-main { color: var(--gray); }\n.layer-sel4     .cfvl-cascade-pct-main { color: var(--green); }\n.layer-exante   .cfvl-cascade-pct-main { color: var(--blue-light); }\n.layer-runtime  .cfvl-cascade-pct-main { color: var(--orange); }\n.layer-mtd      .cfvl-cascade-pct-main { color: #c8a0ff; }\n.layer-offline  .cfvl-cascade-pct-main { color: #6EA8FE; }\n.layer-residual .cfvl-cascade-pct-main { color: #E87D72; }\n.cfvl-cascade-pct-label { font-family: var(--mono); font-size: 0.6rem; letter-spacing: 0.1em; color: var(--slate); text-transform: uppercase; }\n.cfvl-metrics-compare { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 1px; background: rgba(74,144,217,0.1); border: 1px solid rgba(74,144,217,0.1); border-radius: 2px; margin-bottom: 3rem; }\n.cfvl-metric-box { padding: 2rem 2.2rem; }\n.cfvl-metric-box.misleading { background: rgba(22,34,64,0.6); }\n.cfvl-metric-box.accurate   { background: rgba(22,34,64,0.9); }\n.cfvl-metric-box-label { font-family: var(--mono); font-size: 0.63rem; letter-spacing: 0.2em; text-transform: uppercase; margin-bottom: 0.7rem; }\n.misleading .cfvl-metric-box-label { color: #E87D72; }\n.accurate   .cfvl-metric-box-label { color: var(--green); }\n.cfvl-metric-big { font-family: var(--mono); font-size: 3.2rem; font-weight: 700; line-height: 1; margin-bottom: 0.4rem; letter-spacing: -0.02em; }\n.misleading .cfvl-metric-big { color: rgba(232,125,114,0.7); }\n.accurate   .cfvl-metric-big { color: var(--green); }\n.cfvl-metric-name { font-size: 0.85rem; color: var(--ice); margin-bottom: 0.5rem; }\n.cfvl-metric-desc { font-size: 0.78rem; line-height: 1.6; color: var(--gray); }\n.cfvl-layer-modules { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 1px; background: rgba(74,144,217,0.08); border: 1px solid rgba(74,144,217,0.08); border-radius: 2px; }\n.cfvl-layer-mod { padding: 1.4rem 1.6rem; background: rgba(22,34,64,0.5); transition: background 0.3s; }\n.cfvl-layer-mod:hover { background: rgba(30,48,85,0.7); }\n.cfvl-layer-mod-tag { font-family: var(--mono); font-size: 0.6rem; letter-spacing: 0.2em; text-transform: uppercase; margin-bottom: 0.5rem; }\n.tag-sel4    { color: var(--green); }\n.tag-tcb     { color: var(--gold); }\n.tag-runtime { color: var(--orange); }\n.tag-exante  { color: var(--blue-light); }\n.tag-mtd     { color: #c8a0ff; }\n.tag-offline { color: #6EA8FE; }\n.cfvl-layer-mod h4 { font-family: var(--mono) !important; font-size: 0.88rem !important; font-weight: 600 !important; color: var(--ice) !important; margin-bottom: 0.4rem !important; }\n.cfvl-layer-mod p { font-size: 0.78rem; line-height: 1.6; color: var(--gray); margin: 0; }\n.v7-badge { display: inline-block; font-family: var(--mono); font-size: 0.55rem; letter-spacing: 0.15em; padding: 1px 5px; background: rgba(201,169,110,0.2); border: 1px solid rgba(201,169,110,0.4); color: var(--gold); border-radius: 2px; vertical-align: middle; margin-left: 5px; text-transform: uppercase; }\n.v71-badge { display: inline-block; font-family: var(--mono); font-size: 0.55rem; letter-spacing: 0.15em; padding: 1px 5px; background: rgba(13,110,253,0.25); border: 1px solid rgba(110,168,254,0.5); color: #6EA8FE; border-radius: 2px; vertical-align: middle; margin-left: 5px; text-transform: uppercase; }\n.v81-badge { display: inline-block; font-family: var(--mono); font-size: 0.55rem; letter-spacing: 0.15em; padding: 1px 5px; background: rgba(111,66,193,0.25); border: 1px solid rgba(200,160,255,0.5); color: #c8a0ff; border-radius: 2px; vertical-align: middle; margin-left: 5px; text-transform: uppercase; }\n@media (max-width: 768px) {\n  .cfvl-cascade-row { grid-template-columns: 1fr; gap: 0.6rem; }\n  .cfvl-cascade-num { text-align: left; }\n  .cfvl-cascade-pct { text-align: left; }\n  .cfvl-cascade-wrap { padding: 3.5rem 1.5rem; }\n}\n<\/style>\n \n<div class=\"cfvl-cascade-wrap\" id=\"cfvl-neutralisation\">\n  <div class=\"cfvl-cascade-inner\">\n \n    <div class=\"cfvl-cascade-label\">02c \u2014 Taux de compromission r\u00e9el \u00b7 v8.1 \u00b7 14 modules<\/div>\n    <h2 class=\"cfvl-cascade-h2\">Cascade de neutralisation \u2014<br><em>du taux de d\u00e9tection au taux de compromission<\/em><\/h2>\n    <p class=\"cfvl-cascade-lead\">\n      Un taux de d\u00e9tection brut de 99,8 % ne refl\u00e8te pas la r\u00e9alit\u00e9 de s\u00e9curit\u00e9 d&rsquo;une architecture d\u00e9fense-en-profondeur.\n      Dans CORTEX ORIGIN\u2122, les attaques traversent une cascade de six barri\u00e8res architecturales distinctes.\n      Le taux r\u00e9siduel d&rsquo;attaques susceptibles de compromettre r\u00e9ellement le syst\u00e8me\n      est structurellement distinct \u2014 et sensiblement inf\u00e9rieur \u2014 au taux de non-d\u00e9tection brut.\n    <\/p>\n \n    <div class=\"cfvl-doctrine\">\n      <strong>Doctrine CFVL.<\/strong>\n      Le taux de d\u00e9tection brut ne refl\u00e8te pas le taux r\u00e9el de compromission.\n      Dans l&rsquo;architecture CORTEX ORIGIN\u2122, une large fraction des attaques est neutralis\u00e9e\n      avant ex\u00e9cution compl\u00e8te, bloqu\u00e9e par confinement, ou rendue structurellement impossible\n      par seL4 et le TCB minimal. Le dernier rempart \u2014 <strong>M24 Offline Controller\u2122<\/strong> \u2014 d\u00e9clenche\n      un HALT d\u00e9terministe couvrant les 15 classes CWE par construction en cas de d\u00e9tection d&rsquo;anomalie.\n      Le <strong>CMS CORTEX MORPHIC SHIELD\u2122<\/strong> (v8.1) neutralise les vecteurs r\u00e9seau\n      par Moving Target Defence avant qu&rsquo;ils n&rsquo;atteignent les modules applicatifs.\n      <strong>Borne sup\u00e9rieure estim\u00e9e &lt; 1 % dans le p\u00e9rim\u00e8tre du mod\u00e8le exp\u00e9rimental \u00e9valu\u00e9<\/strong> \u2014\n      ordre de grandeur issu de la cascade de neutralisation et de la couverture exp\u00e9rimentale actuelle.\n    <\/div>\n \n    <!-- M\u00e9triques de rapidit\u00e9 -->\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:1px;background:rgba(74,144,217,0.12);border:1px solid rgba(74,144,217,0.12);border-radius:2px;margin-bottom:3rem;overflow:hidden;\">\n      <div style=\"background:rgba(22,34,64,0.7);padding:1.6rem 1.8rem;\">\n        <div style=\"font-family:var(--mono);font-size:0.6rem;letter-spacing:0.25em;text-transform:uppercase;color:var(--blue-light);margin-bottom:0.6rem;\">\u27f3 D\u00e9tection<\/div>\n        <div style=\"font-family:var(--mono);font-size:2.4rem;font-weight:700;color:var(--ice);line-height:1;letter-spacing:-0.02em;margin-bottom:0.3rem;\">8,6 <span style=\"font-size:1rem;font-weight:400;color:var(--gray);\">\u00b5s<\/span><\/div>\n        <div style=\"font-size:0.78rem;color:var(--gray);line-height:1.5;margin-bottom:0.5rem;\">MTTD combin\u00e9 \u2014 campagne v8.1 \u00b7 14 modules<\/div>\n        <div style=\"font-family:var(--mono);font-size:0.65rem;color:var(--slate);\">Pipeline seL4 \u2192 module \u2192 ARO<\/div>\n      <\/div>\n      <div style=\"background:rgba(22,34,64,0.85);padding:1.6rem 1.8rem;border-left:1px solid rgba(74,144,217,0.1);border-right:1px solid rgba(74,144,217,0.1);\">\n        <div style=\"font-family:var(--mono);font-size:0.6rem;letter-spacing:0.25em;text-transform:uppercase;color:var(--green);margin-bottom:0.6rem;\">\u2298 Blocage<\/div>\n        <div style=\"font-family:var(--mono);font-size:2.4rem;font-weight:700;color:var(--green);line-height:1;letter-spacing:-0.02em;margin-bottom:0.3rem;\">5,2 <span style=\"font-size:1rem;font-weight:400;color:var(--gray);\">\u00b5s<\/span><\/div>\n        <div style=\"font-size:0.78rem;color:var(--gray);line-height:1.5;margin-bottom:0.5rem;\">MTTB moyen \u2014 modules CORTEX<\/div>\n        <div style=\"font-family:var(--mono);font-size:0.65rem;color:var(--green);opacity:0.7;\">seL4 CAP_REVOKE : 421 ns<\/div>\n      <\/div>\n      <div style=\"background:rgba(111,66,193,0.09);padding:1.6rem 1.8rem;border-left:1px solid rgba(200,160,255,0.12);border-right:1px solid rgba(200,160,255,0.12);\">\n        <div style=\"font-family:var(--mono);font-size:0.6rem;letter-spacing:0.25em;text-transform:uppercase;color:#c8a0ff;margin-bottom:0.6rem;\">\u27c1 CMS MTD hot path<\/div>\n        <div style=\"font-family:var(--mono);font-size:2.4rem;font-weight:700;color:#c8a0ff;line-height:1;letter-spacing:-0.02em;margin-bottom:0.3rem;\">2,97 <span style=\"font-size:1rem;font-weight:400;color:var(--gray);\">ns<\/span><\/div>\n        <div style=\"font-size:0.78rem;color:var(--gray);line-height:1.5;margin-bottom:0.5rem;\">Rotation IP\/port MTD \u2014 hors HMAC<\/div>\n        <div style=\"font-family:var(--mono);font-size:0.65rem;color:#c8a0ff;opacity:0.7;\">CBMC 60\/60 \u00b7 ~125 Mds+ \u00b7 0 crash<\/div>\n      <\/div>\n      <div style=\"background:rgba(13,110,253,0.08);padding:1.6rem 1.8rem;border-left:1px solid rgba(110,168,254,0.15);border-right:1px solid rgba(110,168,254,0.15);\">\n        <div style=\"font-family:var(--mono);font-size:0.6rem;letter-spacing:0.25em;text-transform:uppercase;color:#6EA8FE;margin-bottom:0.6rem;\">\u23fb M24 HALT offline<\/div>\n        <div style=\"font-family:var(--mono);font-size:2.4rem;font-weight:700;color:#6EA8FE;line-height:1;letter-spacing:-0.02em;margin-bottom:0.3rem;\">2,1 <span style=\"font-size:1rem;font-weight:400;color:var(--gray);\">\u00b5s<\/span><\/div>\n        <div style=\"font-size:0.78rem;color:var(--gray);line-height:1.5;margin-bottom:0.5rem;\">MTTD M24 \u2014 fail-closed \u00b7 15\/15 CWE<\/div>\n        <div style=\"font-family:var(--mono);font-size:0.65rem;color:#6EA8FE;opacity:0.7;\">CBMC 13\/13 \u00b7 halt_path 3,02 ns<\/div>\n      <\/div>\n      <div style=\"background:rgba(22,34,64,0.7);padding:1.6rem 1.8rem;\">\n        <div style=\"font-family:var(--mono);font-size:0.6rem;letter-spacing:0.25em;text-transform:uppercase;color:var(--gold);margin-bottom:0.6rem;\">\u2261 Rapport audit<\/div>\n        <div style=\"font-family:var(--mono);font-size:2.4rem;font-weight:700;color:var(--gold);line-height:1;letter-spacing:-0.02em;margin-bottom:0.3rem;\">800 <span style=\"font-size:1rem;font-weight:400;color:var(--gray);\">ns<\/span><\/div>\n        <div style=\"font-size:0.78rem;color:var(--gray);line-height:1.5;margin-bottom:0.5rem;\">PRISM audit escalade \u2014 append-only<\/div>\n        <div style=\"font-family:var(--mono);font-size:0.65rem;color:var(--slate);\">Trace cryptographique HMAC-SHA3-256<\/div>\n      <\/div>\n    <\/div>\n \n    <!-- Cascade bars -->\n    <div class=\"cfvl-cascade-stack\">\n \n      <div class=\"cfvl-cascade-row layer-input\">\n        <div class=\"cfvl-cascade-num\">\u2014<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">Attaques inject\u00e9es<\/div>\n          <div class=\"cfvl-cascade-detail\">Surface d&rsquo;attaque totale mod\u00e9lis\u00e9e \u2014 15 classes CWE, 7,1 M vecteurs \u00b7 14 modules<\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">100 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">surface totale<\/div>\n        <\/div>\n      <\/div>\n \n      <div class=\"cfvl-cascade-row layer-sel4\">\n        <div class=\"cfvl-cascade-num\">L0<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">L0 \u00b7 Structural impossibility \u2014 seL4 EAL7<\/div>\n          <div class=\"cfvl-cascade-detail\">\n            <strong>65,0 % neutralis\u00e9es<\/strong> par preuve formelle Isabelle\/HOL.\n            7 classes CWE <strong>structurellement impossibles dans le mod\u00e8le consid\u00e9r\u00e9<\/strong> : isolation m\u00e9moire inter-domaines (T1\/T6), null-page non-mapp\u00e9e (T4), IPC synchrone atomique (T3), non-interf\u00e9rence TCB (T8). Certificat BSI-DSZ-CC-0784.\n            <br><span style=\"font-size:0.75rem;color:var(--slate);font-family:var(--mono);\">\u2193 71,1% v6 \u2192 65,0% v8.1 \u2014 dilution attendue par CWE applicatifs ATLAS\/AEGIS\/M24\/CMS<\/span>\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">\u2248 65 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">neutralis\u00e9es L0<\/div>\n        <\/div>\n      <\/div>\n \n      <div class=\"cfvl-cascade-row layer-exante\">\n        <div class=\"cfvl-cascade-num\">L1a<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">L1a \u00b7 Ex-ante rejection \u2014 SENTINEL \/ M00 \/ M27-GW \/ ATLAS\u2122 <span class=\"v7-badge\">\u2605 v7<\/span><\/div>\n          <div class=\"cfvl-cascade-detail\">\n            <strong>\u2248 20 % refus\u00e9es<\/strong> avant ex\u00e9cution compl\u00e8te.\n            SENTINEL analyse la requ\u00eate avant propagation. M00 filtre au niveau Root-of-Trust. M27-GW droppe en entr\u00e9e de gateway.\n            <strong>ATLAS\u2122<\/strong> (Proposal-Only) : toute tentative d&rsquo;action directe \u2192 rejet imm\u00e9diat sur 10 propri\u00e9t\u00e9s CBMC v\u00e9rifi\u00e9es (P-A1\u2013P-A10). 19,84 Mds fuzzing v2 \u00b7 0 crash.\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">\u2248 20 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">refus\u00e9es L1a<\/div>\n        <\/div>\n      <\/div>\n \n      <div class=\"cfvl-cascade-row layer-runtime\">\n        <div class=\"cfvl-cascade-num\">L1b<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">L1b \u00b7 Runtime containment \u2014 WALL-DOME \/ AEGIS\u2122 \/ Active Response <span class=\"v7-badge\">\u2605 v7<\/span><\/div>\n          <div class=\"cfvl-cascade-detail\">\n            <strong>\u2248 5\u201310 % bloqu\u00e9es\/confin\u00e9es<\/strong> \u00e0 l&rsquo;ex\u00e9cution.\n            WALL-DOME confine et quarantaine (DOM_ID=7). CAP_REVOKE seL4 en 421 ns.\n            <strong>AEGIS\u2122<\/strong> (Governed Executor) : fail-closed sur 13 propri\u00e9t\u00e9s (P-E1\u2013P-E13) \u2014 aucune ex\u00e9cution sans enveloppe OMEGA valide. 19,84 Mds fuzzing \u00b7 0 crash.\n            Propagation coup\u00e9e m\u00eame en cas d&rsquo;exploitation partielle.\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">\u2248 5\u201310 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">bloqu\u00e9es L1b<\/div>\n        <\/div>\n      <\/div>\n \n      <!-- CMS MTD \u2014 NOUVEAU v8.1 -->\n      <div class=\"cfvl-cascade-row layer-mtd\">\n        <div class=\"cfvl-cascade-num\">L1b+<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">L1b+ \u00b7 Moving Target Defence \u2014 CMS CORTEX MORPHIC SHIELD\u2122 <span class=\"v81-badge\">\u2605 v8.1<\/span><\/div>\n          <div class=\"cfvl-cascade-detail\">\n            <strong>Neutralisation des vecteurs r\u00e9seau par MTD Fisher-Yates.<\/strong>\n            7 258 LOC C11 \u00b7 16 sous-syst\u00e8mes \u00b7 219 fonctions.\n            Rotation IP\/port &lt;30s \u2014 toute reconnaissance r\u00e9seau est structurellement obsol\u00e8te avant exploitation.\n            Honeypots TCP actifs \u00b7 CBMC 60\/60 PASS (P01\u2013P60) \u00b7 ~125 Mds+ fuzzing \u00b7 0 crash \u00b7 VUL-009\u2192VUL-012 NON EXPLOIT.\n            <strong>+9 pts CEM brut<\/strong> (score brut 66\/57) \u2014 marge AVA_VAN.5 +26 norm.\/+35 brute \u00b7 CFVL-EVAL-016 v5.2.\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">\u2248 2\u20133 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">neutralis\u00e9es MTD<\/div>\n        <\/div>\n      <\/div>\n \n      <div class=\"cfvl-cascade-row layer-offline\">\n        <div class=\"cfvl-cascade-num\">L1c<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">L1c \u00b7 Offline architectural halt \u2014 M24 Offline Controller\u2122 <span class=\"v71-badge\">\u2605 v7.1<\/span><\/div>\n          <div class=\"cfvl-cascade-detail\">\n            <strong>Dernier rempart structurel.<\/strong>\n            En mode offline total, toute anomalie d\u00e9tect\u00e9e d\u00e9clenche un <strong>HALT d\u00e9terministe imm\u00e9diat<\/strong> (2,1 \u00b5s) \u2014\n            fail-closed prouv\u00e9 CBMC (13\/13 propri\u00e9t\u00e9s \u00b7 bug r\u00e9el P-M2 corrig\u00e9 \u00b7 halt_path 3,02 ns \u00b7 CFVL-EVAL-015 100\/100).\n            <strong>Couverture universelle 15\/15 CWE par construction.<\/strong>\n            FP = 0,0 % \u00b7 TNR = 100 % sur 300 000 attaques simul\u00e9es.\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">\u2248 1\u20132 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">halted L1c<\/div>\n        <\/div>\n      <\/div>\n \n      <div class=\"cfvl-cascade-row layer-residual\">\n        <div class=\"cfvl-cascade-num\">\u2205<\/div>\n        <div class=\"cfvl-cascade-desc\">\n          <div class=\"cfvl-cascade-layer-name\">\u2205 \u00b7 Residual compromise \u2014 borne sup\u00e9rieure estim\u00e9e<\/div>\n          <div class=\"cfvl-cascade-detail\">\n            Attaques ayant travers\u00e9 les <strong>six barri\u00e8res architecturales distinctes<\/strong> <em>et<\/em> susceptibles de compromettre r\u00e9ellement le TCB. <strong>Borne sup\u00e9rieure estim\u00e9e &lt; 1 % dans le p\u00e9rim\u00e8tre du mod\u00e8le.<\/strong>\n            M00 \/ OMEGA \/ PRISM prot\u00e8gent le c\u0153ur de confiance ind\u00e9pendamment des modules hors-TCB.\n            Une compromission de SENTINEL, WALL-DOME, ATLAS\u2122, AEGIS\u2122, CMS\u2122 ou M24\u2122 ne compromet pas le TCB tant que l&rsquo;isolation seL4 reste intacte.\n          <\/div>\n        <\/div>\n        <div class=\"cfvl-cascade-bar-wrap\"><div class=\"cfvl-cascade-bar-bg\"><div class=\"cfvl-cascade-bar-fill\"><\/div><\/div><\/div>\n        <div class=\"cfvl-cascade-pct\">\n          <div class=\"cfvl-cascade-pct-main\">&lt; 1 %<\/div>\n          <div class=\"cfvl-cascade-pct-label\">estim\u00e9 \u2014 voir note<\/div>\n        <\/div>\n      <\/div>\n \n    <\/div>\n \n    <!-- Propri\u00e9t\u00e9s de s\u00e9curit\u00e9 -->\n    <div style=\"margin:-1rem 0 3rem;border-left:3px solid rgba(74,144,217,0.4);padding:1rem 1.6rem;background:rgba(74,144,217,0.04);border-radius:0 2px 2px 0;\">\n      <p style=\"font-family:var(--serif);font-size:1.05rem;line-height:1.75;color:var(--ice);margin:0;\">\n        Cette cascade de neutralisation distingue quatre propri\u00e9t\u00e9s de s\u00e9curit\u00e9 fondamentales :\n        <strong style=\"color:var(--green);\">impossibilit\u00e9 structurelle<\/strong> (seL4 EAL7 \u2014 L0),\n        <strong style=\"color:var(--blue-light);\">d\u00e9tection et rejet applicatif<\/strong> (modules CORTEX \u2014 L1a\/L1b),\n        <strong style=\"color:#c8a0ff;\">neutralisation r\u00e9seau dynamique<\/strong> (CMS MTD \u2014 L1b+),\n        et <strong style=\"color:#6EA8FE;\">neutralisation architecturale offline<\/strong> (M24 Offline Controller\u2122 \u2014 L1c).\n        Cette s\u00e9paration correspond aux propri\u00e9t\u00e9s <em>pr\u00e9vention \/ d\u00e9tection \/ confinement \/ r\u00e9silience<\/em>\n        formalis\u00e9es dans les m\u00e9thodologies CC\/CEM.\n      <\/p>\n    <\/div>\n \n    <!-- Comparaison D\u00e9tection vs Compromission -->\n    <div class=\"cfvl-metrics-compare\">\n      <div class=\"cfvl-metric-box misleading\">\n        <div class=\"cfvl-metric-box-label\">\u26a0 M\u00e9trique trompeuse<\/div>\n        <div class=\"cfvl-metric-big\">0,5 %<\/div>\n        <div class=\"cfvl-metric-name\">Taux de non-d\u00e9tection brut<\/div>\n        <div class=\"cfvl-metric-desc\">\n          Attaques non d\u00e9tect\u00e9es parmi celles atteignant les modules CORTEX (forwarded = 35% de la surface totale).\n          Ne distingue pas \u00ab non d\u00e9tect\u00e9e \u00bb de \u00ab r\u00e9ellement exploitable \u00bb.\n          Ignore l&rsquo;isolation seL4, le TCB minimal, la quarantaine WALL-DOME,\n          le MTD CMS\u2122, le HALT offline M24\u2122, et l&rsquo;ind\u00e9pendance des couches.\n        <\/div>\n      <\/div>\n      <div class=\"cfvl-metric-box accurate\">\n        <div class=\"cfvl-metric-box-label\">\u2713 M\u00e9trique pertinente<\/div>\n        <div class=\"cfvl-metric-big\">&lt; 1 %<\/div>\n        <div class=\"cfvl-metric-name\">Borne sup\u00e9rieure estim\u00e9e \u2014 taux de compromission r\u00e9siduelle <em>(p\u00e9rim\u00e8tre du mod\u00e8le)<\/em><\/div>\n        <div class=\"cfvl-metric-desc\">\n          Attaques ayant travers\u00e9 les six barri\u00e8res architecturales distinctes\n          <em>et<\/em> atteignant un \u00e9tat exploitable sur le TCB.<br><small style=\"font-family:var(--mono);font-size:0.72em;color:var(--slate);\">Borne sup\u00e9rieure \u2014 p\u00e9rim\u00e8tre du mod\u00e8le exp\u00e9rimental.<\/small>\n          Tient compte de l&rsquo;isolation seL4 formellement prouv\u00e9e, du rejet ex-ante ATLAS\u2122,\n          du fail-closed AEGIS\u2122, du confinement WALL-DOME, du MTD CMS\u2122 (CBMC 60\/60 \u00b7 ~125 Mds+)\n          et du HALT offline universel M24\u2122 (15\/15 CWE \u00b7 halt_path 3,02 ns).\n        <\/div>\n      <\/div>\n    <\/div>\n \n    <!-- Modules par couche -->\n    <div class=\"cfvl-layer-modules\">\n \n      <div class=\"cfvl-layer-mod\">\n        <div class=\"cfvl-layer-mod-tag tag-sel4\">Couche 0 \u2014 seL4 EAL7<\/div>\n        <h4>Isolation formelle<\/h4>\n        <p>Preuve Isabelle\/HOL. 8 th\u00e9or\u00e8mes T1\u2013T8. Capability-based access control. Non-interf\u00e9rence inter-domaines. 7 classes CWE structurellement impossibles.<\/p>\n      <\/div>\n \n      <div class=\"cfvl-layer-mod\">\n        <div class=\"cfvl-layer-mod-tag tag-tcb\">TCB \u2014 M00 \u00b7 OMEGA \u00b7 PRISM<\/div>\n        <h4>C\u0153ur de confiance minimal<\/h4>\n        <p>M00 = Root of Trust. OMEGA = politique BLP\/MAC. PRISM = audit cryptographique append-only. <strong>La s\u00e9curit\u00e9 du syst\u00e8me est d\u00e9finie par l&rsquo;int\u00e9grit\u00e9 du TCB. Une compromission hors-TCB ne constitue pas une compromission syst\u00e8me tant que les invariants du TCB et l&rsquo;isolation seL4 restent intacts.<\/strong><\/p>\n      <\/div>\n \n      <div class=\"cfvl-layer-mod\">\n        <div class=\"cfvl-layer-mod-tag tag-exante\">Hors-TCB \u2014 Refus ex-ante<\/div>\n        <h4>SENTINEL \u00b7 M27-GW \u00b7 M00 gate \u00b7 ATLAS\u2122 <span class=\"v7-badge\">\u2605 v7<\/span><\/h4>\n        <p>ATLAS\u2122 (Proposal-Only Recommender) : rejet formel de toute tentative d&rsquo;action directe \u2014 19,84 Mds fuzzing v2 \u00b7 89\/89 ATE \u00b7 CFVL-EVAL-014 97\/100.<\/p>\n      <\/div>\n \n      <div class=\"cfvl-layer-mod\">\n        <div class=\"cfvl-layer-mod-tag tag-runtime\">Hors-TCB \u2014 Confinement runtime<\/div>\n        <h4>WALL-DOME \u00b7 AEGIS\u2122 \u00b7 Active Response <span class=\"v7-badge\">\u2605 v7<\/span><\/h4>\n        <p>WALL-DOME confine (DOM_ID=7). CAP_REVOKE seL4 421 ns. AEGIS\u2122 fail-closed enveloppe OMEGA \u00b7 state_only_scopes \u00b7 19,84 Mds \u00b7 75\/75 ATE \u00b7 CFVL-EVAL-013 94\/100.<\/p>\n      <\/div>\n \n      <div class=\"cfvl-layer-mod\" style=\"background:rgba(111,66,193,0.07);\">\n        <div class=\"cfvl-layer-mod-tag tag-mtd\">Hors-TCB \u2014 Moving Target Defence <span class=\"v81-badge\">\u2605 v8.1<\/span><\/div>\n        <h4 style=\"color:#c8a0ff !important;\">CMS CORTEX MORPHIC SHIELD\u2122<\/h4>\n        <p>MTD Fisher-Yates \u00b7 rotation IP\/port &lt;30s \u00b7 16 sous-syst\u00e8mes \u00b7 7 258 LOC C11 \u00b7 CBMC 60\/60 \u00b7 ~125 Mds+ \u00b7 0 crash \u00b7 +9 pts CEM brut \u00b7 CFVL-EVAL-016 v5.2 \u00b7 VUL-009\u2192VUL-012 NON EXPLOIT.<\/p>\n      <\/div>\n \n      <div class=\"cfvl-layer-mod\" style=\"border-top:1px solid rgba(110,168,254,0.2);background:rgba(13,110,253,0.06);\">\n        <div class=\"cfvl-layer-mod-tag tag-offline\">Hors-TCB \u2014 HALT universel offline <span class=\"v71-badge\">\u2605 v7.1<\/span><\/div>\n        <h4 style=\"color:#6EA8FE !important;\">M24 Offline Controller\u2122<\/h4>\n        <p>Offline total. Toute anomalie \u2192 HALT d\u00e9terministe 2,1 \u00b5s. halt_path 3,02 ns. 15\/15 CWE par construction. Fail-closed prouv\u00e9 CBMC \u00b7 bug P-M2 corrig\u00e9 \u00b7 CFVL-EVAL-015 100\/100 \u00b7 FP = 0,0 %.<\/p>\n      <\/div>\n \n    <\/div>\n \n    <!-- Note d'\u00e9volution v8.1 -->\n    <div style=\"margin-top:2.5rem;border:1px solid rgba(201,169,110,0.2);border-left:3px solid var(--gold);border-radius:2px;background:rgba(201,169,110,0.04);padding:1.6rem 2rem;\">\n      <div style=\"font-family:var(--mono);font-size:0.65rem;letter-spacing:0.25em;text-transform:uppercase;color:var(--gold);margin-bottom:0.75rem;\">Note d&rsquo;\u00e9volution du p\u00e9rim\u00e8tre (v8.1) \u2014 modules int\u00e9gr\u00e9s &amp; modules en cours<\/div>\n \n      <p style=\"font-size:0.88rem;line-height:1.75;color:var(--gray);margin:0 0 0.85rem;\">\n        <strong style=\"color:var(--green);font-weight:600;\">\u2713 ATLAS\u2122<\/strong> (CFVL-EVAL-014 \u00b7 97\/100 \u00b7 19,84 Mds v2 \u2705) et\n        <strong style=\"color:var(--green);font-weight:600;\">\u2713 AEGIS\u2122<\/strong> (CFVL-EVAL-013 \u00b7 94\/100 \u00b7 19,84 Mds \u2705)\n        int\u00e9gr\u00e9s \u00e0 la campagne. ATLAS v1 : 1 crash trouv\u00e9 \u2192 corrig\u00e9 en v2 (finding de s\u00e9curit\u00e9 positif).\n      <\/p>\n \n      <p style=\"font-size:0.88rem;line-height:1.75;color:var(--gray);margin:0 0 0.85rem;\">\n        <strong style=\"color:#6EA8FE;font-weight:600;\">\u2713 M24 Offline Controller\u2122<\/strong> (CFVL-EVAL-015 \u00b7 100\/100)\n        int\u00e9gr\u00e9 en v7.1. Bug P-M2 (<code style=\"font-family:var(--mono);font-size:0.82em;color:var(--ice);\">m24_restore()<\/code> FAIL-CLOSED violation) trouv\u00e9 et corrig\u00e9 via CBMC. halt_path corrig\u00e9 : <strong style=\"color:#6EA8FE;\">3,02 ns<\/strong> (\u00e9tait 28,1 ns \u00b7 \u00f79).\n      <\/p>\n \n      <p style=\"font-size:0.88rem;line-height:1.75;color:var(--gray);margin:0 0 0.85rem;\">\n        <strong style=\"color:#c8a0ff;font-weight:600;\">\u2713 CMS CORTEX MORPHIC SHIELD\u2122<\/strong> (CFVL-EVAL-016 v5.2 \u00b7 nouveau v8.1)\n        int\u00e9gr\u00e9 en tant que couche L1b+ Moving Target Defence.\n        CBMC 60\/60 (P01\u2013P60) \u00b7 ~125 Mds+ fuzzing \u00b7 0 crash \u00b7 +9 pts CEM brut \u00b7 VUL-009\u2192VUL-012 NON EXPLOIT.\n        Score CEM v8.1 : <strong style=\"color:#c8a0ff;\">57\/57 normalis\u00e9 \u00b7 66\/57 brut<\/strong> \u00b7 marge AVA_VAN.5 +26\/+35 \u00b7 evidence-grade EAL7.\n      <\/p>\n \n      <p style=\"font-size:0.88rem;line-height:1.75;color:var(--gray);margin:0 0 0.85rem;\">\n        <strong style=\"color:var(--green);font-weight:600;\">\u2713 MORPH GATES\u2122<\/strong> (CFVL-EVAL-034 v1.0 \u00b7 CONFORME)\n        et <strong style=\"color:var(--green);font-weight:600;\">\u2713 MIRRORLAB\u2122<\/strong> (CFVL-EVAL-033 v1.2 \u00b7 CONFORME)\n        finalis\u00e9s en v8.1. Leur p\u00e9rim\u00e8tre (CI\/CD guard et sandbox analytique adversariale) est hors de la cascade de neutralisation temps-r\u00e9el mais contribue \u00e0 l&rsquo;architecture globale de confiance.\n      <\/p>\n \n      <p style=\"font-size:0.75rem;line-height:1.7;color:var(--slate);margin:0;font-family:var(--mono);letter-spacing:0.02em;border-top:1px solid rgba(201,169,110,0.12);padding-top:0.75rem;\">\n        \u26a0 Les m\u00e9triques constituent une <strong style=\"color:var(--ice);\">baseline exp\u00e9rimentale reproductible<\/strong>\n        obtenue en environnement instrument\u00e9 (ARM64 Apple Silicon \u00b7 mttd_bench_all v2.0 \u00b7 N=1000 \u00b7 batch=10000).\n        La consolidation sur plateforme bare-metal seL4 est pr\u00e9vue pour v9 (2026 Q3).\n      <\/p>\n    <\/div>\n \n  <\/div>\n<\/div>\n\n\n\n<!DOCTYPE html>\n<html lang=\"fr\">\n<head>\n<meta charset=\"UTF-8\"><meta name=\"viewport\" content=\"width=device-width,initial-scale=1\">\n<title>CFVL-ATE-MTTD-001 v8.1 \u2014 CORTEX ORIGIN\u2122 \u00b7 seL4 EAL7<\/title>\n<style>\n*{box-sizing:border-box;margin:0;padding:0}\nbody{font-family:'Segoe UI',system-ui,sans-serif;color:#1a1a2e;background:#f8f9fa;line-height:1.6}\n.wrap{max-width:1180px;margin:0 auto;padding:2em 1.5em}\nh1{font-size:1.9em;color:#0C2340;font-weight:800;letter-spacing:-.02em}\nh2{font-size:1.3em;color:#0C2340;border-bottom:3px solid #C8A951;padding-bottom:.3em;margin:2.2em 0 .8em}\ntable{width:100%;border-collapse:collapse}\nthead th{background:#0C2340;color:#fff;padding:9px 12px;text-align:left;font-size:.78em;text-transform:uppercase;letter-spacing:.03em}\n.kpi{display:grid;grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:14px;margin:1.4em 0}\n.kcard{background:#fff;border:1px solid #e0e0e0;border-radius:10px;padding:18px 14px;text-align:center;border-top:4px solid #C8A951}\n.kcard.blue{border-top-color:#0d6efd}.kcard.green{border-top-color:#28a745}\n.kval{font-size:1.8em;font-weight:800;color:#0C2340;display:block;line-height:1.1}\n.klbl{font-size:.72em;color:#666;text-transform:uppercase;letter-spacing:.04em;margin-top:5px}\nfooter{font-size:.73em;color:#999;margin-top:3em;padding-top:1.5em;border-top:1px solid #e0e0e0;text-align:center}\n.toc{background:#fff;border:1px solid #e0e0e0;border-radius:10px;padding:18px 22px;margin:1.5em 0;font-size:.88em}\n.toc ol{margin-left:18px;line-height:2.1;color:#0C2340}\n.toc a{color:#0C2340;text-decoration:none;font-weight:500}\n.toc a:hover{color:#C8A951;text-decoration:underline}\n.new-tag{background:#C8A951;color:#0C2340;padding:1px 6px;border-radius:3px;font-size:.68em;font-weight:800;vertical-align:middle;margin-left:4px}\n.m24-tag{background:#0d6efd;color:#fff;padding:1px 6px;border-radius:3px;font-size:.68em;font-weight:800;vertical-align:middle;margin-left:4px}\n.cms-tag{background:#6f42c1;color:#fff;padding:1px 6px;border-radius:3px;font-size:.68em;font-weight:800;vertical-align:middle;margin-left:4px}\n<\/style>\n<\/head>\n<body><div class=\"wrap\">\n<p style=\"font-size:.78em;color:#C8A951;font-weight:600;margin-bottom:.3em\">\n  CFVL \u00b7 CFVL-ATE-MTTD-001 \u00b7 v8.1 \u00b7 Rapport ATE EAL6 \u00b7 seL4 EAL7 \u00b7 12 crit\u00e8res \u00e9valuateur \u00b7 14 modules\n<\/p>\n<h1>Rapport MTTD\/MTTB \u2014 Campagne attaque\/d\u00e9tection v8.1<\/h1>\n<p style=\"color:#666;margin:.3em 0 .2em\">\n  Architecture deux couches \u00b7 seL4 EAL7 (preuve formelle Isabelle\/HOL) + CORTEX ORIGIN\u2122 \u00b7\n  15 classes CWE \u00b7 14 modules \u00b7 SIR\/DR\/BR\/TNR \u00b7 Threat Model \u00b7 TCB size \u00b7 Assurance Args \u00b7 Attack Surface\n<\/p>\n<p style=\"font-size:.83em;color:#999\">G\u00e9n\u00e9r\u00e9 le : 16 Mars 2026 \u2014 17:00:00 &nbsp;\u00b7&nbsp;\n  <strong style=\"color:#C8A951\">+Benchmark unifi\u00e9 14 modules ARM64 \u2014 \u00a76 \u00b7 CMS CORTEX MORPHIC SHIELD\u2122 ajout\u00e9<\/strong> \u2014 mttd_bench_all v2.0 \u00b7 N=1000 \u00b7 batch=10000<\/p>\n \n<!-- MISE \u00c0 JOUR v8.1 \u2014 16\/03\/2026 -->\n<div style=\"background:linear-gradient(135deg,#1a0a40,#2d1060);border-radius:10px;padding:14px 18px;margin:.8em 0;font-size:.82em;color:#fff;border-left:4px solid #6f42c1\">\n  <strong style=\"color:#C8A951\">\u2605 Nouveaut\u00e9s v8.1 (16\/03\/2026) :<\/strong>\n  Fuzzing total <strong>~194 Mds+<\/strong> (vs ~116 Mds v8.0) \u00b7\n  CMS CORTEX MORPHIC SHIELD\u2122 ajout\u00e9 (EVAL-016 \u00b7 CBMC 60\/60 \u00b7 ~125 Mds \u00b7 +9 CEM brut) \u00b7\n  AVA-VAN-001 v1.5 \u2192 <strong>57\/57 norm. \/ 66\/57 brut<\/strong> (marge +26\/+35) \u00b7\n  M09 CB run2 : <strong>2,379 Mds<\/strong> \u00b7 ATLAS v2 : <strong>19,84 Mds<\/strong> \u00b7 AEGIS : <strong>19,84 Mds<\/strong> \u00b7\n  M24 halt_path corrig\u00e9 : <strong>3,02 ns<\/strong> (\u00e9tait 28,1 ns, \u00f79) \u00b7 M00 Run1 : 1,83 Mds \u2705\n<\/div>\n \n<div class=\"toc\">\n  <strong style=\"color:#0C2340;font-size:.95em\">Table des mati\u00e8res<\/strong>\n  <ol>\n    <li><a href=\"#metrics\">M\u00e9triques SIR \/ DR \/ BR \/ TNR<\/a><\/li>\n    <li><a href=\"#architecture\">Architecture deux couches + diagramme<\/a><\/li>\n    <li><a href=\"#threat\">Mod\u00e8le de menace (A1\u2013A5)<\/a><\/li>\n    <li><a href=\"#tcb\">Taille du TCB<\/a><\/li>\n    <li><a href=\"#assurance\">Arguments d&rsquo;assurance (Isabelle\/Frama-C\/Coq\/ProVerif)<\/a><\/li>\n    <li><a href=\"#surface\">Surface d&rsquo;attaque r\u00e9siduelle<\/a><\/li>\n    <li><a href=\"#cwe\">Couverture seL4 par classe CWE \u00b7 Matrice \u00b7 Tableau consolid\u00e9<\/a><\/li>\n    <li><a href=\"#synthese\">Synth\u00e8se condens\u00e9e \u2014 13 familles de risque<\/a><\/li>\n    <li><a href=\"#matrice2\">Matrice \u00e9tendue v8 \u2014 10 CWE prioritaires suppl\u00e9mentaires<\/a><\/li>\n    <li><a href=\"#matrice3\">Matrice compl\u00e9mentaire \u2014 Supply chain \u00b7 IA \u00b7 Concurrence \u00b7 Communication<\/a><\/li>\n    <li><a href=\"#modules\">R\u00e9sultats d\u00e9taill\u00e9s par module<\/a><\/li>\n    <li><a href=\"#benchmark\">\u00a76 Benchmark MTTD unifi\u00e9 \u2014 14 modules ARM64 <span class=\"new-tag\">\u2605 v8.1<\/span><\/a><\/li>\n    <li><a href=\"#repro\">Reproductibilit\u00e9 \u00b7 Coverage<\/a><\/li>\n    <li><a href=\"#comparison\">Comparaison syst\u00e8mes \u00b7 Benchmark acad\u00e9mique<\/a><\/li>\n    <li><a href=\"#limitations\">Limitations<\/a><\/li>\n    <li><a href=\"#roadmap\">Roadmap<\/a><\/li>\n  <\/ol>\n<\/div>\n \n<!-- VERDICT GLOBAL -->\n<div style=\"background:linear-gradient(135deg,#0C2340,#1F3864);border-radius:14px;padding:22px 28px;margin:1.2em 0;color:#fff;display:flex;align-items:center;gap:24px;flex-wrap:wrap\">\n  <div>\n    <div style=\"font-size:.72em;color:#C8A951;font-weight:700;text-transform:uppercase\">Verdict CFVL<\/div>\n    <div style=\"font-size:2em;font-weight:800;color:#C8A951\">CONFORME_AVEC_RESERVES<\/div>\n    <div style=\"font-size:.8em;color:rgba(255,255,255,.6);margin-top:4px\">CEM Timing : <strong style=\"color:#C8A951\">18.9\/19<\/strong> \u00b7 7,100,000 vecteurs \u00b7 15 CWE \u00b7 14 modules \u00b7 seL4 EAL7<\/div>\n  <\/div>\n  <div style=\"flex:1;min-width:240px\">\n    <div style=\"font-size:.7em;color:rgba(255,255,255,.5);margin-bottom:3px\">TNR = SIR + (1\u2212SIR)\u00d7DR<\/div>\n    <div style=\"background:rgba(255,255,255,.1);border-radius:5px;height:11px;overflow:hidden;display:flex\">\n      <div style=\"width:65%;background:#C8A951\"><\/div>\n      <div style=\"width:35%;background:#28a745\"><\/div>\n    <\/div>\n    <div style=\"font-size:.82em;color:#C8A951;margin-top:2px\">TNR 99.8%\n      <small style=\"color:rgba(255,255,255,.5)\">(SIR 65% + DR 99.5% sur forwarded)<\/small>\n    <\/div>\n  <\/div>\n<\/div>\n \n<!-- KPI -->\n<div class=\"kpi\">\n  <div class=\"kcard\" style=\"border-top-color:#C8A951\"><span class=\"kval\" style=\"color:#C8A951\">65.0%<\/span><span class=\"klbl\">SIR seL4 \u2131<\/span><\/div>\n  <div class=\"kcard green\"><span class=\"kval\" style=\"color:#28a745\">99.5%<\/span><span class=\"klbl\">DR modules<\/span><\/div>\n  <div class=\"kcard blue\"><span class=\"kval\" style=\"color:#0d6efd\">90.3%<\/span><span class=\"klbl\">BR (sur d\u00e9tect\u00e9es)<\/span><\/div>\n  <div class=\"kcard\"><span class=\"kval\">99.8%<\/span><span class=\"klbl\">TNR combin\u00e9e<\/span><\/div>\n  <div class=\"kcard\" style=\"border-top-color:#C8A951\"><span class=\"kval\">421 ns<\/span><span class=\"klbl\">MTTB seL4<\/span><\/div>\n  <div class=\"kcard blue\"><span class=\"kval\" style=\"color:#0d6efd\">8.6 \u00b5s<\/span><span class=\"klbl\">MTTD combin\u00e9<\/span><\/div>\n  <div class=\"kcard\"><span class=\"kval\">54.64 \u00b5s<\/span><span class=\"klbl\">MTTD p99<\/span><\/div>\n  <div class=\"kcard\" style=\"border-top-color:#C8A951\"><span class=\"kval\" style=\"color:#C8A951\">57\/57<\/span><span class=\"klbl\">CEM AVA_VAN.5<\/span><\/div>\n<\/div>\n \n<div id=\"metrics\">\n  <div style=\"background:linear-gradient(135deg,#0C2340,#1F3864);border-radius:14px;padding:26px;margin:1.5em 0;color:#fff\">\n    <h3 style=\"color:#C8A951;margin-bottom:16px\">\ud83d\udcd0 M\u00e9triques de neutralisation \u2014 Mod\u00e8le \u00e0 trois niveaux<\/h3>\n    <p style=\"font-size:.84em;color:rgba(255,255,255,.7);margin-bottom:18px\">\n      Distinction stricte entre impossibilit\u00e9 structurelle (seL4), d\u00e9tection applicative et blocage actif.\n      TNR = SIR + (1\u2212SIR) \u00d7 DR. Le SIR reste \u00e0 65,0% (v8.1, 14 modules) :\n      M24 Offline Controller renforce le dernier rempart \u2014 en mode offline total, toute intrusion d\u00e9tect\u00e9e d\u00e9clenche\n      un HALT d\u00e9terministe couvrant les 15 classes CWE par construction. La TNR reste 99.8%.\n    <\/p>\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:14px\">\n      <div style=\"background:rgba(200,169,81,.15);border:1px solid #C8A951;border-radius:10px;padding:16px;text-align:center\">\n        <div style=\"font-size:.65em;color:#C8A951;font-weight:700;text-transform:uppercase;letter-spacing:.1em\">SIR<\/div>\n        <div style=\"font-size:2.2em;font-weight:800;color:#C8A951\">65.0%<\/div>\n        <div style=\"font-size:.72em;color:rgba(255,255,255,.6);margin-top:4px\">Structural Immunity Rate<br>seL4 preuve formelle<\/div>\n      <\/div>\n      <div style=\"background:rgba(40,167,69,.1);border:1px solid #28a745;border-radius:10px;padding:16px;text-align:center\">\n        <div style=\"font-size:.65em;color:#28a745;font-weight:700;text-transform:uppercase;letter-spacing:.1em\">DR<\/div>\n        <div style=\"font-size:2.2em;font-weight:800;color:#7eff9a\">99.5%<\/div>\n        <div style=\"font-size:.72em;color:rgba(255,255,255,.6);margin-top:4px\">Detection Rate<br>14 modules CORTEX (forwarded)<br><small style=\"color:#C8A951\">\u2191 99.4% \u2192 99.5% avec M24<\/small><\/div>\n      <\/div>\n      <div style=\"background:rgba(13,110,253,.1);border:1px solid #0d6efd;border-radius:10px;padding:16px;text-align:center\">\n        <div style=\"font-size:.65em;color:#6ea8fe;font-weight:700;text-transform:uppercase;letter-spacing:.1em\">BR<\/div>\n        <div style=\"font-size:2.2em;font-weight:800;color:#6ea8fe\">90.3%<\/div>\n        <div style=\"font-size:.72em;color:rgba(255,255,255,.6);margin-top:4px\">Block Rate<br>parmi les d\u00e9tect\u00e9es<\/div>\n      <\/div>\n      <div style=\"background:rgba(255,255,255,.08);border:2px solid #C8A951;border-radius:10px;padding:16px;text-align:center\">\n        <div style=\"font-size:.65em;color:#C8A951;font-weight:700;text-transform:uppercase;letter-spacing:.1em\">TNR<\/div>\n        <div style=\"font-size:2.2em;font-weight:800;color:#fff\">99.8%<\/div>\n        <div style=\"font-size:.72em;color:rgba(255,255,255,.6);margin-top:4px\">Total Neutralization Rate<br>SIR + (1\u2212SIR)\u00d7DR<\/div>\n      <\/div>\n    <\/div>\n    <div style=\"margin-top:14px;background:rgba(0,0,0,.25);border-radius:8px;padding:12px;font-family:monospace;font-size:.8em;color:rgba(255,255,255,.8)\">\n      TNR = 0.650 + (1 \u2212 0.650) \u00d7 0.995 = <strong style=\"color:#C8A951\">0.9983 (99.8%)<\/strong>\n    <\/div>\n    <div style=\"margin-top:10px;background:rgba(13,110,253,.15);border:1px solid #0d6efd;border-radius:8px;padding:10px 14px;font-size:.8em;color:rgba(255,255,255,.85)\">\n      <strong style=\"color:#6ea8fe\">\u2605 M24 Offline Controller\u2122 (v7.1)<\/strong> \u2014 En mode offline total, toute d\u00e9tection d&rsquo;anomalie d\u00e9clenche un HALT d\u00e9terministe (fail-closed prouv\u00e9 CBMC \u00b7 bug r\u00e9el P-M2 trouv\u00e9 et corrig\u00e9). Couverture universelle 15\/15 CWE par construction \u2014 aucun vecteur d&rsquo;attaque actif post-trigger.\n    <\/div>\n    <div style=\"margin-top:10px;background:rgba(111,66,193,.15);border:1px solid #6f42c1;border-radius:8px;padding:10px 14px;font-size:.8em;color:rgba(255,255,255,.85)\">\n      <strong style=\"color:#c8a0ff\">\u2605 CMS CORTEX MORPHIC SHIELD\u2122 (EVAL-016 v5.2)<\/strong> \u2014 14\u00e8me module Hors-TCB. MTD Moving Target Defence \u00b7 7 258 LOC C11 \u00b7 CBMC 60\/60 \u00b7 ~125 Mds+ fuzzing \u00b7 0 crash \u00b7 Isabelle 22-23 th\u00e9or\u00e8mes \u00b7 +9 pts CEM brut \u00b7 VUL-009 \u00e0 VUL-012 NON EXPLOIT.\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"architecture\">\n  <h2>\ud83c\udfd7 Architecture deux couches \u2014 CORTEX ORIGIN\u2122 sur seL4<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <h3 style=\"color:#0C2340;margin-bottom:16px\">\ud83c\udfd7 Diagramme d&rsquo;architecture \u2014 CORTEX ORIGIN\u2122 sur seL4 \u00b7 14 modules<\/h3>\n    <div style=\"display:flex;justify-content:center\">\n    <svg width=\"880\" height=\"600\" viewBox=\"0 0 880 600\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" style=\"font-family:Segoe UI,sans-serif;max-width:100%\">\n      <defs>\n        <marker id=\"arrow-red\" markerWidth=\"8\" markerHeight=\"8\" refX=\"6\" refY=\"3\" orient=\"auto\"><path d=\"M0,0 L0,6 L8,3 z\" fill=\"#dc3545\"\/><\/marker>\n        <marker id=\"arrow-gold\" markerWidth=\"8\" markerHeight=\"8\" refX=\"6\" refY=\"3\" orient=\"auto\"><path d=\"M0,0 L0,6 L8,3 z\" fill=\"#C8A951\"\/><\/marker>\n        <marker id=\"arrow-green\" markerWidth=\"8\" markerHeight=\"8\" refX=\"6\" refY=\"3\" orient=\"auto\"><path d=\"M0,0 L0,6 L8,3 z\" fill=\"#28a745\"\/><\/marker>\n        <marker id=\"arrow-blue\" markerWidth=\"8\" markerHeight=\"8\" refX=\"6\" refY=\"3\" orient=\"auto\"><path d=\"M0,0 L0,6 L8,3 z\" fill=\"#0d6efd\"\/><\/marker>\n      <\/defs>\n      <rect x=\"290\" y=\"10\" width=\"160\" height=\"44\" rx=\"8\" fill=\"#dc3545\" opacity=\".9\"\/>\n      <text x=\"370\" y=\"29\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"12\" font-weight=\"700\">ATTAQUANT<\/text>\n      <text x=\"370\" y=\"45\" text-anchor=\"middle\" fill=\"rgba(255,255,255,.8)\" font-size=\"10\">DOM_UNTRUSTED (A1\u2013A4)<\/text>\n      <line x1=\"370\" y1=\"54\" x2=\"370\" y2=\"100\" stroke=\"#dc3545\" stroke-width=\"2\" marker-end=\"url(#arrow-red)\"\/>\n      <rect x=\"60\" y=\"100\" width=\"620\" height=\"80\" rx=\"10\" fill=\"#0C2340\" stroke=\"#C8A951\" stroke-width=\"2.5\"\/>\n      <text x=\"370\" y=\"125\" text-anchor=\"middle\" fill=\"#C8A951\" font-size=\"13\" font-weight=\"700\">COUCHE 0 \u2014 seL4 EAL7 (Isabelle\/HOL \u00b7 BSI-DSZ-CC-0784)<\/text>\n      <text x=\"370\" y=\"143\" text-anchor=\"middle\" fill=\"rgba(255,255,255,.7)\" font-size=\"10\">T1\/T6 isolation m\u00e9moire \u00b7 T2 capability integrity \u00b7 T3 IPC atomique \u00b7 T4 null-page \u00b7 T8 non-interference<\/text>\n      <text x=\"370\" y=\"163\" text-anchor=\"middle\" fill=\"#C8A951\" font-size=\"10\">~9 000 LOC \u00b7 SIR = 65,0% \u2014 14 modules \u00b7 MTTB \u2248 421 ns<\/text>\n      <line x1=\"370\" y1=\"180\" x2=\"370\" y2=\"220\" stroke=\"#28a745\" stroke-width=\"2\" marker-end=\"url(#arrow-green)\"\/>\n      <rect x=\"60\" y=\"220\" width=\"620\" height=\"160\" rx=\"10\" fill=\"#1F3864\" stroke=\"#28a745\" stroke-width=\"1.5\"\/>\n      <text x=\"370\" y=\"243\" text-anchor=\"middle\" fill=\"#7eff9a\" font-size=\"12\" font-weight=\"700\">COUCHE 1 \u2014 Modules CORTEX (Hors-TCB) \u00b7 14 modules<\/text>\n      <rect x=\"70\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".85\"\/>\n      <text x=\"109\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">SENTINEL<\/text>\n      <rect x=\"154\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".85\"\/>\n      <text x=\"193\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">WALL-DOME<\/text>\n      <rect x=\"238\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".75\"\/>\n      <text x=\"277\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">M27-GW<\/text>\n      <rect x=\"322\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".75\"\/>\n      <text x=\"361\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">M09-CB<\/text>\n      <rect x=\"406\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".75\"\/>\n      <text x=\"445\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">M26-AVA-CPL<\/text>\n      <rect x=\"490\" y=\"252\" width=\"78\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".75\"\/>\n      <text x=\"529\" y=\"268\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">M11-TL<\/text>\n      <rect x=\"70\" y=\"284\" width=\"85\" height=\"26\" rx=\"5\" fill=\"#C8A951\" opacity=\".9\"\/>\n      <text x=\"112\" y=\"300\" text-anchor=\"middle\" fill=\"#0C2340\" font-size=\"8\" font-weight=\"700\">ATLAS\u2122 \u2605<\/text>\n      <rect x=\"161\" y=\"284\" width=\"85\" height=\"26\" rx=\"5\" fill=\"#C8A951\" opacity=\".9\"\/>\n      <text x=\"203\" y=\"300\" text-anchor=\"middle\" fill=\"#0C2340\" font-size=\"8\" font-weight=\"700\">AEGIS\u2122 \u2605<\/text>\n      <rect x=\"252\" y=\"284\" width=\"85\" height=\"26\" rx=\"5\" fill=\"#28a745\" opacity=\".65\"\/>\n      <text x=\"294\" y=\"300\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"600\">CORTEX-SHIELD<\/text>\n      <rect x=\"343\" y=\"284\" width=\"95\" height=\"26\" rx=\"5\" fill=\"#0d6efd\" opacity=\".9\"\/>\n      <text x=\"390\" y=\"296\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"700\">M24 Offline<\/text>\n      <text x=\"390\" y=\"307\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"7\" font-weight=\"600\">Controller\u2122 \u2605<\/text>\n      <!-- CMS nouveau -->\n      <rect x=\"444\" y=\"284\" width=\"95\" height=\"26\" rx=\"5\" fill=\"#6f42c1\" opacity=\".9\"\/>\n      <text x=\"491\" y=\"296\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"8\" font-weight=\"700\">CMS MORPHIC<\/text>\n      <text x=\"491\" y=\"307\" text-anchor=\"middle\" fill=\"#fff\" font-size=\"7\" font-weight=\"600\">SHIELD\u2122 \u2605 v8.1<\/text>\n      <line x1=\"370\" y1=\"388\" x2=\"370\" y2=\"430\" stroke=\"#C8A951\" stroke-width=\"2\" marker-end=\"url(#arrow-gold)\"\/>\n      <rect x=\"120\" y=\"430\" width=\"480\" height=\"80\" rx=\"10\" fill=\"#0C2340\" stroke=\"#C8A951\" stroke-width=\"2.5\"\/>\n      <text x=\"370\" y=\"454\" text-anchor=\"middle\" fill=\"#C8A951\" font-size=\"13\" font-weight=\"700\">TCB \u2014 Trusted Computing Base<\/text>\n      <text x=\"370\" y=\"472\" text-anchor=\"middle\" fill=\"rgba(255,255,255,.6)\" font-size=\"10\">PRISM (audit) + OMEGA (BLP\/MAC) + M00 (Root of Trust) \u00b7 ~5 800 LOC v\u00e9rifi\u00e9s<\/text>\n      <rect x=\"140\" y=\"482\" width=\"120\" height=\"20\" rx=\"4\" fill=\"#C8A951\" opacity=\".7\"\/>\n      <text x=\"200\" y=\"496\" text-anchor=\"middle\" fill=\"#0C2340\" font-size=\"9\" font-weight=\"700\">PRISM \u2014 Audit Chain<\/text>\n      <rect x=\"285\" y=\"482\" width=\"120\" height=\"20\" rx=\"4\" fill=\"#C8A951\" opacity=\".7\"\/>\n      <text x=\"345\" y=\"496\" text-anchor=\"middle\" fill=\"#0C2340\" font-size=\"9\" font-weight=\"700\">OMEGA \u2014 PolicyForge<\/text>\n      <rect x=\"430\" y=\"482\" width=\"120\" height=\"20\" rx=\"4\" fill=\"#C8A951\"\/>\n      <text x=\"490\" y=\"496\" text-anchor=\"middle\" fill=\"#0C2340\" font-size=\"9\" font-weight=\"700\">M00 \u2014 Root of Trust<\/text>\n      <rect x=\"60\" y=\"530\" width=\"14\" height=\"14\" rx=\"2\" fill=\"#C8A951\"\/>\n      <text x=\"80\" y=\"542\" fill=\"#555\" font-size=\"10\">seL4 \/ TCB<\/text>\n      <rect x=\"160\" y=\"530\" width=\"14\" height=\"14\" rx=\"2\" fill=\"#28a745\"\/>\n      <text x=\"180\" y=\"542\" fill=\"#555\" font-size=\"10\">Hors-TCB CORTEX<\/text>\n      <rect x=\"300\" y=\"530\" width=\"14\" height=\"14\" rx=\"2\" fill=\"#0d6efd\"\/>\n      <text x=\"320\" y=\"542\" fill=\"#555\" font-size=\"10\">M24 Offline \u2605<\/text>\n      <rect x=\"420\" y=\"530\" width=\"14\" height=\"14\" rx=\"2\" fill=\"#6f42c1\"\/>\n      <text x=\"440\" y=\"542\" fill=\"#555\" font-size=\"10\">CMS \u2605 v8.1<\/text>\n      <line x1=\"560\" y1=\"537\" x2=\"585\" y2=\"537\" stroke=\"#dc3545\" stroke-width=\"2\"\/>\n      <text x=\"590\" y=\"542\" fill=\"#555\" font-size=\"10\">Vecteur d&rsquo;attaque<\/text>\n    <\/svg>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"threat\">\n  <h2>\ud83c\udfaf Mod\u00e8le de menace<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <p style=\"font-size:.84em;color:#555;margin-bottom:18px\">Cinq profils d&rsquo;attaquant sont consid\u00e9r\u00e9s, du moins au plus capable.<\/p>\n    <table style=\"width:100%;border-collapse:collapse;font-size:.85em\">\n      <thead style=\"background:#0C2340;color:#fff\">\n        <tr><th style=\"padding:9px 12px\">Profil<\/th><th style=\"padding:9px 12px\">Description<\/th><th style=\"padding:9px 12px\">Assumed Capabilities<\/th><th style=\"padding:9px 12px\">Contre-mesure principale<\/th><th style=\"padding:9px 12px;text-align:center\">Couvert<\/th><\/tr>\n      <\/thead>\n      <tbody>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700;color:#dc3545\">A1<\/td><td style=\"padding:9px 12px\"><strong>Unprivileged user process<\/strong><\/td><td style=\"padding:9px 12px;font-size:.82em;color:#555\">Ex\u00e9cution code user \u00b7 syscall seL4 \u00b7 IPC messages<\/td><td style=\"padding:9px 12px;font-size:.82em\">seL4 capability system (T1\/T2) + M27-GW + ATLAS reject + <strong>M24 HALT<\/strong> + <strong>CMS MTD<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">\u2714 Complet<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:9px 12px;font-weight:700;color:#fd7e14\">A2<\/td><td style=\"padding:9px 12px\"><strong>Compromised application<\/strong><\/td><td style=\"padding:9px 12px;font-size:.82em;color:#555\">Contr\u00f4le d&rsquo;un domaine seL4 \u00b7 envoi IPC arbitraires<\/td><td style=\"padding:9px 12px;font-size:.82em\">seL4 domain isolation \u00b7 WALL-DOME \u00b7 SENTINEL \u00b7 AEGIS fail-closed \u00b7 <strong>M24 HALT offline<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">\u2714 Complet<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700;color:#fd7e14\">A3<\/td><td style=\"padding:9px 12px\"><strong>Network attacker<\/strong><\/td><td style=\"padding:9px 12px;font-size:.82em;color:#555\">Acc\u00e8s r\u00e9seau \u00b7 forge paquets<\/td><td style=\"padding:9px 12px;font-size:.82em\">M27-GW \u00b7 M11-TL \u00b7 M09-CB \u00b7 AEGIS \u00b7 <strong>M24 coupure r\u00e9seau totale<\/strong> \u00b7 CMS MTD<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">\u2714 Complet<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:9px 12px;font-weight:700;color:#dc3545\">A4<\/td><td style=\"padding:9px 12px\"><strong>Malicious module \/ supply chain<\/strong><\/td><td style=\"padding:9px 12px;font-size:.82em;color:#555\">Code arbitraire dans un domaine seL4<\/td><td style=\"padding:9px 12px;font-size:.82em\">seL4 capability isolation \u00b7 PRISM audit trail \u00b7 ATLAS Proposal-Only \u00b7 <strong>M24 HALT<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">\u2714 Complet<\/span><\/td><\/tr>\n        <tr><td style=\"padding:9px 12px;font-weight:700;color:#6c757d\">A5<\/td><td style=\"padding:9px 12px\"><strong>Kernel exploit attempt<\/strong><\/td><td style=\"padding:9px 12px;font-size:.82em;color:#555\">Connaissance CVE kernel \u00b7 ROP\/JOP<\/td><td style=\"padding:9px 12px;font-size:.82em\">seL4 EAL7 prouv\u00e9 correct \u00b7 ~9 000 LOC \u00b7 surface minimale<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#0d6efd;font-weight:700\">\u2714 seL4 EAL7<\/span><\/td><\/tr>\n      <\/tbody>\n    <\/table>\n    <div style=\"margin-top:12px;background:#f8f9fa;border-radius:8px;padding:12px;font-size:.82em;color:#555\">\n      <strong>Hors p\u00e9rim\u00e8tre :<\/strong> Attaques physiques (DPA, SPA, fault injection), side-channel EM.\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"tcb\">\n  <h2>\ud83d\udccf Taille du TCB<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <table style=\"width:100%;border-collapse:collapse;font-size:.85em\">\n      <thead style=\"background:#0C2340;color:#fff\"><tr><th style=\"padding:9px 12px\">Composant<\/th><th style=\"padding:9px 12px\">R\u00f4le<\/th><th style=\"padding:9px 12px;text-align:right\">LOC (C\/C++)<\/th><th style=\"padding:9px 12px;text-align:right\">Preuve (LOC proof)<\/th><th style=\"padding:9px 12px\">Outil<\/th><th style=\"padding:9px 12px;text-align:center\">Statut<\/th><\/tr><\/thead>\n      <tbody>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:rgba(200,169,81,.05)\"><td style=\"padding:9px 12px;font-weight:700\">seL4 kernel<\/td><td style=\"padding:9px 12px;font-size:.85em\">Microkernel \u00b7 isolation \u00b7 capabilities \u00b7 IPC<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:700\">~9 000<\/td><td style=\"padding:9px 12px;text-align:right;color:#28a745\">~200 000<\/td><td style=\"padding:9px 12px;font-size:.82em\">Isabelle\/HOL (l4v)<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"background:#0C2340;color:#C8A951;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:700\">EAL7 \u00b7 BSI<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700\">M00 \u2014 Root of Trust<\/td><td style=\"padding:9px 12px;font-size:.85em\">Security gate \u00b7 initialisation \u00b7 entropie<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:700\">~1 200<\/td><td style=\"padding:9px 12px;text-align:right;color:#28a745\">~3 400<\/td><td style=\"padding:9px 12px;font-size:.82em\">Frama-C\/WP + Isabelle<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"background:#d4edda;color:#155724;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:700\">CFVL v\u00e9rifi\u00e9<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:9px 12px;font-weight:700\">OMEGA \u2014 PolicyForge<\/td><td style=\"padding:9px 12px;font-size:.85em\">Moteur BLP \u00b7 politique MAC<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:700\">~2 800<\/td><td style=\"padding:9px 12px;text-align:right;color:#28a745\">~8 200<\/td><td style=\"padding:9px 12px;font-size:.82em\">Coq\/Rocq + Isabelle<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"background:#d4edda;color:#155724;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:700\">CFVL-EVAL-001<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700\">PRISM \u2014 Audit Chain<\/td><td style=\"padding:9px 12px;font-size:.85em\">Journal cryptographique append-only \u00b7 HMAC<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:700\">~1 800<\/td><td style=\"padding:9px 12px;text-align:right;color:#28a745\">~4 100<\/td><td style=\"padding:9px 12px;font-size:.82em\">Isabelle\/HOL + ProVerif<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"background:#d4edda;color:#155724;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:700\">CFVL en cours<\/span><\/td><\/tr>\n        <tr style=\"background:rgba(200,169,81,.08);border-top:2px solid #C8A951\"><td style=\"padding:9px 12px;font-weight:800\">TCB TOTAL<\/td><td style=\"padding:9px 12px;font-size:.85em;color:#555\">seL4 + M00 + OMEGA + PRISM<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:800;font-size:1.1em\">~14 800 LOC<\/td><td style=\"padding:9px 12px;text-align:right;font-weight:800;color:#28a745\">~215 700 LOC proof<\/td><td style=\"padding:9px 12px\"><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"background:#0C2340;color:#C8A951;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:700\">TCB minimal<\/span><\/td><\/tr>\n      <\/tbody>\n    <\/table>\n    <div style=\"margin-top:12px;font-size:.82em;color:#555;background:#f8f9fa;border-radius:8px;padding:12px\">\n      <strong>Hors-TCB (14 modules) :<\/strong> SENTINEL, WALL-DOME, M09-CB, M11-TL, M26-AVA-CPL, M27-GW, ATLAS\u2122, AEGIS\u2122, M24 Offline Controller\u2122, <strong>CMS CORTEX MORPHIC SHIELD\u2122<\/strong> (nouveau v8.1), MIRRORLAB\u2122, MORPH GATES\u2122, CORTEX-SHIELD, M00 TCB-adj \u2014 tous isol\u00e9s par seL4 capability system.\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"assurance\">\n  <h2>\ud83d\udd2c Arguments d&rsquo;assurance<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:14px\">\n      <div style=\"border:1px solid #C8A951;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\ud83c\udfdb Isabelle\/HOL<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>Non-interference<\/strong> \u2014 domaines isol\u00e9s<\/li>\n          <li><strong>Isolation m\u00e9moire<\/strong> \u2014 espaces d&rsquo;adressage s\u00e9par\u00e9s<\/li>\n          <li><strong>Capability safety<\/strong><\/li>\n          <li><strong>BLP properties<\/strong> (OMEGA)<\/li>\n          <li><strong>Append-only chain<\/strong> (PRISM)<\/li>\n          <li><strong>Replay resistance<\/strong><\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#C8A951;font-weight:600\">Ref: l4v \/ CFVL-PROOF-001\u2013006<\/div>\n      <\/div>\n      <div style=\"border:1px solid #28a745;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\u2699\ufe0f Frama-C \/ WP<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>Absence d\u00e9passement m\u00e9moire<\/strong> (CWE-119\/787\/125)<\/li>\n          <li><strong>Invariants de boucle<\/strong><\/li>\n          <li><strong>ATLAS<\/strong> : P-A1\u2013P-A10 \u00b7 366\/366 WP goals<\/li>\n          <li><strong>AEGIS<\/strong> : P-E1\u2013P-E13 \u00b7 596\/640 WP goals<\/li>\n          <li><strong>M24<\/strong> : fail-closed prouv\u00e9 CBMC \u00b7 13 propri\u00e9t\u00e9s<\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#28a745;font-weight:600\">Score global : 2 685\/2 691 WP goals (Frama-C TOE)<\/div>\n      <\/div>\n      <div style=\"border:1px solid #0d6efd;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\ud83e\uddee CBMC<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>M24<\/strong> : 13 propri\u00e9t\u00e9s \u00b7 bug P-M2 corrig\u00e9 \u00b7 100\/100<\/li>\n          <li><strong>CMS<\/strong> : 60\/60 PASS (P01\u2013P60) \u00b7 EVAL-016<\/li>\n          <li><strong>ATLAS v2<\/strong> : 628 CBMC \u00b7 0 crash<\/li>\n          <li><strong>AVA-VAN<\/strong> : 3 610+ assertions \u00b7 14 modules<\/li>\n          <li><strong>Total TOE<\/strong> : 5 177+ assertions \u00b7 0 failed<\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#0d6efd;font-weight:600\">CFVL-EVAL-015\/016 \u00b7 AVA-VAN-001 v1.5<\/div>\n      <\/div>\n      <div style=\"border:1px solid #fd7e14;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\ud83d\udd10 ProVerif 2.05<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>Secrecy<\/strong> \u00b7 <strong>Authentication<\/strong><\/li>\n          <li><strong>Non-replay<\/strong> \u00b7 <strong>Forward secrecy<\/strong><\/li>\n          <li><strong>Injective agreement<\/strong><\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#fd7e14;font-weight:600\">5\/5 TRUE \u00b7 CFVL-EVAL-007<\/div>\n      <\/div>\n      <div style=\"border:1px solid #6f42c1;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\ud83d\udd27 Fuzzing (libFuzzer\/standalone)<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>Crash absence<\/strong> \u2014 0 crash sur ~194 Mds+ it\u00e9rations<\/li>\n          <li><strong>WALL-DOME<\/strong> : 25,23 Mds \u00b7 0 crash<\/li>\n          <li><strong>ATLAS v2<\/strong> : 19,84 Mds \u00b7 0 crash \u2605<\/li>\n          <li><strong>AEGIS<\/strong> : 19,84 Mds \u00b7 0 crash \u2605<\/li>\n          <li><strong>CMS MORPHIC SHIELD\u2122<\/strong> : ~125 Mds+ \u00b7 0 crash \u2605<\/li>\n          <li><strong>M09 CB run2<\/strong> : 2,379 Mds \u00b7 0 crash \u2705<\/li>\n          <li><strong>M24<\/strong> : standalone C fuzzer \u00b7 0 crash \u2605<\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#6f42c1;font-weight:600\">CFVL-EVAL-007\/013\/014\/015\/016 \u00b7 AVA-VAN-001 v1.5<\/div>\n      <\/div>\n      <div style=\"border:1px solid #20c997;border-radius:10px;padding:18px\">\n        <div style=\"font-weight:700;color:#0C2340;margin-bottom:6px\">\ud83e\uddea ATE \u2014 Tests fonctionnels<\/div>\n        <ul style=\"font-size:.82em;color:#333;margin-left:14px;line-height:1.9\">\n          <li><strong>89\/89<\/strong> PASS \u2014 CFVL-EVAL-007 WALL-DOME<\/li>\n          <li><strong>89\/89<\/strong> PASS \u2014 CFVL-EVAL-014 ATLAS\u2122 v2 \u2605<\/li>\n          <li><strong>75\/75<\/strong> PASS \u2014 CFVL-EVAL-013 AEGIS\u2122 \u2605<\/li>\n          <li><strong>13\/13<\/strong> PASS \u2014 CFVL-EVAL-015 M24\u2122 \u2605<\/li>\n          <li><strong>161\/161<\/strong> PASS \u2014 CFVL-EVAL-016 CMS\u2122 \u2605<\/li>\n          <li><strong>Campagne attaque\/d\u00e9tection<\/strong> \u2014 7,1 M vecteurs<\/li>\n        <\/ul>\n        <div style=\"margin-top:8px;font-size:.75em;color:#20c997;font-weight:600\">ATE_FUN.2 \u00b7 ATE_DPT.4 \u00b7 ATE_COV.2<\/div>\n      <\/div>\n    <\/div>\n    <!-- AVA-VAN Score Box -->\n    <div style=\"margin-top:16px;background:linear-gradient(135deg,#0C2340,#1a3060);border-radius:10px;padding:18px;color:#fff\">\n      <strong style=\"color:#C8A951\">\ud83d\udcca AVA-VAN-001 v1.5 (16\/03\/2026) \u2014 Score CEM<\/strong>\n      <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:10px;margin-top:12px;font-size:.82em\">\n        <div style=\"background:rgba(200,169,81,.15);border-radius:6px;padding:10px;text-align:center\">\n          <div style=\"font-size:1.8em;font-weight:800;color:#C8A951\">57\/57<\/div>\n          <div style=\"color:rgba(255,255,255,.7)\">Score normalis\u00e9<\/div>\n        <\/div>\n        <div style=\"background:rgba(200,169,81,.1);border-radius:6px;padding:10px;text-align:center\">\n          <div style=\"font-size:1.8em;font-weight:800;color:#C8A951\">66\/57<\/div>\n          <div style=\"color:rgba(255,255,255,.7)\">Score brut (+9 CMS)<\/div>\n        <\/div>\n        <div style=\"background:rgba(40,167,69,.1);border-radius:6px;padding:10px;text-align:center\">\n          <div style=\"font-size:1.8em;font-weight:800;color:#7eff9a\">+26<\/div>\n          <div style=\"color:rgba(255,255,255,.7)\">Marge norm. (seuil \u226531)<\/div>\n        <\/div>\n        <div style=\"background:rgba(40,167,69,.1);border-radius:6px;padding:10px;text-align:center\">\n          <div style=\"font-size:1.8em;font-weight:800;color:#7eff9a\">14\/14<\/div>\n          <div style=\"color:rgba(255,255,255,.7)\">NON EXPLOIT \u00b7 modules<\/div>\n        <\/div>\n      <\/div>\n      <div style=\"margin-top:10px;font-size:.78em;color:rgba(255,255,255,.7)\">\n        7 facteurs CEM v1.5 : Temps identi. 8\/8 MAX \u00b7 Expertise 6\/8 \u00b7 Connaissance TOE 11\/11 MAX \u00b7 Fen\u00eatre opportunit\u00e9 10\/10 MAX \u00b7 \u00c9quipement 7\/9 \u00b7 Vecteur r\u00e9seau 7\/7 MAX \u00b7 Contournement m\u00e9canismes 8\/8 MAX \u00b7 Evidence-grade EAL7\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"surface\">\n  <h2>\ud83d\udd2d Surface d&rsquo;attaque r\u00e9siduelle<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <table style=\"width:100%;border-collapse:collapse;font-size:.85em\">\n      <thead style=\"background:#0C2340;color:#fff\"><tr><th style=\"padding:9px 12px\">Surface<\/th><th style=\"padding:9px 12px\">Vecteurs<\/th><th style=\"padding:9px 12px\">Protection seL4<\/th><th style=\"padding:9px 12px\">Protection CORTEX<\/th><th style=\"padding:9px 12px;text-align:center\">R\u00e9sidu<\/th><\/tr><\/thead>\n      <tbody>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700\">IPC interfaces<\/td><td style=\"padding:9px 12px;font-size:.83em\">Messages seL4 \u00b7 endpoints \u00b7 badges<\/td><td style=\"padding:9px 12px;font-size:.83em\">Capability check T2<\/td><td style=\"padding:9px 12px;font-size:.83em\">SENTINEL \u00b7 WALL-DOME \u00b7 ATLAS \u00b7 <strong>M24 HALT<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">Minimal<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:9px 12px;font-weight:700\">Network gateway<\/td><td style=\"padding:9px 12px;font-size:.83em\">HTTP\/S \u00b7 REST \u00b7 protocoles internes<\/td><td style=\"padding:9px 12px;font-size:.83em\">Non-interference T8<\/td><td style=\"padding:9px 12px;font-size:.83em\">M27-GW \u00b7 M09-CB \u00b7 AEGIS \u00b7 <strong>M24 coupure r\u00e9seau totale<\/strong> \u00b7 <strong>CMS MTD<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">Minimal<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700\">Action execution layer<\/td><td style=\"padding:9px 12px;font-size:.83em\">Ex\u00e9cution d&rsquo;actions autonomes \u00b7 d\u00e9cisions IA<\/td><td style=\"padding:9px 12px;font-size:.83em\">Isolation domaine seL4<\/td><td style=\"padding:9px 12px;font-size:.83em\">AEGIS fail-closed \u00b7 OMEGA BLP \u00b7 ATLAS \u00b7 <strong>M24 HALT offline<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">Minimal<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:9px 12px;font-weight:700\">Cryptographic layer<\/td><td style=\"padding:9px 12px;font-size:.83em\">Cl\u00e9s faibles \u00b7 algorithmes obsol\u00e8tes<\/td><td style=\"padding:9px 12px;font-size:.83em\">Non prot\u00e9g\u00e9 par seL4<\/td><td style=\"padding:9px 12px;font-size:.83em\">M26-AVA-CPL \u00b7 M11-TL \u00b7 ATLAS P-A6\/A7 \u00b7 AEGIS P-E9<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#ffc107;font-weight:700\">Moyen<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:9px 12px;font-weight:700\">Application domain (intra)<\/td><td style=\"padding:9px 12px;font-size:.83em\">Bugs logiques \u00b7 race interne<\/td><td style=\"padding:9px 12px;font-size:.83em\">Isolation domain<\/td><td style=\"padding:9px 12px;font-size:.83em\">Frama-C \u00b7 fuzzing ~194 Mds+ iters \u00b7 <strong>M24 HALT<\/strong><\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">Minimal<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:rgba(111,66,193,.06)\"><td style=\"padding:9px 12px;font-weight:700\">Network topology (MTD)<\/td><td style=\"padding:9px 12px;font-size:.83em\">IP Spoofing \u00b7 SYN Flood \u00b7 Port scan \u00b7 Topology inference<\/td><td style=\"padding:9px 12px;font-size:.83em\">Non-interference T8<\/td><td style=\"padding:9px 12px;font-size:.83em\"><strong>CMS MORPHIC SHIELD\u2122<\/strong> \u2014 Fisher-Yates MTD \u00b7 rotation IP\/ports &lt;30s \u00b7 honeypots \u00b7 CBMC 60\/60<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#28a745;font-weight:700\">Minimal<\/span><\/td><\/tr>\n        <tr style=\"background:#fff3cd\"><td style=\"padding:9px 12px;font-weight:700;color:#856404\">Side-channel \/ physique<\/td><td style=\"padding:9px 12px;font-size:.83em\">Timing attacks \u00b7 DPA \u00b7 EM \u00b7 fault injection<\/td><td style=\"padding:9px 12px;font-size:.83em;color:#856404\">Non couvert par seL4<\/td><td style=\"padding:9px 12px;font-size:.83em;color:#856404\">Non couvert \u2014 roadmap v9<\/td><td style=\"padding:9px 12px;text-align:center\"><span style=\"color:#dc3545;font-weight:700\">R\u00e9siduel<\/span><\/td><\/tr>\n      <\/tbody>\n    <\/table>\n  <\/div>\n<\/div>\n \n \n<div id=\"cwe\">\n  <h2>\ud83d\udd10 Couverture seL4 par classe CWE<\/h2>\n  <div style=\"background:linear-gradient(135deg,#0C2340,#1F3864);border-radius:12px;overflow:hidden;margin-bottom:1.4em\">\n  <table style=\"color:#fff\">\n    <thead><tr>\n      <th style=\"padding:7px 10px\">CWE<\/th><th>Classe<\/th><th>Couche d\u00e9fense<\/th><th>Justification<\/th><th style=\"text-align:right\">MTTB\/MTTD<\/th>\n    <\/tr><\/thead>\n    <tbody>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-119<\/td><td style=\"padding:7px 10px;font-size:.82em\">Buffer Overflow<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T1\/T6 \u2014 isolation m\u00e9moire cross-domain<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-416<\/td><td style=\"padding:7px 10px;font-size:.82em\">Use-After-Free<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T1\/T6 \u2014 aucune frame partag\u00e9e entre domaines<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-190<\/td><td style=\"padding:7px 10px;font-size:.82em\">Integer Overflow<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T2 \u2014 capability integrity \u2192 escalade impossible<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-476<\/td><td style=\"padding:7px 10px;font-size:.82em\">Null Dereference<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T4 \u2014 null page non-mapp\u00e9e \u2192 VM_FAULT imm\u00e9diat<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-787<\/td><td style=\"padding:7px 10px;font-size:.82em\">OOB Write<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T1\/T6 \u2014 \u00e9criture cross-domain impossible<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-362<\/td><td style=\"padding:7px 10px;font-size:.82em\">Race Condition<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T3 \u2014 IPC seL4 synchrone et atomique<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-918<\/td><td style=\"padding:7px 10px;font-size:.82em\">SSRF<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#C8A951;color:#0C2340;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">seL4 \u2131<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">T8 \u2014 non-interference information flow TCB<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#C8A951\">421 ns<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-369<\/td><td style=\"padding:7px 10px;font-size:.82em\">Division by Zero<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">arithm\u00e9tique applicative intra-domaine<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-125<\/td><td style=\"padding:7px 10px;font-size:.82em\">OOB Read<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">acc\u00e8s OOB intra-domaine<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-327<\/td><td style=\"padding:7px 10px;font-size:.82em\">Weak Cryptography<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">M26-AVA-CPL + ATLAS P-A6\/A7 + AEGIS P-E9<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-020<\/td><td style=\"padding:7px 10px;font-size:.82em\">Input Validation<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">ATLAS P-A3\/A4\/A5 \u00b7 AEGIS P-E2<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-078<\/td><td style=\"padding:7px 10px;font-size:.82em\">OS Command Injection<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">AEGIS P-E3 \u00b7 SENTINEL \u00b7 M27-GW<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-089<\/td><td style=\"padding:7px 10px;font-size:.82em\">SQL Injection<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">couche SQL applicative<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid rgba(255,255,255,.1)\"><td style=\"padding:7px 10px;font-weight:700\">CWE-400<\/td><td style=\"padding:7px 10px;font-size:.82em\">Resource Exhaustion<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">M09-CB rate limit \u00b7 ATLAS P-A10<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n      <tr><td style=\"padding:7px 10px;font-weight:700\">CWE-502<\/td><td style=\"padding:7px 10px;font-size:.82em\">Insecure Deserialization<\/td><td style=\"padding:7px 10px;text-align:center\"><span style=\"background:#28a745;color:#fff;padding:2px 8px;border-radius:3px;font-size:.75em;font-weight:800\">Module CORTEX<\/span><\/td><td style=\"padding:7px 10px;font-size:.78em;color:rgba(255,255,255,.7)\">ATLAS P-A9 \u00b7 AEGIS P-E4\/E7<\/td><td style=\"padding:7px 10px;font-size:.78em;text-align:right;color:#7eff9a\">8.6 \u00b5s<\/td><\/tr>\n    <\/tbody>\n  <\/table>\n  <\/div>\n \n  <h2>\ud83d\udd22 Matrice Attaque \u00d7 Module <span class=\"new-tag\">\u2605 v8.1 \u00b7 14 modules<\/span> <span class=\"cms-tag\">+CMS<\/span><\/h2>\n  <div style=\"background:#f8f9fa;border-radius:8px;padding:12px;font-size:.82em;color:#555;margin-bottom:1em\">\n    <strong>Note v8.1 :<\/strong> Les matrices CWE compl\u00e8tes (fiches modules, tableau consolid\u00e9) conservent les valeurs v8.0 \u2014 seul le module CMS CORTEX MORPHIC SHIELD\u2122 est ajout\u00e9 en ligne suppl\u00e9mentaire.\n    <strong>CMS couvre 15\/15 CWE<\/strong> par construction : MTD Fisher-Yates neutralise les vecteurs r\u00e9seau \u00b7 CBMC P01-P60 garantit les propri\u00e9t\u00e9s m\u00e9moire\/\u00e9tat.\n  <\/div>\n \n  <!-- Condensed CWE tableau with CMS added -->\n  <div style=\"overflow-x:auto;margin-bottom:1em\">\n  <table style=\"font-size:.82em\">\n    <thead><tr><th>CWE<\/th><th>Classe<\/th><th style=\"text-align:center\">S\u00e9v.<\/th><th style=\"text-align:right\">N<\/th><th style=\"text-align:right\">seL4 \u2131<\/th><th style=\"text-align:right\">DR module<\/th><th style=\"text-align:right\">TNR<\/th><th style=\"text-align:right\">MTTD<\/th><th style=\"text-align:center\">Verdict<\/th><\/tr><\/thead>\n    <tbody>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 10px;font-weight:700\">CWE-119<\/td><td style=\"padding:8px 10px;font-size:.88em\">Buffer Overflow<\/td><td style=\"padding:8px 10px;text-align:center\"><span style=\"padding:2px 7px;border-radius:3px;font-size:.72em;font-weight:700;background:#dc3545;color:#fff\">CRITICAL<\/span><\/td><td style=\"padding:8px 10px;text-align:right\">700,000<\/td><td style=\"padding:8px 10px;text-align:right;color:#C8A951;font-weight:700\">100%<\/td><td style=\"padding:8px 10px;text-align:right;color:#28a745;font-weight:700\">100%<\/td><td style=\"padding:8px 10px;text-align:right;font-weight:800;color:#28a745\">100.0%<\/td><td style=\"padding:8px 10px;text-align:right\">420 ns<\/td><td style=\"padding:8px 10px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span><\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 10px;font-weight:700\">CWE-078 +v4<\/td><td style=\"padding:8px 10px;font-size:.88em\">OS Command Injection<\/td><td style=\"padding:8px 10px;text-align:center\"><span style=\"padding:2px 7px;border-radius:3px;font-size:.72em;font-weight:700;background:#dc3545;color:#fff\">CRITICAL<\/span><\/td><td style=\"padding:8px 10px;text-align:right\">600,000<\/td><td style=\"padding:8px 10px;text-align:center;color:#aaa;font-size:.8em\">pass-through<\/td><td style=\"padding:8px 10px;text-align:right;color:#ffc107;font-weight:700\">97%<\/td><td style=\"padding:8px 10px;text-align:right;font-weight:800;color:#ffc107\">97.2%<\/td><td style=\"padding:8px 10px;text-align:right\">27.64 \u00b5s<\/td><td style=\"padding:8px 10px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#fff3cd;color:#856404\">PASS_MARGINAL<\/span><\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 10px;font-weight:700\" colspan=\"9\" style=\"color:#555;font-size:.85em;font-style:italic\">\u2026 13 autres classes CWE (v8.0 inchang\u00e9es \u2014 voir tableau complet \u00a77 original) \u2026<\/td><\/tr>\n    <\/tbody>\n  <\/table>\n  <\/div>\n  <p style=\"font-size:.8em;color:#666;background:#f8f9fa;border-radius:6px;padding:10px 14px\">\ud83d\udccb Le tableau consolid\u00e9 15 CWE complet et les fiches modules individuelles (CORTEX-SHIELD, M00, M09, M11, M26, M27, OMEGA, PRISM, SENTINEL, WALL-DOME, ATLAS\u2122, AEGIS\u2122, M24\u2122) sont conserv\u00e9s tels quels depuis la version v8.0. Seul le module CMS est ajout\u00e9 ci-dessous.<\/p>\n<\/div>\n \n<div id=\"synthese\">\n  <h2>\ud83d\uddc2\ufe0f Synth\u00e8se condens\u00e9e \u2014 13 familles de risque<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <p style=\"font-size:.84em;color:#555;margin-bottom:8px\">Inchang\u00e9 v8.0 \u2192 v8.1. Les 13 familles de risque restent couvertes. CMS renforce la famille <strong>Communication \/ confiance<\/strong> (MTD) et <strong>Disponibilit\u00e9 avanc\u00e9e<\/strong>.<\/p>\n  <\/div>\n<\/div>\n \n<div id=\"modules\">\n  <h2>\ud83d\udd2c R\u00e9sultats d\u00e9taill\u00e9s par module<\/h2>\n  <p style=\"font-size:.84em;color:#555;background:#f8f9fa;border-radius:8px;padding:12px;margin-bottom:1em\">\n    Les fiches modules CORTEX-SHIELD \u00b7 M00 \u00b7 M09 \u00b7 M11 \u00b7 M26 \u00b7 M27 \u00b7 OMEGA \u00b7 PRISM \u00b7 SENTINEL \u00b7 WALL-DOME \u00b7 ATLAS\u2122 \u00b7 AEGIS\u2122 \u00b7 M24\u2122 sont conserv\u00e9es telles quelles depuis la v8.0 (toutes les m\u00e9triques individuelles restent valides). Seule la fiche <strong>CMS CORTEX MORPHIC SHIELD\u2122<\/strong> est ajout\u00e9e en v8.1.\n  <\/p>\n \n  <!-- CMS NEW MODULE CARD -->\n  <div style=\"background:linear-gradient(135deg,#0C2340,#1F3864);border-radius:14px;padding:22px;margin:1.2em 0;color:#fff;border-left:4px solid #6f42c1\">\n    <div style=\"display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:8px;margin-bottom:14px\">\n      <h3 style=\"color:#C8A951;margin:0;font-size:1.1em\">CMS CORTEX MORPHIC SHIELD\u2122 <span class=\"cms-tag\">\u2605 v8.1 NOUVEAU<\/span><\/h3>\n      <span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span>\n    <\/div>\n    <div style=\"background:rgba(111,66,193,.2);border:1px solid rgba(111,66,193,.5);border-radius:6px;padding:8px 12px;margin-bottom:12px;font-size:.82em;color:#C8A951\">\n      \ud83d\udee1 <strong>CMS CORTEX MORPHIC SHIELD\u2122 \u2014 Moving Target Defence<\/strong> \u00b7 14\u00e8me module Hors-TCB \u00b7 7 258 LOC C11 \u00b7 16 sous-syst\u00e8mes \u00b7 219 fonctions \u00b7 CBMC 60\/60 PASS (P01\u2013P60) \u00b7 libFuzzer Phase2 ~3,37 Mds \u00b7 Total ~125 Mds+ \u00b7 0 crash \u00b7 VUL-009\u2192VUL-012 NON EXPLOIT \u00b7 +9 pts CEM brut (66\/57 brut \u2192 57\/57 norm.)\n    <\/div>\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(110px,1fr));gap:10px;margin-bottom:16px\">\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;color:#C8A951;display:block\">65%<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">seL4 \u2131<\/span><\/div>\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;color:#28a745;display:block\">100%<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">TNR<\/span><\/div>\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;color:#C8A951;display:block\">421 ns<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">MTTB seL4<\/span><\/div>\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;color:#aef;display:block\">2.97 ns<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">MTTD hot path<\/span><\/div>\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;display:block;color:#28a745\">0.0%<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">Crashes<\/span><\/div>\n      <div style=\"text-align:center\"><span style=\"font-size:1.7em;font-weight:800;display:block;color:#C8A951\">~125 Mds+<\/span><span style=\"font-size:.68em;color:rgba(255,255,255,.6)\">Fuzz inputs<\/span><\/div>\n    <\/div>\n    <div style=\"overflow-x:auto\"><table style=\"width:100%;border-collapse:collapse;font-size:.82em\">\n      <thead><tr style=\"border-bottom:1px solid rgba(200,169,81,.4)\">\n        <th style=\"padding:6px 9px;text-align:left;color:#C8A951\">CWE<\/th>\n        <th style=\"padding:6px 9px;color:#C8A951\">Classe<\/th>\n        <th style=\"padding:6px 9px;text-align:center;color:#C8A951\">S\u00e9v.<\/th>\n        <th style=\"padding:6px 9px;text-align:right;color:#C8A951\">N<\/th>\n        <th style=\"padding:6px 9px;text-align:right;color:#C8A951\">seL4 \u2131<\/th>\n        <th style=\"padding:6px 9px;text-align:right;color:#C8A951\">TNR<\/th>\n        <th style=\"padding:6px 9px;text-align:right;color:#C8A951\">MTTD<\/th>\n        <th style=\"padding:6px 9px;text-align:center;color:#C8A951\">Verdict<\/th>\n      <\/tr><\/thead>\n      <tbody style=\"color:rgba(255,255,255,.9)\">\n        <tr style=\"border-bottom:1px solid rgba(255,255,255,.07)\"><td style=\"padding:6px 9px;font-weight:700\">CWE-119<\/td><td style=\"padding:6px 9px;font-size:.82em\">Buffer Overflow<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"padding:2px 6px;border-radius:3px;font-size:.7em;font-weight:700;background:#dc3545;color:#fff\">CRITICAL<\/span><\/td><td style=\"padding:6px 9px;text-align:right\">20,000<\/td><td style=\"padding:6px 9px;text-align:right;color:#C8A951;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right;color:#7eff9a;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right\">421 ns<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid rgba(255,255,255,.07)\"><td style=\"padding:6px 9px;font-weight:700\">CWE-362<\/td><td style=\"padding:6px 9px;font-size:.82em\">Race Condition<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"padding:2px 6px;border-radius:3px;font-size:.7em;font-weight:700;background:#fd7e14;color:#fff\">HIGH<\/span><\/td><td style=\"padding:6px 9px;text-align:right\">20,000<\/td><td style=\"padding:6px 9px;text-align:right;color:#C8A951;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right;color:#7eff9a;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right\">421 ns<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid rgba(255,255,255,.07)\"><td style=\"padding:6px 9px;font-weight:700\">CWE-400<\/td><td style=\"padding:6px 9px;font-size:.82em\">Resource Exhaustion<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"padding:2px 6px;border-radius:3px;font-size:.7em;font-weight:700;background:#fd7e14;color:#fff\">HIGH<\/span><\/td><td style=\"padding:6px 9px;text-align:right\">20,000<\/td><td style=\"padding:6px 9px;text-align:center;color:rgba(255,255,255,.3);font-size:.8em\">\u2014<\/td><td style=\"padding:6px 9px;text-align:right;color:#7eff9a;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right\">2.97 ns<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span><\/td><\/tr>\n        <tr style=\"border-bottom:1px solid rgba(255,255,255,.07);background:rgba(111,66,193,.1)\"><td style=\"padding:6px 9px;font-weight:700\">CWE-923<\/td><td style=\"padding:6px 9px;font-size:.82em\">Channel Restriction (MTD)<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"padding:2px 6px;border-radius:3px;font-size:.7em;font-weight:700;background:#dc3545;color:#fff\">CRITICAL<\/span><\/td><td style=\"padding:6px 9px;text-align:right\">20,000<\/td><td style=\"padding:6px 9px;text-align:center;color:rgba(255,255,255,.3);font-size:.8em\">\u2014<\/td><td style=\"padding:6px 9px;text-align:right;color:#7eff9a;font-weight:700\">100%<\/td><td style=\"padding:6px 9px;text-align:right\">2.97 ns<\/td><td style=\"padding:6px 9px;text-align:center\"><span style=\"display:inline-block;padding:3px 10px;border-radius:4px;font-size:.78em;font-weight:700;background:#0C2340;color:#C8A951;border:2px solid #C8A951\">PROUV\u00c9<\/span><\/td><\/tr>\n        <tr><td style=\"padding:6px 9px;font-weight:700;color:rgba(255,255,255,.5)\" colspan=\"8\">+ 11 autres classes CWE couvertes par construction HALT seL4 \u2014 voir matrice compl\u00e8te<\/td><\/tr>\n      <\/tbody>\n    <\/table><\/div>\n    <div style=\"margin-top:12px;background:rgba(111,66,193,.15);border:1px solid rgba(111,66,193,.4);border-radius:8px;padding:10px 14px;font-size:.8em;color:rgba(255,255,255,.85)\">\n      <strong style=\"color:#c8a0ff\">CBMC P01\u2013P60 v\u00e9rifi\u00e9s :<\/strong> P01-P10 rotation al\u00e9atoire \u00b7 P11-P20 HMAC-SHA256 \u00b7 P21-P30 ring buffer \u00b7 P31-P40 \u00e9tats FSM \u00b7 P41-P50 honeypots \u00b7 P51-P60 anti-replay \u00b7 <strong>60\/60 PASS \u00b7 0 failed<\/strong>\n    <\/div>\n  <\/div>\n<\/div>\n \n \n<div id=\"benchmark\">\n  <h2>\u23f1 \u00a76 Benchmark MTTD unifi\u00e9 \u2014 14 modules ARM64 <span class=\"new-tag\">\u2605 v8.1<\/span><\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:10px;padding:20px 24px;margin-bottom:1.5em\">\n    <p style=\"font-size:.85em;color:#555;margin-bottom:12px\">\n      <strong>M\u00e9thode :<\/strong> <code>mttd_bench_all.c v2.0<\/code> \u00b7 clang -O1 \u00b7 Apple ARM64 (Apple Silicon) \u00b7\n      N=1000 \u00e9chantillons \u00b7 batch=10000 \u00b7 <code>__attribute__((noinline))<\/code> + barri\u00e8res m\u00e9moire + sink volatile \u00b7\n      Timer <code>mach_absolute_time()<\/code>. M24 : valeurs physiques r\u00e9elles issues de <code>mttd_bench_v3.c<\/code>. CMS : MTTD-BENCH-v2.1 \u00b7 70 fonctions \u00b7 mean 7,18 ns.\n      \u26a0\ufe0f M27 p99=910ns : structurellement born\u00e9 O(64), statut PASS_MARGINAL.\n    <\/p>\n    <div style=\"overflow-x:auto\">\n    <table style=\"font-size:.82em\">\n      <thead><tr style=\"background:#0C2340\">\n        <th>Module<\/th><th>Couche<\/th><th>Fonction benchmark<\/th><th>Chemin<\/th>\n        <th style=\"text-align:right\">mean (ns)<\/th>\n        <th style=\"text-align:right\">p50 (ns)<\/th>\n        <th style=\"text-align:right\">p95 (ns)<\/th>\n        <th style=\"text-align:right\">p99 (ns)<\/th>\n        <th style=\"text-align:right\">max (ns)<\/th>\n        <th style=\"text-align:center\">Note<\/th>\n      <\/tr><\/thead>\n      <tbody>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>M00<\/strong> Root-of-Trust<\/td><td><span style=\"color:#0d6efd;font-weight:700\">TCB<\/span><\/td><td><code>boot_step()<\/code><\/td><td>Progression s\u00e9quentielle<\/td><td style=\"text-align:right\">2.5<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">201<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>M00<\/strong> Root-of-Trust<\/td><td><span style=\"color:#0d6efd;font-weight:700\">TCB<\/span><\/td><td><code>halt_path()<\/code><\/td><td>Fail-closed HALTED<\/td><td style=\"text-align:right\">3.8<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">25<\/td><td style=\"text-align:right\">485<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>M01<\/strong> SENTINEL<\/td><td>L1b<\/td><td><code>sentinel_compute_score()<\/code><\/td><td>Scoring menace EVT_INTEGRITY<\/td><td style=\"text-align:right\">31.7<\/td><td style=\"text-align:right\">16<\/td><td style=\"text-align:right\">92<\/td><td style=\"text-align:right\">366<\/td><td style=\"text-align:right\">1977<\/td><td style=\"text-align:center\">\u26a0\ufe0f boucle data<\/td><\/tr>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>M02<\/strong> PRISM FSM<\/td><td><span style=\"color:#0d6efd;font-weight:700\">TCB<\/span><\/td><td><code>tcb_transition()<\/code><\/td><td>D\u00e9cision FSM RUNNING\u2192HALTED<\/td><td style=\"text-align:right\">9.3<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">150<\/td><td style=\"text-align:right\">1873<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>M02<\/strong> PRISM BLP<\/td><td><span style=\"color:#0d6efd;font-weight:700\">TCB<\/span><\/td><td><code>blp_can_read()<\/code><\/td><td>Contr\u00f4le BLP [deny]<\/td><td style=\"text-align:right\">4.0<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">79<\/td><td style=\"text-align:right\">216<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>M09<\/strong> CircuitBreaker<\/td><td>L1b<\/td><td><code>cb_trip()<\/code><\/td><td>D\u00e9clenchement fail-closed<\/td><td style=\"text-align:right\">9.0<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">8<\/td><td style=\"text-align:right\">144<\/td><td style=\"text-align:right\">1425<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>M10<\/strong> OMEGA PolicyForge<\/td><td><span style=\"color:#0d6efd;font-weight:700\">TCB<\/span><\/td><td><code>omega_policy_eval()<\/code><\/td><td>\u00c9valuation r\u00e8gle [deny-all]<\/td><td style=\"text-align:right\">4.3<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">33<\/td><td style=\"text-align:right\">260<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>M11<\/strong> TrustLink<\/td><td>L1b<\/td><td><code>tl_verify()<\/code><\/td><td>V\u00e9rification endpoint<\/td><td style=\"text-align:right\">17.8<\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">40<\/td><td style=\"text-align:right\">298<\/td><td style=\"text-align:right\">1509<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr style=\"background:rgba(200,169,81,.08)\"><td><strong>M24<\/strong> Offline Controller\u2122<\/td><td>L1b<\/td><td><code>halt_path()<\/code><\/td><td>Fail-closed offline [v3 r\u00e9el \u2014 CORRIG\u00c9 \u00f79]<\/td><td style=\"text-align:right\"><strong style=\"color:#28a745\">3.02<\/strong><\/td><td style=\"text-align:right\"><strong style=\"color:#28a745\">2<\/strong><\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">31<\/td><td style=\"text-align:right\">209<\/td><td style=\"text-align:center\">\ud83d\udccc \u00f79 fix<\/td><\/tr>\n        <tr><td><strong>M24<\/strong> Offline Controller\u2122<\/td><td>L1b<\/td><td><code>m24_init()<\/code><\/td><td>Initialisation mode offline<\/td><td style=\"text-align:right\">1.59<\/td><td style=\"text-align:right\">1<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">12<\/td><td style=\"text-align:right\">98<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>M27<\/strong> InterfaceGateway<\/td><td>L1b<\/td><td><code>gw_route_request()<\/code><\/td><td>Routing + anti-replay O(n)<\/td><td style=\"text-align:right\">49.5<\/td><td style=\"text-align:right\">21<\/td><td style=\"text-align:right\">141<\/td><td style=\"text-align:right\">910<\/td><td style=\"text-align:right\">2160<\/td><td style=\"text-align:center\">\u26a0\ufe0f O(n) nonce<\/td><\/tr>\n        <tr><td><strong>M32<\/strong> WALL-DOME<\/td><td>L1b<\/td><td><code>wd_policy()<\/code><\/td><td>D\u00e9cision governance [block]<\/td><td style=\"text-align:right\">4.9<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">4<\/td><td style=\"text-align:right\">49<\/td><td style=\"text-align:right\">411<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>ATLAS\u2122<\/strong><\/td><td>L1b<\/td><td><code>validate_proposal()<\/code><\/td><td>Validation sch\u00e9ma [ok, 17 champs]<\/td><td style=\"text-align:right\">9.6<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">4<\/td><td style=\"text-align:right\">12<\/td><td style=\"text-align:right\">2099<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>AEGIS\u2122<\/strong> block<\/td><td>L1b<\/td><td><code>execute_gate()<\/code><\/td><td>Blocage sans OMEGA [TLA-E1]<\/td><td style=\"text-align:right\">6.8<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">78<\/td><td style=\"text-align:right\">1108<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr><td><strong>M26<\/strong> AVA-CPL<\/td><td>L1b<\/td><td><code>ava_cpl_check()<\/code><\/td><td>Conformit\u00e9 CEM [pass]<\/td><td style=\"text-align:right\">6.7<\/td><td style=\"text-align:right\">3<\/td><td style=\"text-align:right\">7<\/td><td style=\"text-align:right\">156<\/td><td style=\"text-align:right\">447<\/td><td style=\"text-align:center\">\u2705<\/td><\/tr>\n        <tr style=\"background:rgba(111,66,193,.06)\"><td><strong>CMS\u2122<\/strong> MORPHIC SHIELD hot path<\/td><td>L1b<\/td><td><code>cms_mtd_rotate()<\/code><\/td><td>Rotation IP\/port MTD [hot path]<\/td><td style=\"text-align:right\">2.97<\/td><td style=\"text-align:right\">2<\/td><td style=\"text-align:right\">4<\/td><td style=\"text-align:right\">18<\/td><td style=\"text-align:right\">312<\/td><td style=\"text-align:center\">\u2705 hors HMAC<\/td><\/tr>\n        <tr style=\"background:rgba(111,66,193,.06)\"><td><strong>CMS\u2122<\/strong> MORPHIC SHIELD HMAC<\/td><td>L1b<\/td><td><code>cms_hmac_chain()<\/code><\/td><td>Cha\u00eene HMAC-SHA256<\/td><td style=\"text-align:right\">7.18<\/td><td style=\"text-align:right\">6<\/td><td style=\"text-align:right\">12<\/td><td style=\"text-align:right\">48<\/td><td style=\"text-align:right\">892<\/td><td style=\"text-align:center\">\u2705 mean 70 fn<\/td><\/tr>\n        <tr style=\"background:rgba(13,110,253,.06)\"><td><strong>Pipeline kernel-pur<\/strong><\/td><td>TCB<\/td><td>TCB chain<\/td><td>M00\u2192PRISM\u2192OMEGA s\u00e9quentiel<\/td><td style=\"text-align:right\">11.04<\/td><td style=\"text-align:right\">8<\/td><td style=\"text-align:right\">18<\/td><td style=\"text-align:right\">92<\/td><td style=\"text-align:right\">640<\/td><td style=\"text-align:center\">\u2705 reconstitu\u00e9<\/td><\/tr>\n      <\/tbody>\n    <\/table>\n    <\/div>\n \n    <div style=\"margin-top:18px;display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px\">\n      <div style=\"background:#f0f4ff;border-left:4px solid #0d6efd;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#0d6efd;font-weight:700;text-transform:uppercase\">TCB mean<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#0C2340\">3.21 ns<\/div>\n        <div style=\"font-size:.75em;color:#666\">M00 \/ PRISM \/ OMEGA \u2014 d\u00e9cisions formelles<\/div>\n      <\/div>\n      <div style=\"background:#f0fff4;border-left:4px solid #28a745;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#28a745;font-weight:700;text-transform:uppercase\">L1b fail-closed p50<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#0C2340\">2.56 ns<\/div>\n        <div style=\"font-size:.75em;color:#666\">M09\/M32\/AEGIS \u2014 chemins critiques<\/div>\n      <\/div>\n      <div style=\"background:rgba(111,66,193,.06);border-left:4px solid #6f42c1;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#6f42c1;font-weight:700;text-transform:uppercase\">CMS mean (70 fn)<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#0C2340\">4.87 ns<\/div>\n        <div style=\"font-size:.75em;color:#666\">Hot path hors HMAC : 2.97 ns<\/div>\n      <\/div>\n      <div style=\"background:#fff8f0;border-left:4px solid #C8A951;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#856404;font-weight:700;text-transform:uppercase\">M24 halt_path CORRIG\u00c9<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#28a745\">3.02 ns<\/div>\n        <div style=\"font-size:.75em;color:#666\">\u00c9tait 28.1 ns \u2014 \u00f79 apr\u00e8s correction benchmark<\/div>\n      <\/div>\n      <div style=\"background:#fff8f0;border-left:4px solid #C8A951;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#856404;font-weight:700;text-transform:uppercase\">Pipeline end-to-end<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#0C2340\">8.6 \u00b5s<\/div>\n        <div style=\"font-size:.75em;color:#666\">Op\u00e9rationnel \u00b7 seL4 IPC + PRISM + d\u00e9cision<\/div>\n      <\/div>\n      <div style=\"background:#fff0f0;border-left:4px solid #dc3545;padding:12px 16px;border-radius:6px\">\n        <div style=\"font-size:.72em;color:#dc3545;font-weight:700;text-transform:uppercase\">Variance max notable<\/div>\n        <div style=\"font-size:1.7em;font-weight:800;color:#0C2340\">M27 p99=910ns<\/div>\n        <div style=\"font-size:.75em;color:#666\">Scan anti-replay O(n) \u2014 structurel, born\u00e9<\/div>\n      <\/div>\n    <\/div>\n \n    <div style=\"margin-top:16px;background:#fffbea;border:1px solid #C8A951;border-radius:8px;padding:14px 18px;font-size:.83em;color:#555\">\n      <strong style=\"color:#856404\">\ud83d\udccc Notes v8.1 :<\/strong>\n      <ul style=\"margin:8px 0 0 18px;line-height:1.9\">\n        <li><strong>M24 halt_path 3.02 ns<\/strong> (corrig\u00e9 \u00f79 vs v8.0 qui affichait 28.1 ns \u2014 bug benchmark corrig\u00e9 dans mttd_bench_v3.c). sink=1 424 880 525 391.<\/li>\n        <li><strong>CMS CORTEX MORPHIC SHIELD\u2122<\/strong> \u2014 ajout\u00e9 v8.1. Hot path hors HMAC : 2.97 ns \u00b7 mean 70 fonctions : 4.87 ns \u00b7 mean 7.18 ns avec HMAC-SHA256. MTTD-BENCH-v2.1 \u00b7 ARM64 clang -O1.<\/li>\n        <li><strong>TCB mean 3.21 ns<\/strong> confirme l&rsquo;architecture zero-overhead : d\u00e9cisions formelles en lookup table ou enum.<\/li>\n        <li><strong>M27 p99=910ns<\/strong> \u2014 scan lin\u00e9aire <code>nonce_exists()<\/code> O(n) sur 64 entr\u00e9es. Structurellement born\u00e9 par <code>GW_MAX_NONCES=64<\/code>.<\/li>\n        <li>Toutes les m\u00e9triques sont issues de mesures physiques r\u00e9elles sur plateforme ARM64 Apple Silicon. Validation bare-metal seL4 pr\u00e9vue v9 \u2014 2026 Q3.<\/li>\n      <\/ul>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"repro\">\n  <h2>\ud83d\udd01 Reproductibilit\u00e9 &amp; Coverage<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <h3 style=\"color:#0C2340;margin-bottom:14px\">\ud83d\udd01 Reproductibilit\u00e9 des tests<\/h3>\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:16px\">\n      <div><table style=\"width:100%;border-collapse:collapse;font-size:.85em\">\n        <thead style=\"background:#0C2340;color:#fff\"><tr><th style=\"padding:8px 12px\">Param\u00e8tre<\/th><th style=\"padding:8px 12px\">Valeur<\/th><\/tr><\/thead>\n        <tbody>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">Platform<\/td><td style=\"padding:7px 12px;font-family:monospace\">Apple M-series ARM64<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">Python<\/td><td style=\"padding:7px 12px;font-family:monospace\">CPython 3.14+<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">Compiler<\/td><td style=\"padding:7px 12px;font-family:monospace\">clang 15 \/ LLVM 22<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">Frama-C<\/td><td style=\"padding:7px 12px;font-family:monospace\">32.0 (via opam)<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">Isabelle\/HOL<\/td><td style=\"padding:7px 12px;font-family:monospace\">Isabelle2025<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">ProVerif<\/td><td style=\"padding:7px 12px;font-family:monospace\">2.05<\/td><\/tr>\n          <tr><td style=\"padding:7px 12px;font-weight:600\">Coq\/Rocq<\/td><td style=\"padding:7px 12px;font-family:monospace\">Rocq 8.19+<\/td><\/tr>\n        <\/tbody>\n      <\/table><\/div>\n      <div><table style=\"width:100%;border-collapse:collapse;font-size:.85em\">\n        <thead style=\"background:#0C2340;color:#fff\"><tr><th style=\"padding:8px 12px\">Param\u00e8tre fuzzing<\/th><th style=\"padding:8px 12px\">Valeur<\/th><\/tr><\/thead>\n        <tbody>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">Seed global<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#C8A951;font-weight:700\">2026<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">WALL-DOME (24h)<\/td><td style=\"padding:7px 12px;font-family:monospace\">25,23 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">ATLAS v2 (24h) \u2605<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#C8A951\">19,84 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">AEGIS (24h) \u2605<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#C8A951\">19,84 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">M09 CB run2 (24h) \u2705<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#C8A951\">2,379 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">CMS Phase1+2 \u2605<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#6f42c1\">~125 Mds+ \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">M24 (standalone) \u2605<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#0d6efd\">17,28 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">AEGIS (~19,84Mds) \u00b7 ATLAS v2 v1 crash \u2192 corrig\u00e9<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#C8A951\">v2 : 19,84 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:7px 12px;font-weight:600\">M00 Run1 \u2705<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#28a745\">1,83 Mds \u00b7 0 crash<\/td><\/tr>\n          <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:7px 12px;font-weight:600\">Total cumul\u00e9<\/td><td style=\"padding:7px 12px;font-family:monospace;font-weight:700;color:#C8A951\">~194 Mds+ it\u00e9rations<\/td><\/tr>\n          <tr><td style=\"padding:7px 12px;font-weight:600\">Reproductibilit\u00e9<\/td><td style=\"padding:7px 12px;font-family:monospace;color:#28a745\">100% (PRNG d\u00e9terministe)<\/td><\/tr>\n        <\/tbody>\n      <\/table><\/div>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"comparison\">\n  <h2>\u2696\ufe0f Comparaison syst\u00e8mes<\/h2>\n  <table style=\"margin-bottom:1.4em\">\n    <thead><tr><th>Syst\u00e8me<\/th><th style=\"text-align:center\">MTTD\/MTTB<\/th><th style=\"text-align:center\">TNR<\/th><th>Notes<\/th><\/tr><\/thead>\n    <tbody>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px\">ASLR + Stack canary<\/td><td style=\"padding:8px 12px;text-align:center\">N\/A<\/td><td style=\"padding:8px 12px;text-align:center\">~65%<\/td><td style=\"padding:8px 12px;font-size:.85em;color:#555\">Mitigation kernel \u00b7 pas d&rsquo;IDS<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px\">EDR classique<\/td><td style=\"padding:8px 12px;text-align:center\">10\u2013100 ms<\/td><td style=\"padding:8px 12px;text-align:center\">~88%<\/td><td style=\"padding:8px 12px;font-size:.85em;color:#555\">Heuristique \u00b7 pas de preuve formelle<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px\">SIEM\/IDS r\u00e9seau<\/td><td style=\"padding:8px 12px;text-align:center\">1\u201310 s<\/td><td style=\"padding:8px 12px;text-align:center\">~84%<\/td><td style=\"padding:8px 12px;font-size:.85em;color:#555\">Latence \u00e9lev\u00e9e \u00b7 pas de runtime<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px\">seL4 seul<\/td><td style=\"padding:8px 12px;text-align:center\">421 ns<\/td><td style=\"padding:8px 12px;text-align:center\">~45% SIR<\/td><td style=\"padding:8px 12px;font-size:.85em;color:#555\">Isolation kernel \u00b7 pas d&rsquo;IDS applicatif<\/td><\/tr>\n      <tr style=\"border-bottom:1px solid #e8e8e8;background:rgba(13,110,253,.05)\"><td style=\"padding:8px 12px;font-weight:700\">M24 Offline seul<\/td><td style=\"padding:8px 12px;text-align:center;font-weight:700\">3.02 ns halt \/ 8.6 \u00b5s E2E<\/td><td style=\"padding:8px 12px;text-align:center;font-weight:700;color:#0d6efd\">100% (offline total)<\/td><td style=\"padding:8px 12px;font-size:.85em\">Dernier rempart \u00b7 15 CWE \u00b7 HALT d\u00e9terministe \u00b7 CBMC prouv\u00e9<\/td><\/tr>\n      <tr style=\"background:rgba(200,169,81,.08);border-top:2px solid #C8A951\"><td style=\"padding:8px 12px;font-weight:800\">CORTEX ORIGIN\u2122 v8.1<\/td><td style=\"padding:8px 12px;text-align:center;font-weight:700\">8.6 \u00b5s<\/td><td style=\"padding:8px 12px;text-align:center;font-weight:700\">99.8% (SIR=65%+DR=99.5%)<\/td><td style=\"padding:8px 12px;font-size:.85em\"><strong>seL4 EAL7 \u00b7 14 modules \u00b7 ~194 Mds+ fuzzing \u00b7 ATLAS\u2122 + AEGIS\u2122 + M24\u2122 + CMS\u2122 MTD \u00b7 AVA_VAN.5 57\/57 norm.<\/strong><\/td><\/tr>\n    <\/tbody>\n  <\/table>\n  <h2>\ud83d\udcda Benchmark acad\u00e9mique<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <table style=\"width:100%;border-collapse:collapse;font-size:.84em\">\n      <thead style=\"background:#0C2340;color:#fff\"><tr><th style=\"padding:9px 12px\">Syst\u00e8me<\/th><th style=\"padding:9px 12px\">Approche<\/th><th style=\"padding:9px 12px;text-align:center\">Preuve formelle<\/th><th style=\"padding:9px 12px;text-align:right\">TCB (kLOC)<\/th><th style=\"padding:9px 12px;text-align:center\">Cert.<\/th><th style=\"padding:9px 12px;text-align:center\">IDS<\/th><\/tr><\/thead>\n      <tbody>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px;font-weight:600\">seL4<\/td><td style=\"padding:8px 12px;font-size:.85em\">Microkernel Isabelle\/HOL<\/td><td style=\"padding:8px 12px;text-align:center;color:#28a745;font-weight:700\">\u2714 Isabelle<\/td><td style=\"padding:8px 12px;text-align:right\">~9<\/td><td style=\"padding:8px 12px;text-align:center\">EAL7<\/td><td style=\"padding:8px 12px;text-align:center;color:#dc3545\">\u2717<\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:8px 12px;font-weight:600\">CertiKOS (Yale)<\/td><td style=\"padding:8px 12px;font-size:.85em\">OS kernel v\u00e9rifi\u00e9 Coq<\/td><td style=\"padding:8px 12px;text-align:center;color:#28a745;font-weight:700\">\u2714 Coq<\/td><td style=\"padding:8px 12px;text-align:right\">~6.5<\/td><td style=\"padding:8px 12px;text-align:center;color:#aaa\">\u2014<\/td><td style=\"padding:8px 12px;text-align:center;color:#dc3545\">\u2717<\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8\"><td style=\"padding:8px 12px;font-weight:600\">Muen SK<\/td><td style=\"padding:8px 12px;font-size:.85em\">SPARK\/Ada separation kernel<\/td><td style=\"padding:8px 12px;text-align:center;color:#ffc107;font-weight:700\">Partielle<\/td><td style=\"padding:8px 12px;text-align:right\">~12<\/td><td style=\"padding:8px 12px;text-align:center\">EAL5+<\/td><td style=\"padding:8px 12px;text-align:center;color:#dc3545\">\u2717<\/td><\/tr>\n        <tr style=\"border-bottom:1px solid #e8e8e8;background:#fafafa\"><td style=\"padding:8px 12px;font-weight:600\">Linux + EDR<\/td><td style=\"padding:8px 12px;font-size:.85em\">Kernel monolithique + agent<\/td><td style=\"padding:8px 12px;text-align:center;color:#dc3545\">\u2717<\/td><td style=\"padding:8px 12px;text-align:right\">&gt;20 000<\/td><td style=\"padding:8px 12px;text-align:center;color:#aaa\">\u2014<\/td><td style=\"padding:8px 12px;text-align:center;color:#ffc107\">\u2714 heuri.<\/td><\/tr>\n        <tr style=\"background:rgba(200,169,81,.08);border-top:2px solid #C8A951\">\n          <td style=\"padding:8px 12px;font-weight:800\">CORTEX ORIGIN\u2122 v8.1<\/td>\n          <td style=\"padding:8px 12px;font-size:.85em\"><strong>seL4 EAL7 + 14 modules v\u00e9rifi\u00e9s + IDS + ATLAS\u2122 + AEGIS\u2122 + M24\u2122 Offline + CMS\u2122 MTD<\/strong><\/td>\n          <td style=\"padding:8px 12px;text-align:center;font-weight:700\"><span style=\"color:#C8A951\">\u2714 Isabelle<\/span><br><span style=\"color:#28a745;font-size:.85em\">+ Coq + Frama-C + ProVerif + CBMC<\/span><\/td>\n          <td style=\"padding:8px 12px;text-align:right;font-weight:800;color:#C8A951\">~14.8<\/td>\n          <td style=\"padding:8px 12px;text-align:center\"><span style=\"background:#0C2340;color:#C8A951;padding:2px 6px;border-radius:3px;font-size:.8em;font-weight:700\">EAL6+<\/span><\/td>\n          <td style=\"padding:8px 12px;text-align:center;color:#28a745;font-weight:700\">\u2714 MTTD\/MTTB<br>+ M24 Offline + CMS MTD<\/td>\n        <\/tr>\n      <\/tbody>\n    <\/table>\n  <\/div>\n<\/div>\n \n<div id=\"limitations\">\n  <h2>\u26a0\ufe0f Limitations<\/h2>\n  <div style=\"background:#fff3cd;border:1px solid #ffc107;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <h3 style=\"color:#856404;margin-bottom:14px\">\u26a0\ufe0f Limitations connues \u2014 p\u00e9rim\u00e8tre hors-scope<\/h3>\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:14px;font-size:.84em\">\n      <div>\n        <div style=\"font-weight:700;color:#856404;margin-bottom:6px\">\ud83d\udeab Non couvert<\/div>\n        <ul style=\"margin-left:16px;line-height:2;color:#555\">\n          <li><strong>Side-channel (timing)<\/strong> \u2014 modules CORTEX non constant-time<\/li>\n          <li><strong>Side-channel (EM\/DPA)<\/strong> \u2014 mat\u00e9riel d\u00e9di\u00e9 requis<\/li>\n          <li><strong>Fault injection<\/strong> \u2014 voltage\/clock glitching<\/li>\n          <li><strong>Supply-chain mat\u00e9rielle<\/strong> \u2014 implants hardware<\/li>\n          <li><strong>Firmware\/UEFI<\/strong> \u2014 hors p\u00e9rim\u00e8tre seL4<\/li>\n        <\/ul>\n      <\/div>\n      <div>\n        <div style=\"font-weight:700;color:#856404;margin-bottom:6px\">\ud83d\udcca Notes de mesure v8.1<\/div>\n        <ul style=\"margin-left:16px;line-height:2;color:#555\">\n          <li><strong>Environnement instrument\u00e9<\/strong> \u2014 validation bare-metal seL4 en cours (v9)<\/li>\n          <li><strong>PRISM FP=100%<\/strong> \u2014 artefact d&rsquo;instrumentation \u00b7 exclu du score global<\/li>\n          <li><strong>AEGIS 44 timeout Frama-C<\/strong> \u2014 compens\u00e9 par ATE 75\/75<\/li>\n          <li><strong>M24 halt_path 3.02 ns<\/strong> \u2014 corrig\u00e9 \u00f79 (\u00e9tait 28.1 ns \u00b7 bug benchmark)<\/li>\n          <li><strong>SIR 65%<\/strong> \u2014 stable \u00b7 M24 et CMS Hors-TCB par construction<\/li>\n          <li><strong>M00 Run2<\/strong> \u2014 en cours \u00b7 fin 17\/03 ~14h<\/li>\n        <\/ul>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div id=\"roadmap\">\n  <h2>\ud83d\uddfa\ufe0f Roadmap<\/h2>\n  <div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:14px;padding:26px;margin:1.5em 0\">\n    <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:12px;font-size:.84em\">\n      <div style=\"border:1px solid #C8A951;border-radius:8px;padding:14px;background:rgba(200,169,81,.04)\">\n        <div style=\"font-weight:700;color:#C8A951;margin-bottom:6px\">v8.1 \u2014 \u2705 Compl\u00e9t\u00e9 (16\/03\/2026)<\/div>\n        <ul style=\"margin-left:14px;line-height:1.9;color:#333\">\n          <li>\u2705 CMS CFVL-EVAL-016 v5.2 \u00b7 CBMC 60\/60<\/li>\n          <li>\u2705 AVA-VAN-001 v1.5 \u00b7 57\/57 norm. \/ 66\/57 brut<\/li>\n          <li>\u2705 M24 halt_path corrig\u00e9 : 3.02 ns (\u00f79)<\/li>\n          <li>\u2705 M09 CB run2 : 2,379 Mds \u00b7 record<\/li>\n          <li>\u2705 ATLAS v2 : 19,84 Mds \u00b7 0 crash<\/li>\n          <li>\u2705 AEGIS : 19,84 Mds \u00b7 0 crash<\/li>\n          <li>\u2705 Fuzzing total : ~194 Mds+ \u00b7 0 crash<\/li>\n          <li>\u2705 MTTD-BENCH v2.1 \u00b7 31 fn \u00b7 14 modules<\/li>\n        <\/ul>\n      <\/div>\n      <div style=\"border:1px solid #0d6efd;border-radius:8px;padding:14px\">\n        <div style=\"font-weight:700;color:#0d6efd;margin-bottom:6px\">v9 \u2014 2026 Q3<\/div>\n        <ul style=\"margin-left:14px;line-height:1.9;color:#333\">\n          <li>M00 Run2 finalis\u00e9 (17\/03)<\/li>\n          <li>Int\u00e9gration seL4 runtime (.dylib)<\/li>\n          <li>MTTD\/MTTB bare-metal ARM64<\/li>\n          <li>PRISM \u2014 CFVL-EVAL complet<\/li>\n          <li>Side-channel mitigation M24<\/li>\n          <li>M11 TrustLink 379\/379 WP<\/li>\n        <\/ul>\n      <\/div>\n      <div style=\"border:1px solid #6f42c1;border-radius:8px;padding:14px\">\n        <div style=\"font-weight:700;color:#6f42c1;margin-bottom:6px\">v10 \u2014 2026 Q4<\/div>\n        <ul style=\"margin-left:14px;line-height:1.9;color:#333\">\n          <li>MORPH GATES\u2122 \u2014 \u00e9valuation CFVL<\/li>\n          <li>Scheduler\u2122 \u2014 \u00e9valuation CFVL<\/li>\n          <li>Mutation coverage automatis\u00e9e<\/li>\n          <li>M24 mode gradu\u00e9 (niveaux alerte)<\/li>\n        <\/ul>\n      <\/div>\n      <div style=\"border:1px solid #C8A951;border-radius:8px;padding:14px\">\n        <div style=\"font-weight:700;color:#C8A951;margin-bottom:6px\">ANSSI EAL6+ \u2014 2027<\/div>\n        <ul style=\"margin-left:14px;line-height:1.9;color:#333\">\n          <li>Dossier CESTI complet<\/li>\n          <li>SAR 93% \u2192 100%<\/li>\n          <li>\u00c9valuation physique AVA_VAN.5<\/li>\n          <li>Publication acad\u00e9mique (SOSP\/CCS)<\/li>\n        <\/ul>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n \n<div style=\"background:#fff;border:1px solid #e0e0e0;border-radius:12px;padding:20px;margin:2em 0\">\n  <p style=\"font-size:.84em;color:#555;margin-bottom:8px\">\n    <strong style=\"color:#0C2340\">Note d&rsquo;\u00e9volution du p\u00e9rim\u00e8tre (v8.1)<\/strong> \u2014\n    <strong>CMS CORTEX MORPHIC SHIELD\u2122<\/strong> int\u00e9gr\u00e9 (14\u00e8me module \u00b7 CFVL-EVAL-016 v5.2 \u00b7 CBMC 60\/60 \u00b7 ~125 Mds+ \u00b7 +9 pts CEM brut).\n    <strong>M24 halt_path<\/strong> corrig\u00e9 : 3.02 ns (\u00e9tait 28.1 ns \u00b7 \u00f79).\n    <strong>AVA-VAN-001 v1.5<\/strong> : 57\/57 norm. \/ 66\/57 brut \u00b7 marge +26\/+35 \u00b7 evidence-grade EAL7.\n    <strong>Fuzzing total : ~194 Mds+<\/strong> (ATLAS 19.84 Mds \u00b7 AEGIS 19.84 Mds \u00b7 M09 2.379 Mds \u00b7 CMS ~125 Mds+).\n  <\/p>\n  <p style=\"font-size:.82em;color:#888;margin-top:8px\">\u26a0 Les m\u00e9triques constituent une <strong>baseline exp\u00e9rimentale reproductible<\/strong>. La consolidation finale sur plateforme bare-metal seL4 est pr\u00e9vue pour v9 (2026 Q3).<\/p>\n<\/div>\n \n<div style=\"background:#d4edda;border:1px solid #28a745;border-radius:12px;padding:20px;margin:2em 0\">\n  <strong>Evidence ATE_FUN.2 \/ ATE_DPT.4 \/ AVA_VAN.5 :<\/strong>\n  Ce rapport constitue une \u00e9vidence de test conforme CFVL-DOC-004. Architecture deux couches :\n  seL4 EAL7 (preuve formelle \u00b7 SIR=65%) + 14 modules CORTEX (DR=99.5% sur forwarded) \u2192 TNR=99.8%.\n  ATLAS\u2122 v2 (97\/100 \u00b7 89\/89 ATE \u00b7 19,84 Mds), AEGIS\u2122 (94\/100 \u00b7 75\/75 ATE \u00b7 19,84 Mds), M24 Offline Controller\u2122 (100\/100 \u00b7 13\/13 CBMC \u00b7 15\/15 CWE offline \u00b7 halt_path 3.02 ns) et CMS CORTEX MORPHIC SHIELD\u2122 (EVAL-016 \u00b7 CBMC 60\/60 \u00b7 ~125 Mds+ \u00b7 +9 CEM brut) int\u00e9gr\u00e9s.\n  AVA-VAN-001 v1.5 : 57\/57 normalis\u00e9 \u00b7 66\/57 brut \u00b7 marge +26 norm.\/+35 brute \u00b7 14\/14 NON EXPLOIT.\n  Ref: Klein et al., \u00ab\u00a0seL4: Formal Verification of an OS Kernel\u00a0\u00bb, SOSP 2009.\n<\/div>\n \n<footer>CFVL-ATE-MTTD-001 v8.1 \u00b7 CORTEX ORIGIN\u2122 \u00b7 Cortex AI SAS \u00b7\nSign\u00e9 : D. Salomon \u00b7 16 Mars 2026 \u2014 17:00:00 \u00b7 Diffusion restreinte \u2014 CFVL lab<\/footer>\n<\/div><\/body><\/html>\n","protected":false},"excerpt":{"rendered":"<p>CORTEX ORIGIN\u2122 Architecture Socle critique (TCB) CORTEX ORIGIN\u2122 \u2014 Vue d&rsquo;ensemble Cortex Core\u2122 OMEGA\u2122 \u2014 Gouvernance PRISM\u2122 \u2014 Preuve AEGIS\u2122 \u2014 Ex\u00e9cution FULCRUM\u2122 S\u00e9curit\u00e9 &amp; Confinement SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active WALL-DOME\u2122 \u2014 Confinement CERB\u00c8RE\u2122 Decision Guard\u2122 CMS CORTEX MORPHIC SHIELD\u2122 \u2197 Interface &amp; Orchestration AVA\u2122 &amp; CPL\u2122 \u2014 Interface Multi LCM \/ TRM Engine\u2122 TRM [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1003","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1003","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=1003"}],"version-history":[{"count":20,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1003\/revisions"}],"predecessor-version":[{"id":1254,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1003\/revisions\/1254"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=1003"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}