Menu ORIGIN™

2 287LOC

TCB micronoyau vérifié

≈ ×3,8 plus compact que seL4

10 538théorèmes

Isabelle/HOL · 0 sorry

2 305 CBMC · 1 804 / 1 804 Frama-C/WP

Cybersécurité Active Souveraine

CORTEX NK 3D

Plateforme de déception multi-couches, déminage numérique et défense autonome multi-stage. Architecture posée sur un TCB micronoyau formellement vérifié, à trajectoire EAL7.

« Saturer l’OODA loop adverse jusqu’à l’impossibilité décisionnelle. L’attaquant reçoit tellement de signaux contradictoires qu’il ne distingue plus le vrai du faux. »

Échange confidentiel Découvrir l’architecture

Le scénario

Comment CORTEX NK 3D renverse la partie

I. Les attaquants modernes ne forcent plus les portes. Ils s’authentifient.

II. Avant cela, ils observent, ils sondent, ils cartographient votre infrastructure pendant des semaines.

III. CORTEX NK 3D ne se contente pas de défendre. Il fabrique l’illusion.

IV. L’attaquant explore une infrastructure qu’il ne peut distinguer de la vraie. Des leurres cohérents narrativement, des certificats valides, des domaines crafted.

V. Pendant ce temps, la vraie surface bouge. Les identités expirent. Les leurres se reconfigurent. L’OODA loop adverse sature.

VI. Quand l’attaquant comprend, il est déjà identifié, attribué, contenu. La compromission n’a jamais eu lieu.

Socle de confiance vérifié

Le TCB sous-jacent, vérifié et documenté

CORTEX NK 3D s’appuie sur CORTEX NK™, micronoyau crypto à base de confiance formellement vérifiée. Les évidences ci-dessous sont reproductibles et vérifiables via commits Git (sous NDA). À notre connaissance, cette combinaison n’a pas d’équivalent souverain européen.

◆

Vérification formelle

Micronoyau crypto
formellement vérifié

2 287 lignes de TCB vérifiées au niveau source — primitives cryptographiques et propriétés constant-time prouvées par décomposition, dans un même noyau.

★

Constant-time

16 primitives
prouvées CT

16 primitives benchmarkées, prouvées constant-time par décomposition (BINSEC/Rel par noyau + règle de composition machine-prouvée en Isabelle). PQC hors TCB.

★

Couverture preuve

1 804 / 1 804
obligations WP

100 % des obligations Frama-C/WP déchargées sur le TCB strict, plus 2 305 vérifications CBMC et 10 538 théorèmes Isabelle/HOL (0 sorry).

★

Trajectoire

Trajectoire EAL7
sur TCB micronoyau

Architecture conçue dès l’origine pour viser EAL7 sur le TCB micronoyau strict. Trajectoire affichée, non un niveau acquis.

Le constat

Trois ruptures structurelles

La cybersécurité actuelle ne suffit plus. Trois ruptures simultanées imposent une réponse architecturale, pas une énième couche logicielle.

Détection réactive obsolète

Les EDR et SOC détectent après la compromission. Face aux APT modernes, aux infostealers, au vol de credentials et au lateral movement, l’approche réactive est structurellement insuffisante.

277 jours · délai moyen de détection (IBM 2024)

Risque quantique imminent

« Harvest now, decrypt later. » Les attaquants stockent dès aujourd’hui des données chiffrées pour décryptage post-quantique. NIS2 et CRA imposent la migration européenne d’ici 2027-2030.

FIPS 203/204/205 · NIST 2024 finalisés

Carence souveraine européenne

Microsoft Pluton, Intel BootGuard, TPM propriétaires : les solutions dominantes sont américaines, fermées, soumises au Cloud Act. Aucun acteur européen ne combine déception, déminage et TCB formellement vérifié.

Aucun équivalent européen aujourd’hui

Notre réponse

Cognitive Cyber Jamming

Inverser le paradigme. Ne plus chercher à empêcher l’attaque, rendre l’attaque impossible à mener à terme.

Le principe

La sécurité traditionnelle modélise l’attaquant comme une force externe à repousser. CORTEX NK 3D modélise l’attaquant comme un système cognitif distribué à fragiliser par injection de bruit ciblé.

L’attaquant a un état mental — carte mentale de l’infrastructure perçue, hypothèses sur les credentials valides, planning d’exécution. Notre système modélise cet état mental et le corrompt activement par densité de leurres, cohérence narrative, variabilité contextuelle et injection de bruit temporel.

Cette doctrine s’opérationnalise par quatre paradigmes complémentaires, que le système combine selon les zones de l’infrastructure cliente :

Paradigme 1

Traditional

Protéger la cible

Paradigme 2

Camouflage

Cacher la cible

Paradigme 3

Deception

Tromper vers fausse cible

Paradigme 4

Movement

Faire disparaître la cible

Opérationnalisation

Trinité Active

Trois capacités intégrées qui incarnent la doctrine. Aucune ne suffit seule. La combinaison crée l’effet.

Déception active

L’attaquant explore une infrastructure qu’il ne peut pas distinguer du vrai

Moteur de modélisation adverse temps réel
Reconfiguration dynamique des leurres
Cohérence narrative inter-leurres
Densité leurres/réels supérieure à 10:1

Surface mouvante

La carte mentale de l’attaquant devient obsolète avant qu’il puisse l’exploiter

Mutation continue espace adressage réseau
Mutation fingerprints endpoints
Randomisation espace processus
Orchestration temporelle des mutations

Identités éphémères

Les credentials volés meurent avant d’être utilisables

TTL court (15 min à 24h)
Rotation automatique transparente
Attestation continue des identités
Révocation cascade sur compromission

Architecture

Huit couches techniques intégrées

Chaque couche est conçue selon notre règle d’ingénierie stricte : utilité explicite, limites documentées, hypothèses de sécurité affichées, vecteurs de compromission analysés.

Couches transverses

Integration · Legal & Compliance Guardrail · Moving Surface

L8 Digital Twin Layer Mirror · simulation · replay

L7 Autonomous Response Layer Containment · isolation · revocation

L6 Threat Intelligence Layer IOC/TTP · attribution · insider detection

L5 Identity Protection Layer EIP · honey credentials · OAuth/SSO traps

L4 Deception Layer Faux SSO/VPN/Webmail/AD/Git · Custom Baits

L3 Digital Demining Layer Scan compromise · rootkits · infostealers

L2 External Attack Surface Layer EASM · cloud connectors · breach alerts

L1 Bootstrap Trust Layer Secure Boot · TPM 2.0 · Hardware RoT

Couverture

13 étapes MITRE ATT&CK

Là où les solutions concurrentes commerciales couvrent 2 à 3 étapes, CORTEX NK 3D vise une couverture intégrée des 13 étapes. Pour chaque étape, une couche et un sous-module documenté interviennent.

Reconnaissance

Moving Surface · EAS

Initial Access

Identity Protection · Deception

Execution

Digital Demining · Autonomous Response

Persistence

Digital Demining

Privilege Escalation

Autonomous Response

Defense Evasion

Deception · doctrine CCJ

Credential Access

Identity Protection · EIP

Discovery

Moving Surface · Deception

Lateral Movement

Deception · Autonomous Response

Collection

Deception · faux data stores

Exfiltration

Threat Intelligence

Command & Control

Digital Demining · Autonomous Response

Impact

Autonomous Response

Étapes ATT&CK visées

Couches techniques intégrées

Capacités différenciantes (cible)

Du signal à la décision

Trois moteurs de décision

Couvrir 13 étapes ATT&CK, multiplier leurres et sondes : tout cela produit du signal. La différenciation de CORTEX est ailleurs — transformer ce signal en décision priorisée, explicable, et dont la mécanique est vérifiée. Empiler davantage de signatures, d’IOC ou de honeypots ne rapproche pas d’une décision ; ces trois moteurs, si.

Moteur 1

Defense Synthesis

Pour chaque contre-mesure candidate — segmenter, isoler, retirer un accès — le moteur recalcule le graphe d’exposition et chiffre le gain : « durcir A → + de résilience, − de blast radius ». Les contre-mesures sont classées par gain décroissant, pas listées au hasard.

