@misc{EURECOM+6883,
  author = {Francillon, Aurélien},
  title = {Symbolic execution by compiling symbolic handling into binaries with SymCC and SymQEMU},
  howpublished = {2022 Annual Meeting of the WG \"Formal Methods for Security\", Keynote talk, 21-23 Mar 2022, Fréjus, France\&\#13;\&\#10;},
  year = {2022},
  note = {© 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\&\#13;\&\#10; and is available at :},
}