SYMBION: Interleaving Symbolic with Concrete Execution

Abstract

Type
Conference proceedings
Publication
Proceedings of the IEEE Conference on Communications and Network Security (CNS ‘20)
Date
Links
PDF

Cite it:

@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}
}