Fabio Gritti, Lorenzo Fontana, Eric Gustafson, Fabio Pagani, Andrea Continella, Christopher Kruegel, Giovanni Vigna. SYMBION: Interleaving Symbolic with Concrete Execution. In 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, June 29 - July 1, 2020. pages 1-10, IEEE, 2020. [doi]
Abstract is missing.