@inproceedings{gritti2020:symbion,
  title     = {{SYMBION: Interleaving Symbolic with Concrete Execution}},
  author    = {Gritti, Fabio and Fontana, Lorenzo and Gustafson, Eric and Pagani, Fabio and Continella, Andrea and Kruegel, Christopher and Vigna, Giovanni},
  booktitle = {Proceedings of the IEEE Conference on Communications and Network Security (CNS)},
  month     = {June},
  address      = {Avignon, France},
  year      = {2020}
}