Rapport scientifique 2025

Rapport scientifique 2025 • mars 9, 2026

Contrôle d’attaquant et priorisation de bugs

Fuzzing, exécution symbolique et interprétation abstraite, entre autres techniques, permettent de découvrir des bugs dans nos programmes à un rythme sans précédent. Mais une question se pose alors : que faire de tous ces bugs ?

Lire la suite
Rapport scientifique 2025 • mars 9, 2026

Algorithmes d’IA pour la spectrométrie gamma dédiée à la mesure de terrain

En spectrométrie gamma, il existe une forte demande pour des algorithmes automatiques assurant une prise de décision rapide pour des mesures in situ à faible statistique.

Lire la suite