Analyse binaire dynamique, exécution symbolique et concolique, fuzzing hybride, cybersécurité
Date
Reference
Poste d'Ingénieur de Recherche ou Postdoctorant H/F (Références : SN/AF/Fuzz/102025)
More info
SN_AF_Fuzz_102025_FR_V3.pdf127.55 Ko
L'objectif technique principal de ce poste est de participer à la maturation des outils de fuzzing hybrides académiques d'EURECOM. La pile technologique principale comprend SymQEMU, SymCC et LibAFL/LibAFL-QEMU. Ces outils facilitent le fuzzing hybride grâce à l'exécution concolique pour une couverture incrémentale et la découverte de nouveaux chemins et vulnérabilités de programmes.