Garantie : durcir ne peut jamais augmenter la portée de l’attaquant — monotonie vérifiée, gain borné et prouvé.

Moteur 2

Mission Planning / ROI

Sous contrainte de budget, le plan de défense priorisé par retour sur investissement : « protéger tel actif, budget donné → plan classé par ROI ». Le graphe est recalculé à chaque étape, pour tenir compte des interactions entre mesures.

Budget jamais dépassé (garantie dure) · sélection déterministe · coûts = hypothèses analyste.

Moteur 3

Objective Estimator

Estime l’objectif plausible de l’adversaire — espionnage, rançongiciel, sabotage — à partir des surfaces touchées, de la séquence ATT&CK et du tempo, par pondérations explicites et sans apprentissage opaque.

Scores indicatifs explicables — jamais des probabilités, jamais d’attribution.

Offre

Architecture commerciale en quatre tiers

Du déploiement express à la plateforme souveraine intégrale. Modèle progressif adapté à votre maturité et à vos contraintes.

Tier 0 Express < 1 heure / module

Catalogue de modules autonomes vendables séparément. Quick Bait Pack, EAS Quick Scan, CTI Subscription, Honey Credentials, Honeytokens, Phishing Defense Kit.

ETI · Mid-market · Essais

Tier 1 Essentials 1 heure

Détection multi-couches complète en SaaS souverain. External Attack Surface, Deception, Identity Protection, Threat Intelligence, Integration SIEM/SOAR.

Mid-market complet

Tier 2 Enterprise 1h + 30 jours

Tier 1 + activation progressive des couches Action. Digital Twin, Digital Demining, Autonomous Response, Moving Surface, Identités éphémères.

Grandes entreprises · OIV · NIS2/DORA

Tier 3 Sovereign 1h + 30j + 3 mois

Plateforme intégrale avec Bootstrap Trust hardware-rooted et TCB micronoyau formellement vérifié. Trajectoire EAL CSPN → EAL7.

Défense · Régalien · Infrastructures critiques

Bundles standalone · CORTEX BAITS (déception credential, couches L4+L5) et CORTEX EAS (External Attack Surface Management, couche L2). Conçus pour adresser le marché commercial avec un time-to-deploy de type SaaS, en gardant la possibilité d’upgrade vers les tiers supérieurs.

Ingénierie audit-grade

Discipline d’ingénierie démontrable

Aucun argument marketing non démontrable. Aucune fonctionnalité fictive. Aucune affirmation de sécurité non documentée.

Vérification formelle multi-outils

TCB strict vérifié au niveau source C
Frama-C/WP + Isabelle/HOL sur TCB strict
CBMC pour bornes et concurrence
TLA+ sur invariants distribués critiques
Property-based testing et fuzzing continu sur applicatif
BINSEC/Rel pour les preuves constant-time des primitives crypto

Trajectoire de certification

Pré-audit CSPN avec CESTI agréé ANSSI engagé le 22 mai 2026
Soumission CSPN ANSSI visée Q3 2027
Cible EAL4+ Common Criteria 2028
Cible EAL5 / EAL6 sur TCB strict 2029
Trajectoire EAL7 sur TCB micronoyau 2030
Partenariats R&D : INRIA, LMF Saclay, Vérimag

Robustesse mesurée

Plus de 360 milliards d’itérations de fuzzing cumulées (dont 16,7 Md sur le TCB NK)
Logs AFL et libFuzzer disponibles sous NDA
Threat Model STRIDE complet par couche
Limites et hypothèses documentées par composant
Vecteurs de compromission analysés explicitement
Mécanismes de détection de compromission interne

Métriques cibles

MTTC (Mean Time To Confusion) < 15 min
AAD (Adversary Abandonment Density) > 60%
DCM (Decision Confidence Metric) > 80% dégradation
CAM (Cost Amplification Multiplier) × 10 à × 100
Containment success rate > 95%
0% faux positifs sur alertes credentials

Souveraineté

FR / EU pure

