Roberto Baldoni
- A Survey of Symbolic Execution Techniques
2016/10/03 by Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2 · 6 voices · 24 citations
#cs.SE #cs.PL
- SAFE: Self-Attentive Function Embeddings for Binary Similarity
2018/11/13 by Luca Massarelli, Giuseppe Antonio Di Luna, Massarelli, Luca +7 · 8 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering Research #Topic Modeling