SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning / Ruaro, Nicola; Zeng, Kyle; Dresel, Lukas; Polino, Mario; Bao, Tiffany; Continella, Andrea; Zanero, Stefano; Kruegel, Christopher; Vigna, Giovanni. - (2021), pp. 456-468. ((Intervento presentato al convegno RAID '21: 24th International Symposium on Research in Attacks, Intrusions and Defenses tenutosi a San Sebastian (Spain) nel 06/10/2021-08/10/2021 [10.1145/3471621.3471865].
Titolo: | SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning | |
Autori: | ||
Data di pubblicazione: | 2021 | |
Handle: | http://hdl.handle.net/11311/1187228 | |
ISBN: | 9781450390583 | |
Appare nelle tipologie: | 04.1 Contributo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
3471621.3471865.pdf | Publisher’s version | Accesso apertoVisualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.