Pubblicazioni di Coppa Emilio
2024
Binosi Lorenzo, Mazzini Pietro, Sanna Alessandro, Carminati Michele, Giacinto Giorgio, Lazzeretti Riccardo, Zanero Stefano, Polino Mario, Coppa Emilio, Maiorca Davide
Do you Trust your Device? Open Challenges in IoT Security Analysis. Proceedings of the International Conference on Security and Cryptography 2024: -
Ruggiero Claudia, Mazzini Pietro, Coppa Emilio, Lenti Simone, Bonomi Silvia
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies. 19th International Conference on Availability, Reliability and Security (ARES 2024) 2024: -
2023
Coppa Emilio, Izzillo Alessio, Lazzeretti Riccardo, Lenti Simone
FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns. International Workshop on Visualization for Cyber Security 2023: -
2022
Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Handling Memory-Intensive Operations in Symbolic Execution. ISEC 2022: 15th Innovations in Software Engineering Conference 2022: -
Borzacchiello L., Coppa E., Maiorca D., Columbu A., Demetrescu C., Giacinto G.
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2022: 701-722
Blocher M., Coppa E., Kleber P., Eugster P., Culhane W., Ardekani M. S.
ROME: All Overlays Lead to Aggregation, but Some Are Faster than Others. ACM TRANSACTIONS ON COMPUTER SYSTEMS 2022: 1-33
Borzacchiello L., Coppa E., Demetrescu C.
SENinja: A symbolic execution plugin for Binary Ninja. SOFTWAREX 2022: 101219-
Coppa Emilio, Yin Heng, Demetrescu Camil
SymFusion: Hybrid Instrumentation for Concolic Execution. Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022) 2022: -
2021
Borzacchiello Luca, Coppa Emilio, Demetrescu Camil
Fuzzing Symbolic Expressions. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) 2021: 711-722
Borzacchiello L., Coppa E., Demetrescu C.
FUZZOLIC: Mixing fuzzing and concolic execution. COMPUTERS & SECURITY 2021: -
Borrello Pietro, Coppa Emilio, D'Elia Daniele Cono
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation. 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2021: 555-568
2020
D'Elia D. C., Coppa E., Palmaro F., Cavallaro L.
On the Dissection of Evasive Malware. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY 2020: 2750-2765
Fioraldi A., D'Elia D. C., Coppa E.
WEIZZ: Automatic grey-box fuzzing for structured binary formats. ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis 2020: 1-13
2019
Coppa Emilio, Finocchi Irene, LEON GARCIA Renan
Counting cliques in parallel without a cluster: engineering a fork/join algorithm for shared-memory platforms. INFORMATION SCIENCES 2019: 553-571
Borzacchiello Luca, Coppa Emilio, D'Elia DANIELE CONO, Demetrescu Camil
Memory Models in Symbolic Execution: Key Ideas and New Thoughts. SOFTWARE TESTING, VERIFICATION & RELIABILITY 2019: -
Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution. Cyber Security Cryptography and Machine Learning 2019: 121-140
D'Elia DANIELE CONO, Coppa Emilio, Nicchi Simone, Palmaro Federico, Cavallaro Lorenzo
SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed). AsiaCCS '19 Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security 2019: 15-27
D'Elia D. C., Coppa E., Salvati A., Demetrescu C.
Static analysis of ROP code. EuroSec '19 Proceedings of the 12th European Workshop on Systems Security 2019: -
Angelini Marco, Blasilli Graziano, Borzacchiello Luca, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Lenti Simone, Nicchi Simone, Santucci Giuseppe
SymNav: Visually Assisting Symbolic Execution. Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) 2019: -
Borrello P., Coppa E., D'Elia D. C., Demetrescu C.
The ROP needle: Hiding trigger-based injection vectors via code reuse. SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019: 1962-1970
2018
Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene
A Survey of Symbolic Execution Techniques. ACM COMPUTING SURVEYS 2018: -
Marco Angelini, Graziano Blasilli, Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia , Serena Ferracci, Simone Lenti, Giuseppe Santucci
ROPMate: Visually Assisting the Creation of ROP-based Exploits. 2018 IEEE Symposium on Visualization for Cyber Security (VizSec) 2018: -
2017
Baldoni Roberto, Coppa Emilio, D’Elia Daniele Cono, Demetrescu Camil
Assisting malware analysis with symbolic execution: A case study. Cyber Security Cryptographyand Machine Learning 2017: 171-188
Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
Rethinking Pointer Reasoning in Symbolic Execution. ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering 2017: 613-618
2015
Coppa Emilio, Finocchi Irene
On data skewness, stragglers, and MapReduce progress indicators. Proceedings of the Sixth ACM Symposium on Cloud Computing 2015: 139-152
2014
Coppa Emilio
An interactive visualization framework for performance analysis. Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools 2014: 159-164
Coppa Emilio, Demetrescu Camil, Finocchi Irene, Marotta Romolo
Estimating the empirical cost function of routines with dynamic workloads. Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization 2014: 230-239
Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-Sensitive Profiling. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2014: 1185-1205
2012
Coppa Emilio, Demetrescu Camil, Finocchi Irene
Input-sensitive profiling. ACM SIGPLAN NOTICES 2012: 89-98