LUCA BORZACCHIELLO

Dottore di ricerca

ciclo: XXXIV


supervisore: Camil Demetrescu


Produzione scientifica

11573/1659878 - 2022 - SENinja: A symbolic execution plugin for Binary Ninja
Borzacchiello, L.; Coppa, E.; Demetrescu, C. - 01a Articolo in rivista
rivista: SOFTWAREX ([Amsterdam] : Elsevier B.V.) pp. - - issn: 2352-7110 - wos: WOS:000877496600001 (0) - scopus: 2-s2.0-85140136870 (1)

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
congresso: 27th European Symposium on Research in Computer Security, ESORICS 2022 (Copenhagen; Denmark)
libro: 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
congresso: 15th Innovations in Software Engineering Conference (ISEC 2022) (Gandhinagar, India)
libro: 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
rivista: 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 (11) - scopus: 2-s2.0-85108657294 (20)

11573/1553682 - 2021 - Fuzzing Symbolic Expressions
Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil - 04b Atto di convegno in volume
congresso: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (Online)
libro: 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
congresso: 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) (Vancouver, Canada)
libro: 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
congresso: 3rd International Symposium on Cyber Security Cryptography and Machine Learning (Beer-Sheva; Israel)
libro: 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
rivista: SOFTWARE TESTING, VERIFICATION & RELIABILITY ([Chichester Sussex England]: John Wiley & Sons) pp. - - issn: 1099-1689 - wos: WOS:000527416800002 (9) - scopus: 2-s2.0-85076360817 (13)

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