À propos

Je conçois et implémente des systèmes bas niveau à haute fiabilité, avec un accent particulier sur la correction, la sécurité et la maintenabilité à long terme

Mes travaux couvrent notamment :

  • l’entraînement de modèles LLM, les pipelines d’inférence et les systèmes d’IA appliquée
  • la cryptographie appliquée, la cryptographie post-quantique (PQC), les couches de transport sécurisées et le durcissement des systèmes
  • les architectures blockchain, les protocoles décentralisés et les systèmes cryptoéconomiques
  • l’ingénierie en cybersécurité, les opérations de type red team et les audits de sécurité
  • les réseaux distribués et les protocoles d’overlay
  • les infrastructures basées sur Kubernetes, l’automatisation et les pipelines de données à grande échelle
  • le traitement Big Data et les charges de calcul haute performance (HPC)
  • les outils de recherche, compilateurs et prototypes de systèmes

Les dépôts présents ici regroupent à la fois des travaux en production et des recherches expérimentales open source, visant à analyser des compromis de conception et à éclairer des architectures utilisables en conditions réelles

Travaux sélectionnés

Systèmes IA / LLM

  • shellog - Assistant local de commandes et de développement
    Transformation du langage naturel en commandes shell, code et explications, entièrement exécutée via une instance locale d’Ollama. Aucun cloud, aucune clé API, aucune télémétrie. Les requêtes ne quittent jamais la machine locale.
  • lc - Assistant privé de développement logiciel
    Assistant IA embarqué destiné à l’ingénierie logicielle et aux systèmes.
  • swarmshield - Simulateur de dynamiques sociales
    Cadre analytique permettant l’analyse de données historiques, la modélisation des dynamiques présentes et l’exploration de scénarios futurs.
  • lattice-mp - Moteur distribué de Machine Learning (MPI / HPC)
    Moteur de calcul distribué haute performance pour l’apprentissage automatique à grande échelle sur des environnements hétérogènes

Cybersécurité et défense

  • honeyforge - Leurre réseau haute performance (honeypot)
    Système de détection et de journalisation d’attaques avancées, prêt pour un déploiement en production
  • lanwatch - Analyseur de flux réseau en temps réel
    Analyse légère du trafic LAN avec inférence ML embarquée
  • sentinel-edge - Défense périphérique déterministe pour systèmes embarqués
    Mécanisme de défense léger et déterministe pour routeurs OpenWrt et Linux embarqué
  • ssh-mirage - Tunnel SSH invisible via TLS
    Transport SSH encapsulé dans du trafic TLS standard afin de se fondre dans un flux HTTPS classique
  • NoetherOS - Système d’exploitation mobile post-quantique sécurisé
    Système mobile durci, inspiré de GrapheneOS, conçu pour des modèles de menace souverains et post-quantiques
  • noether-relay - Appairage hors ligne sécurisé
    Cadre d’appairage air-gap pour ponts Linux compagnons sécurisés

Robotique et drones

  • NAVscout - Navigation autonome de drones (Raspberry Pi 5)
    Navigation et suivi d’objets assistés par IA pour plateformes embarquées
  • skywarden - Reconnaissance aérienne sans fil
    Systèmes de reconnaissance radio et réseau embarqués sur drones

Ingénierie RF et communications satellitaires

  • skyrake - Plateforme de reconnaissance spectrale
    Surveillance RF à l’échelle d’une flotte pour stations sol et opérations satellite
  • spectrax - Plateforme de renseignement RF
    Chaîne complète de renseignement radio, de l’acquisition à l’analyse
  • cellsigint - Cadre SIGINT cellulaire
    Extraction IMSI et analyse de signaux cellulaires via Rust, tables arc-en-ciel et apprentissage automatique
  • leo-mucpu - Émulateur déterministe de calculateur satellite LEO
    Émulation pour validation en environnement irradié et tests d’injection de fautes
  • ravengrid - Grille de détection multi-spectrale de drones
    Détection combinant RF, acoustique, thermique, optique et bistatique satellite
  • rfQ - Pile de transport sécurisée radio et satellite
    Micro-pile de transport minimaliste et durcie pour liaisons radio et satellites

Calcul scientifique

  • minotaur - MINOTAUR: Modélisation réduite de turboréacteurs à faible taux de dilution
    Cadre numérique déterministe pour moteurs compacts en régime subsonique contraint
  • mc-quantileshield - MC-QuantileShield: Estimation de seuils statistiques
    Méthodes d’estimation basées sur le bootstrap
  • mc-driftwatch - MC-DriftWatch: Détection de ruptures de distribution dans des séries temporelles
    Approche Monte Carlo par bootstrap en blocs
  • curvtime-mpi - Corrections relativistes d’horloges
    Cadre de calcul en champ faible pour effets relativistes gravitationnels
  • csv-r2s - Détection d’anomalies haute performance pour télémétries hostiles
    Pipelines d’analyse pour données adversariales ou dégradées

Blockchain et systèmes cryptographiques

  • beamrift - Blockchain post-quantique à haut débit
    Architecture multi-chaînes visant un débit élevé, une disponibilité continue et une résilience post-quantique
  • orb-ledger - Registre distribué à consensus orbital (LEO)
    Registre distribué utilisant les fenêtres de contact en orbite basse comme époques de consensus, ancrées dans une mécanique orbitale déterministe
  • tonkey - Passerelle Blockchain TON
    Infrastructure sécurisée de passerelle pour les systèmes basés sur TON
  • zk-guard - Moteur de politiques Zero-Knowledge et TEE
    Exécution et vérification de politiques combinant preuves à divulgation nulle de connaissance et environnements d’exécution de confiance (TEE)

Compilateurs et langages

  • obx07 - Compilateur Oberon-07 (Rust / LLVM)
    Compilateur minimal et auditable générant du code intermédiaire LLVM
  • luax - Luax
    Compilateur complet et optimisant pour le langage Lua.
  • vella - Langage fonctionnel minimal
    Petit langage fonctionnel doté d’un cœur de compilation robuste

Outillage

  • fcmesh - Plateforme serverless minimaliste
    Environnement serverless compact basé sur des microVM Firecracker

(Voir le profil GitHub pour les développements publics actifs)

Intérêts de recherche et perspectives de valorisation

J’explore ponctuellement des travaux de recherche et des prototypes de systèmes présentant un potentiel de valorisation, notamment dans les domaines suivants :

  • systèmes d’IA, incluant l’entraînement, l’évaluation et les architectures d’inférence de modèles LLM
  • ingénierie en cybersécurité, méthodologies de type red team et audits de sécurité
  • architectures blockchain, protocoles décentralisés et systèmes cryptoéconomiques
  • sécurité appliquée, cryptographie et durcissement des systèmes
  • plateformes de données, traitement Big Data et pipelines haute performance
  • infrastructures distribuées et systèmes à grande échelle

Les échanges exploratoires sont bienvenus

Soutien

Si ces travaux vous font gagner du temps ou contribuent à vos projets, voir les options de soutien : Soutien