« Aucun investisseur extra-européen.
Aucune dépendance au Cloud Act.
Aucune brique technologique américaine sur le chemin critique.
Souveraineté pure, conçue dès l’origine. »

Conformité européenne

Aligné NIS2, DORA, CRA, AI Act, RGPD. Conçu pour la conformité by design, pas par adaptation.

Cloud souverain natif

Connecteurs cloud OVH et Scaleway disponibles dès Tier 1, en plus des hyperscalers internationaux.

Écosystème institutionnel

Échanges institutionnels documentés au niveau exécutif, défense et législatif français.

Marchés adressés

Quatre segments, une plateforme

Mid-market commercial

CORTEX BAITS · CORTEX EAS · Tier 0 · Tier 1

ETI et mid-market international. Détection précoce credential theft, management surface d’attaque externe, conformité NIS2.

Enterprise

Tier 1 · Tier 2

Grandes entreprises, OIV, banques, télécoms, santé. Secteurs régulés NIS2 / DORA / CRA cherchant plateforme intégrée multi-stage.

Régalien & Défense

Tier 3 Sovereign

Défense, agences souveraines, infrastructures critiques nationales, secteur spatial. Plateforme intégrale avec TCB formellement vérifié.

Formation & Purple Team

Digital Twin standalone

SOC professionnels et entreprises voulant entraîner leurs équipes par replay d’intrusion et simulation adverse contrôlée.

Origine du nom

Pourquoi CORTEX NK 3D

Trois lettres, trois dimensions, une intention. Le nom n’est pas accessoire : il résume la doctrine fondatrice du système.

CORTEX

Le cortex cérébral est le siège de la décision. C’est exactement ce que nous ciblons chez l’attaquant : sa capacité à décider. Notre doctrine de Cognitive Cyber Jamming ne défend pas un périmètre, elle sature un cerveau adverse.

Native Kernel

Le micronoyau souverain, formellement vérifié, à trajectoire EAL7. CORTEX NK constitue le TCB strict sur lequel repose toute la plateforme. Native, parce que conçu nativement sécurisé. Kernel, parce que c’est le cœur.

Trois dimensions

Déception multi-couches. Déminage numérique des systèmes compromis. Défense autonome multi-stage. Trois dimensions de défense active intégrées en une seule plateforme. Pas trois produits empilés, une seule architecture cohérente.

« Le nom raconte l’architecture. L’architecture raconte la doctrine. La doctrine raconte la conviction : la cybersécurité doit redevenir une discipline de combat, pas une succession de couches passives. »

Questions fréquentes

Les questions que vous nous posez

Voici les questions les plus fréquentes des CISO, RSSI, partenaires institutionnels et investisseurs qui explorent CORTEX NK 3D. Réponses directes, sans détour.

Microsoft Defender, CrowdStrike, SentinelOne, Palo Alto Cortex XDR sont des solutions mûres et reconnues. Mais elles partagent trois limitations structurelles pour les marchés régaliens et OIV européens.

Souveraineté. Toutes sont soumises au Cloud Act et au FISA américain. Vos données critiques transitent par des juridictions où la souveraineté européenne ne s’applique pas. Pour un OIV régulé NIS2, c’est un risque juridique majeur.

Périmètre fonctionnel. Ces solutions couvrent 3 à 5 étapes ATT&CK. CORTEX NK 3D vise une couverture intégrée des 13 étapes. La déception multi-couches, les identités éphémères, la Moving Target Defence intégrée ne sont pas dans leur catalogue.

Vérification formelle. Aucune n’offre de TCB micronoyau formellement vérifié à trajectoire EAL7. CORTEX NK 3D est conçu dès l’origine pour cette trajectoire.

Le marché est saturé d’outils qui produisent du signal : signatures, IOC, télémétrie, leurres. Empiler davantage de signatures, d’IOC ou de honeypots multiplie le volume d’alertes — et la fatigue analyste — sans rapprocher d’une décision.

CORTEX prend le problème par l’autre bout, avec trois moteurs de décision : Defense Synthesis (contre-mesures classées par gain de résilience, avec la garantie que durcir n’augmente jamais la portée adverse), Mission Planning / ROI (plan optimal sous contrainte de budget) et Objective Estimator (objectif plausible de l’adversaire, en scores indicatifs non probabilistes et sans attribution).

