EMILIO COPPA

Dottore di ricerca

ciclo: XXVIII




Produzione scientifica

11573/1705962 - 2023 - FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns
Coppa, Emilio; Izzillo, Alessio; Lazzeretti, Riccardo; Lenti, Simone - 04b Atto di convegno in volume
congresso: International Workshop on Visualization for Cyber Security (Melbourne; Australia)
libro: International Workshop on Visualization for Cyber Security - (979-8-3503-1793-0)

11573/1659871 - 2022 - ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others
Blocher, M.; Coppa, E.; Kleber, P.; Eugster, P.; Culhane, W.; Ardekani, M. S. - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTER SYSTEMS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 1-33 - issn: 0734-2071 - wos: WOS:000823052700004 (0) - scopus: 2-s2.0-85133874443 (0)

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/1659877 - 2022 - SymFusion: Hybrid Instrumentation for Concolic Execution
Coppa, Emilio; Yin, Heng; Demetrescu, Camil - 04b Atto di convegno in volume
congresso: 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2022 (Rochester; MI USA)
libro: ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering - ()

11573/1557526 - 2021 - Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation
Borrello, Pietro; Coppa, Emilio; D'elia, Daniele Cono - 04b Atto di convegno in volume
congresso: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (Virtual Event)
libro: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - (978-166543572-7)

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/1408738 - 2020 - On the Dissection of Evasive Malware
D'elia, D. C.; Coppa, E.; Palmaro, F.; Cavallaro, L. - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY (New York, N.Y.: IEEE, 2006-) pp. 2750-2765 - issn: 1556-6013 - wos: WOS:000522433500001 (19) - scopus: 2-s2.0-85082078852 (29)

11573/1499674 - 2020 - WEIZZ: Automatic grey-box fuzzing for structured binary formats
Fioraldi, A.; D'elia, D. C.; Coppa, E. - 04b Atto di convegno in volume
congresso: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020 (Los Angeles; USA)
libro: ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis - (9781450380089)

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/1282932 - 2019 - The ROP needle: Hiding trigger-based injection vectors via code reuse
Borrello, P.; Coppa, E.; D'elia, D. C.; Demetrescu, C. - 04b Atto di convegno in volume
congresso: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
libro: SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - (9781450359337)

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)

11573/1169679 - 2019 - Counting cliques in parallel without a cluster: engineering a fork/join algorithm for shared-memory platforms
Coppa, Emilio; Finocchi, Irene; Leon Garcia, Renan - 01a Articolo in rivista
rivista: INFORMATION SCIENCES (Amsterdam; Boston: Elsevier 1968-) pp. 553-571 - issn: 0020-0255 - wos: WOS:000473376000033 (2) - scopus: 2-s2.0-85050089650 (5)

11573/1282927 - 2019 - Static analysis of ROP code
D'elia, D. C.; Coppa, E.; Salvati, A.; Demetrescu, C. - 04b Atto di convegno in volume
congresso: 12th European Workshop on Systems Security, EuroSec 2019 (Dresden; Germany)
libro: EuroSec '19 Proceedings of the 12th European Workshop on Systems Security - (9781450362740)

11573/1282946 - 2019 - SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed)
D'elia, Daniele Cono; Coppa, Emilio; Nicchi, Simone; Palmaro, Federico; Cavallaro, Lorenzo - 04b Atto di convegno in volume
congresso: 14th ACM ASIA Conference on Computer and Communications Security (Auckland; New Zealand)
libro: AsiaCCS '19 Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security - (9781450367523)

11573/1282978 - 2018 - ROPMate: Visually Assisting the Creation of ROP-based Exploits
Angelini, Marco; Blasilli, Graziano; Borrello, Pietro; Coppa, Emilio; D'elia, Daniele Cono; Ferracci, Serena; Lenti, Simone; Santucci, Giuseppe - 04b Atto di convegno in volume
congresso: 15th IEEE Symposium on Visualization for Cyber Security (Berlin; Germany)
libro: 2018 IEEE Symposium on Visualization for Cyber Security (VizSec) - (978-153868194-7)

11573/1077050 - 2018 - A Survey of Symbolic Execution Techniques
Baldoni, Roberto; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
rivista: ACM COMPUTING SURVEYS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 0360-0300 - wos: WOS:000439723400007 (260) - scopus: 2-s2.0-85049585791 (407)

11573/1072972 - 2017 - Assisting malware analysis with symbolic execution: A case study
Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
congresso: 1st International Conference on Cyber Security Cryptography and Machine Learning, CSCML 2017 (Beer-Sheva; Israel)
libro: Cyber Security Cryptographyand Machine Learning - (978-3-319-60079-6; 978-3-319-60080-2)

11573/1072937 - 2017 - Rethinking Pointer Reasoning in Symbolic Execution
Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
congresso: 32nd IEEE/ACM International Conference on Automated Software Engineering (Urbana, Illinois, USA)
libro: ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering - (978-153862684-9; 978-1-5386-3976-4)

11573/854753 - 2015 - On data skewness, stragglers, and MapReduce progress indicators
Coppa, Emilio; Finocchi, Irene - 04b Atto di convegno in volume
congresso: ACM Symposium on Cloud Computing (SoCC) (Hawaii, USA)
libro: Proceedings of the Sixth ACM Symposium on Cloud Computing - (978-1-4503-3651-2)

11573/780516 - 2014 - An interactive visualization framework for performance analysis
Coppa, Emilio - 04b Atto di convegno in volume
congresso: 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014 (Bratislava, Slovakia)
libro: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools - (978-1-63190-057-0)

11573/579990 - 2014 - Input-Sensitive Profiling
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 1185-1205 - issn: 0098-5589 - wos: WOS:000346224400003 (9) - scopus: 2-s2.0-84919766570 (12)

11573/542462 - 2014 - Estimating the empirical cost function of routines with dynamic workloads
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo - 04b Atto di convegno in volume
congresso: 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014 (Orlando, FL)
libro: Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization - (9781450326704)

11573/1029669 - 2012 - Input-sensitive profiling
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
congresso: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 (Beijing, chn)
libro: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) - (9781450312059)

11573/433651 - 2012 - Input-sensitive profiling
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
rivista: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 89-98 - issn: 1523-2867 - wos: (0) - scopus: 2-s2.0-84863487165 (48)

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