PUBLICATION: Symbolic execution by compiling symbolic handling into binaries with SymCC and SymQEMU
© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in 2022 Annual Meeting of the WG "Formal Methods for Security", Keynote talk, 21-23 Mar 2022, Fréjus, France and is available at :