Ces moteurs sont des briques applicatives à haute assurance, déterministes et vérifiées par test de propriété ; les scores restent estimatifs et ne sont jamais agrégés aux preuves du noyau. Les leurres génèrent du signal ; ces moteurs génèrent de la décision.

Les rares acteurs européens en déception sont positionnés sur un segment SaaS commercial avec une couche unique (typiquement credential deception). C’est utile, mais limité.

CORTEX NK 3D vise à absorber leur périmètre fonctionnel dans ses bundles standalone (CORTEX BAITS et CORTEX EAS) et à ajouter des capacités supplémentaires sur 8 couches intégrées : Bootstrap Trust hardware-rooted, Digital Demining, Identités éphémères, Moving Target Defence, Autonomous Response, Digital Twin, Threat Intelligence avec attribution.

Sur la doctrine, sur le TCB formellement vérifié, sur la trajectoire EAL, sur la souveraineté pure FR/EU : à notre connaissance, aucun équivalent européen aujourd’hui.

Question légitime. Deux éléments de réponse.

Premièrement, le TCB sous-jacent CORTEX NK est déjà à un état de maturité formelle élevé : 2 287 lignes de TCB vérifié, 10 538 théorèmes Isabelle/HOL (0 sorry), 2 305 vérifications CBMC, 1 804 / 1 804 obligations Frama-C/WP déchargées. Vérifiable par commits Git sous NDA.

Deuxièmement, notre traction institutionnelle est documentée : échanges au niveau exécutif, défense et législatif français, par courriers officiels et RDV physiques. Pré-audit CSPN engagé le 22 mai 2026 avec un CESTI agréé ANSSI.

EAL7 est ciblé uniquement sur le TCB micronoyau strict (CORTEX NK), pas sur l’ensemble de la plateforme. Cette stratégie est cohérente avec les pratiques de référence : seL4 démontre qu’un noyau de quelques milliers de lignes peut être formellement vérifié de bout en bout ; CompCert prouve un compilateur isolé.

Notre architecture est conçue dès l’origine pour cette trajectoire : TCB minimal et clairement délimité, code source vérifiable, invariants TLA+ explicites, Threat Model STRIDE documenté, vérification multi-outils (Frama-C/WP, Isabelle/HOL, CBMC, BINSEC/Rel).

La trajectoire est calibrée : CSPN Q3 2027 → EAL4+ 2028 → EAL5/6 2029 → EAL7 2030. Le pré-audit CSPN a été engagé le 22 mai 2026. Les partenariats R&D avec INRIA Prosecco, LMF Saclay et Vérimag sont en discussion.

Les 4 tiers répondent à une réalité : tous nos clients ne sont pas au même endroit dans leur maturité cybersécurité, et tous n’ont pas le même budget ni les mêmes contraintes opérationnelles.

Une ETI mid-market peut démarrer avec un bundle CORTEX BAITS standalone. Une grande banque peut activer le Tier 2 Enterprise sur 30 jours. Une agence régalienne déploie le Tier 3 Sovereign sur 3 mois avec TCB intégré.

Le modèle est progressif. Vous démarrez là où vous êtes, vous montez en gamme à votre rythme. Vous gardez la maîtrise.

Oui. Le TCB strict CORTEX NK représente 2 287 lignes, avec 10 538 théorèmes Isabelle/HOL (0 sorry), 2 305 vérifications CBMC et 1 804 / 1 804 obligations Frama-C/WP déchargées (100 %).

Les 16 primitives cryptographiques sont prouvées constant-time par décomposition (BINSEC/Rel par noyau + règle de composition machine-prouvée en Isabelle). La non-interférence est un chantier en cours, non revendiquée comme acquise.

Vérifiabilité ouverte. Toutes ces évidences sont documentées par commits Git accessibles sous NDA et soumises à la contradiction d’experts académiques (INRIA Prosecco, LMF Saclay, Vérimag).

Trois étapes simples, calibrées selon votre niveau d’engagement.

