SYMBION: Interleaving Symbolic with Concrete Execution

Authors

Fabio Gritti, Lorenzo Fontana, Eric Gustafson, Fabio Pagani, Andrea Continella, Christopher Kruegel, Giovanni Vigna

Venue

Proceedings of the IEEE Conference on Communications and Network Security (CNS), June 2020

BibTeX

@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},
  year      = {2020}
}