🛡️ Cryptographie & Calcul Haute Performance (HPC)

🚀 Meet-in-the-Middle (SPECK-64/128)

Attaque cryptanalytique distribuée massive sur supercalculateur Grid5000

• Recherche de collisions golden claw sur le chiffrement par bloc SPECK-64/128 (NSA).
• Architecture Hybride MPI + OpenMP (MPI_THREAD_MULTIPLE, sharding déterministe de la mémoire).
• Gestion fine de la contention avec 65 536 verrous omp_lock_t et pipeline asynchrone producteur-consommateur avec #pragma omp task.
• Résultat Grid5000 : Passage de 1 637 s (27 min) à 25,3 s, soit une accélération spectaculaire de ×65 face à la référence séquentielle.

Technologies : C99, MPI, OpenMP, Cluster Grid5000

🌐 AuctionP2P (Protocole Pair-à-Pair IPv6)

Application distribuée d'enchères sécurisées en réseau décentralisé

• Architecture P2P résiliente en IPv6 natif avec découverte multicast et échanges TCP/UDP.
• Sécurisation cryptographique intégrale des offres et des transactions par signatures asymétriques ED25519.
• Protocole de consensus distribué entre pairs pour l'attribution transparente et horodatée des enchères.

Technologies : C, IPv6, Cryptographie ED25519, Systèmes Distribués

⚡ Algèbre Linéaire Numérique, HPC & Précision Mixte

📊 Adaptive-Mixed-Precision-ILU (GEP Mixte)

Préconditionnement adaptatif pour solveurs linéaires GMRES (Sous la direction de Théo Mary, LIP6)

• Conception d'un préconditionneur ILUT creux à allocation dynamique de précision (FP16, FP24, FP32, FP48, FP64) élément par élément.
• Critère d'affectation fondé sur la norme de colonne garantissant que l'erreur d'arrondi numérique ne dépasse pas la tolérance de chute $\varepsilon$.
• Évaluation sur la collection de matrices SuiteSparse : compression mémoire jusqu'à 3.8× avec 100% de convergence et profils de Dolan-Moré optimaux.

Technologies : MATLAB, Précision Mixte (chop), GMRES, SuiteSparse

🔢 Polynomial Multiplication & Stabilité MPFR

Algorithmes rapides de multiplication polynomiale et analyse numérique

• Implémentation comparative multi-algorithmes : Naïf $\mathcal{O}(n^2)$, Karatsuba $\mathcal{O}(n^{\log_2 3})$, Toom-Cook-3 et Toom-4.
• Étude rigoureuse de la stabilité numérique et des propagations d'erreurs en virgule flottante en utilisant la bibliothèque multiprécision arbitraire GNU MPFR comme référence exacte.

Technologies : C, GNU MPFR, Optimisation Algorithmique

📐 Algorithmique Avancée, Complexité & Méthodes Formelles

🎯 Optimisation du Vertex Cover (Couverture par Sommets)

Algorithmes exacts et heuristiques pour un problème NP-difficile

• Algorithmes exacts : Branch & Bound classique et Branch & Bound hautement optimisé par élagage via bornes inférieures de couplage maximal.
• Algorithmes approchés : Glouton par degré maximal et 2-approximation par couplage maximal.
• Banc d'essai et benchmarks expérimentaux sur graphes aléatoires d'Erdős-Rényi $G(n, p)$ avec visualisations Matplotlib.

Technologies : Python, Théorie des Graphes, NP-Hard, Matplotlib

🧩 Solveur DPLL SAT en OCaml

Moteur de résolution de satisfiabilité booléenne en programmation fonctionnelle

• Implémentation rigoureuse de l'algorithme Davis-Putnam-Logemann-Loveland (DPLL) sur instances au standard DIMACS.
• Heuristiques d'optimisation : propagation unitaire, élimination des littéraux purs et choix dynamique de branchement.

Technologies : OCaml, Méthodes Formelles, Logique Propositionnelle

⚙️ Systèmes d'Exploitation, Compilateurs & Systèmes Multi-Agents

🐚 POSIX-Unix-Shell-C (fsh)

Interpréteur de commandes Unix complet en C respectant les spécifications POSIX : redirections <, >, >>, pipelines |, gestion des processus (fork/exec), signaux et boucles de contrôle for.

📝 SimpleText-Compiler-OCaml

Chaîne de compilation complète en OCaml (Lexer ocamllex, Parser Menhir, AST) avec table de macros dynamiques et génération de code HTML propre.

🗺️ Dedale-MultiAgent-Systems (JADE)

Architecture multi-agents distribuée sous le framework JADE pour l'exploration coopérative décentralisée et la traque coordonnée de créatures mobiles en environnement dynamique.

💘 Cultural-Dating-Database-SQL

Modélisation relationnelle complète (E/A, 3NF), contraintes d'intégrité et requêtes analytiques SQL avancées pour une application de rencontres culturelles.