@conference{EURECOM+6293,
  author = {Poeplau, Sebastian and  Francillon, Aurélien},
  title = {Symbolic execution with SymCC: Don\&\#039;t interpret, compile!},
  booktitle = {USENIX Security 2020, 29th USENIX Security Symposium, 12-14 August 2020, Boston, MA, USA (Virtual Conference)},
  year = {2020},
  editor = {Usenix},
  address = {Boston},
  note = {Copyright Usenix. Personal use of this material is permitted. The definitive version of this paper was published in USENIX Security 2020, 29th USENIX Security Symposium, 12-14 August 2020, Boston, MA, USA (Virtual Conference) and is available at :},
}