Skip to main content

Ricerc@Sapienza

Home
Login

Home
Symbolic execution
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

A Survey of Symbolic Execution Techniques

pubblicato su: ACM COMPUTING SURVEYS - 2018

Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene

Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution

pubblicato su: Cyber Security Cryptography and Machine Learning - 2019

Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil

CATALOGO IRIS SAPIENZA

Anno

2019 (1) Apply 2019 filter
2018 (1) Apply 2018 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter
04 Pubblicazione in atti di convegno (1) Apply 04 Pubblicazione in atti di convegno filter

Rivista

ACM COMPUTING SURVEYS (1) Apply ACM COMPUTING SURVEYS filter

Book

Cyber Security Cryptography and Machine Learning (1) Apply Cyber Security Cryptography and Machine Learning filter

Keywords

(-) Remove Symbolic execution filter Symbolic execution
concolic execution (1) Apply concolic execution filter
Protocol reversing (1) Apply Protocol reversing filter
software testing (1) Apply software testing filter
static analysis (1) Apply static analysis filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma