Pubblicazioni di Coppa Emilio
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