Étape 1 — Échange confidentiel (2 heures). Atelier avec votre équipe sécurité et notre équipe technique sous NDA mutuel. Identification du périmètre prioritaire pour votre contexte.

Étape 2 — POC à engagement limité (4 à 8 semaines, sous forfait). Déploiement du tier choisi en environnement contrôlé. Mesure des métriques (MTTC, MTTD, taux faux positifs). Rapport audit-grade utilisable pour vos auditeurs. Forfait POC à valider lors du cadrage, déductible du contrat annuel si signature.

Étape 3 — Décision sans engagement. Si les résultats sont là, vous étendez vers le tier supérieur. Sinon, vous vous arrêtez. Pas de vendor lock-in, pas d’engagement contraint.

Une conversation technique, pas un argumentaire commercial

Vous êtes investisseur, partenaire industriel, client OIV, partenaire R&D ou institution publique. Trois manières de commencer un échange confidentiel.

Échange confidentiel

Présentation de 20 à 30 minutes sur le périmètre qui vous intéresse, sous NDA mutuel, avec David Salomon et l’équipe technique.

Document technique

Document de cadrage technique audit-grade détaillé, disponible sur demande sous NDA. 50+ pages structurées par couche.

Démonstration Tier 1

Démonstration opérationnelle du périmètre Tier 1 Essentials, organisable sous 48 heures dans votre environnement.

Contact

Roadmap technique transparente

État des modules CORTEX BAITS et CORTEX EAS

Ce que la plateforme délivre aujourd’hui, ce qui est en cours d’industrialisation, et selon quelle trajectoire. Aucune affirmation marketing non démontrable, aucune feature fictive. Transparence audit-grade.

« Nous distinguons rigoureusement la logique applicative livrée de l’industrialisation réseau en cours, et les deux du socle formellement vérifié qu’est le noyau CORTEX NK. Cette distinction est essentielle pour bâtir la confiance avec les clients régaliens, les investisseurs en DD technique et les partenaires R&D académiques. »

« CORTEX NK 3D est une plateforme intégrée. Les bundles standalone CORTEX BAITS et CORTEX EAS visent le marché commercial mid-market avec un time-to-deploy SaaS. Voici précisément où nous en sommes module par module. »

Bundle standalone · L4 + L5

CORTEX BAITS

Déception credential, honey domains, détection temps réel de l’usage de credentials compromis sur dark web.

Livré · état juin 2026

Logique applicative en Rust haute assurance : #![forbid(unsafe_code)], chemins sans panique, testée par propriété, fuzzing continu, bornes arithmétiques prouvées (Kani)
Moteur d’intention adverse [E] : transitions ATT&CK pondérées, recommandation de leurres prioritaires — scores indicatifs, jamais une prédiction
Objective Estimator [E] : objectif plausible de l’adversaire (espionnage / rançongiciel / sabotage) en scores indicatifs explicables — jamais des probabilités, jamais d’attribution
Architecture intégrée dans CORTEX NK 3D (couches L4 Deception + L5 Identity Protection)
Doctrine Cognitive Cyber Jamming opérationnelle et documentée
Threat Model STRIDE complet par couche · métriques cibles définies (MTTC, AAD, DCM, CAM)
Fondation d’industrialisation [I] livrée : interface de collecte (trait HttpCollector), mapping pur des réponses HTTP (en-têtes / cookies normalisés), collecteur de test et fuzzing no-panic — committés
Préintégration TCB CORTEX NK formellement vérifié pour l’isolation

Industrialisation · S2 2026 — S1 2027

Transport réseau réel [I] (HTTP/TLS, ureq + rustls) câblé sur la fondation de collecte déjà livrée
Reproduction de la stack TCP pour indétectabilité réseau bas-niveau
Reproduction des ciphers SSL/TLS pour négociation cryptographique réaliste
Émission de certificats valides sur les pages de leurres (CA dédiée + intégration ACME)
Génération automatique de domaines crafted alignés avec la surface d’attaque client
Indétectabilité par Shodan, Censys et outils de reconnaissance attaquants
Isolation parfaite des honeypots (containers durcis + VLAN dédié + supervision dérivée TCB)
Boucle complète détection → notification temps réel → révocation automatique (SCIM/AD/Azure AD)
Reproduction comportementale sites métier (SSO, VPN, Webmail, AD, Git, ERP)

