Analyse binaire dynamique, exécution symbolique et concolique, fuzzing hybride, cybersécurité
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.