@inproceedings{ruaro21:syml,
 author = {Nicola Ruaro and Lukas Dresel and Kyle Zeng and Tiffany Bao and Mario Polino and Andrea Continella and Stefano Zanero and Christopher Kruegel and Giovanni Vigna},
 booktitle = {Proceedings of the International Symposium on Research in Attacks, Intrusions and Defenses (RAID)},
 month = {October},
 address = {San Sebastian, Spain},
 title = {{SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning}},
 year = {2021}
}