Dynamic Binary Analysis, Symbolic and Concolic Execution, Hybrid Fuzzing, Cybersecurity
The primary technical goal of this position is to participate in the maturation of EURECOM's research academic hybrid fuzzing tools. The core technology stack includes SymQEMU, SymCC, and LibAFL/LibAFL-QEMU. These tools facilitate hybrid fuzzing using concolic execution for incremental coverage and discovery of new program paths and vulnerabilities.