Bundle standalone · L2

CORTEX EAS

External Attack Surface Management. Inventaire, scan continu et alerte sur exposition externe et compromission d’identifiants.

Livré · état juin 2026

Logique applicative en Rust haute assurance : #![forbid(unsafe_code)], chemins sans panique, testée par propriété, fuzzing continu, bornes prouvées (Kani)
Graphe d’exposition : actifs, relations, calcul d’atteignabilité et de coupe minimale (min-cut) pour isoler les arêtes critiques
Score d’exposition stratégique [E] : criticité métier × bande d’exposition × atteignabilité, borné 0–100 (borne prouvée Kani) — score indicatif, non une probabilité
Priorité combinée, remédiation et cartographie conformité : priorité par actif, recommandations de remédiation, correspondance NIS2 / DORA / CRA
Moteurs de décision adossés au graphe : Defense Synthesis (contre-mesures classées par gain, monotonie vérifiée) et Mission Planning / ROI (plan sous contrainte de budget)
Architecture intégrée dans CORTEX NK 3D (couche L2 External Attack Surface)
Cartographie des connecteurs cloud souverains (OVH, Scaleway) et hyperscalers internationaux · Threat Model STRIDE documenté
Fondation d’industrialisation [I] livrée : interface de collecte (seam) et mapping pur des réponses HTTP, collecteur de test et fuzzing no-panic — committés
Préintégration Threat Intelligence Layer (L6) pour enrichissement IOC/TTP

Industrialisation · S2 2026 — S1 2027

Scan réseau réel [I] (DNS, certificats, ports, sous-domaines, services exposés) câblé sur la fondation de collecte déjà livrée
Détection sub-30 min des nouveaux assets ou changements de configuration
Veille dark web et alerte sur fuites de credentials clients
Enrichissement CVSS live par asset, en complément du score d’exposition stratégique déjà livré
Intégration live SIEM/SOAR via API standardisées (push STIX/TAXII, OCSF)
Pipeline de reporting conformité NIS2 / DORA / CRA, au-delà de la cartographie déjà livrée
Workflow remédiation avec assignation, tracking, SLA

Discipline scientifique

Pourquoi cette transparence sert votre intérêt

Les bundles standalone CORTEX BAITS et CORTEX EAS sont conçus pour le marché commercial mid-market, là où d’autres acteurs européens excellent déjà avec l’angle SaaS pur. Notre différentiel n’est pas de répliquer leur excellence opérationnelle, c’est d’amener cette excellence dans une plateforme intégrée qui adresse aussi le régalien et la défense.

Un client mid-market qui démarre par CORTEX BAITS aujourd’hui rejoint l’écosystème CORTEX NK 3D, peut upgrader vers Tier 1, Tier 2 puis Tier 3 sans changer de fournisseur, et bénéficie progressivement du TCB formellement vérifié, de la trajectoire EAL et de la souveraineté pure FR/EU.

Sur le périmètre régalien et défense, où nous opérons en propre dès aujourd’hui, aucun acteur européen ne nous accompagne. C’est là que se situe notre vocation première. La déclinaison commerciale mid-market via CORTEX BAITS et CORTEX EAS est extension naturelle de l’architecture, pas concurrence frontale avec les spécialistes SaaS du marché commercial.

Frontière de preuve. La logique applicative livrée (graphe d’exposition, scoring, estimation, planification) est sans unsafe, testée par propriété et bornée par preuve ; les sorties marquées [E] restent des estimations indicatives, jamais des probabilités calibrées ni une attribution. Les opérations réseau temps réel relèvent de l’industrialisation [I] : sa fondation (collecte, mapping pur) est livrée et testée, le transport réseau réel est en cours. Les preuves formelles de niveau noyau (Frama-C/WP, Isabelle/HOL, CBMC) restent réservées au TCB CORTEX NK et ne sont jamais agrégées aux briques applicatives.