11573/1659878 - 2022 -
SENinja: A symbolic execution plugin for Binary Ninja Borzacchiello, L.; Coppa, E.; Demetrescu, C. - 01a Articolo in rivista
paper: SOFTWAREX ([Amsterdam] : Elsevier B.V.) pp. - - issn: 2352-7110 - wos: WOS:000877496600001 (1) - scopus: 2-s2.0-85140136870 (3)
11573/1659873 - 2022 -
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps Borzacchiello, L.; Coppa, E.; Maiorca, D.; Columbu, A.; Demetrescu, C.; Giacinto, G. - 04b Atto di convegno in volume
conference: 27th European Symposium on Research in Computer Security, ESORICS 2022 (Copenhagen; Denmark)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-17142-0; 978-3-031-17143-7)
11573/1623944 - 2022 -
Handling Memory-Intensive Operations in Symbolic Execution Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 15th Innovations in Software Engineering Conference (ISEC 2022) (Gandhinagar, India)
book: ISEC 2022: 15th Innovations in Software Engineering Conference - (9781450396189)
11573/1569333 - 2021 -
FUZZOLIC: Mixing fuzzing and concolic execution Borzacchiello, L.; Coppa, E.; Demetrescu, C. - 01a Articolo in rivista
paper: COMPUTERS & SECURITY (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0167-4048 - wos: WOS:000677639500005 (15) - scopus: 2-s2.0-85108657294 (30)
Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (Online)
book: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) - (978-1-6654-0296-5)
11573/1325767 - 2019 -
SymNav: Visually Assisting Symbolic Execution Angelini, Marco; Blasilli, Graziano; Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Lenti, Simone; Nicchi, Simone; Santucci, Giuseppe - 04b Atto di convegno in volume
conference: 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) (Vancouver, Canada)
book: Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) - (978-172813876-3)
11573/1291915 - 2019 -
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 3rd International Symposium on Cyber Security Cryptography and Machine Learning (Beer-Sheva; Israel)
book: Cyber Security Cryptography and Machine Learning - (978-3-030-20950-6; 978-3-030-20951-3)
11573/1322678 - 2019 -
Memory Models in Symbolic Execution: Key Ideas and New Thoughts Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 01a Articolo in rivista
paper: SOFTWARE TESTING, VERIFICATION & RELIABILITY ([Chichester Sussex England]: John Wiley & Sons) pp. - - issn: 1099-1689 - wos: WOS:000527416800002 (11) - scopus: 2-s2.0-85076360817 (15)