Projets actuels d’ingénierie et de recherche

Projets

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

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
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 →