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