Projets actuels d’ingénierie et de recherche

Projets

Six lignes de travail actives, de la recherche d’information réglementée aux preuves d’assurance logicielle, à l’infrastructure cryptographique, au stemming multilingue, à la coordination Java et aux applications distribuées.

Recherche réglementée

EGOTHOR v4

Recherche résidente déterministe conçue avec une divulgation sensible aux politiques pour environnements réglementés.

Bêta privéeTop-KOSS prévu
Assurance logicielle

MethodAtlas

Inventaire déterministe des tests, classification sécurité IA optionnelle et preuves reproductibles pour huit langages.

8 langagesSARIF 2.1Paquets de preuves
Systèmes cryptographiques

ZeroEcho

Cryptographie classique, post-quantique et hybride avec frontières de clés explicites, flux résilients et couche PKI croissante.

PQCPKIOffline
Ingénierie linguistique

Radixor

Stemming par patch commands entraîné sur dictionnaire, évalué sur vingt langues, avec runtimes compacts Java/Python.

20 languesJava + PythonBSD-3-Clause
Infrastructure Java

conflux

Contexte partagé typé et événements de changement pour composants Java découplés avec une API volontairement réduite.

Clés typéesÉvénementsThread-safe
Applications distribuées

J7M

Middleware d’objets distribués pour Java 25 avec références actives aux objets distants, découverte décentralisée, empaquetage et activation des applications.

Java 25gRPCObjets distribués
1998 → aujourd’huiLe portefeuille actuel prolonge une lignée plus longue de recherche, systèmes distribués, infrastructure de données et sécurité appliquée.Voir l’héritage →