Daniele Cono D'Elia

Lorenzo Cavallaro

Proceedings of the 10th IEEE European Symposium on Security and Privacy, 2025

Pfuzzer: Practical, Sound, and Effective Multi-path Analysis of Environment-sensitive Malware with Coverage-guided Fuzzing.

[BibT_eX]

[DOI]

Nicola Bottura

Proceedings of the 10th IEEE European Symposium on Security and Privacy, 2025

ConfBench: A Tool for Easy Evaluation of Confidential Virtual Machines.

[BibT_eX]

[DOI]

Andrea De Murtas

Pascal Felber

Valerio Schiavoni

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

Poster: All Right Then, (Don't) Keep Your Secrets: Exposing API Hashing in Malware.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2025

2024

Adversarial Attacks Against Binary Similarity Systems.

[BibT_eX]

[DOI]

Gianluca Capozzi

IEEE Access, 2024

Predictive Context-sensitive Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Evading Userland API Hooking, Again: Novel Attacks and a Principled Defense Method.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2024

2023

Designing Robust API Monitoring Solutions.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

Uncontained: Uncovering Container Confusion in the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

Where Did My Variable Go? Poking Holes in Incomplete Debug Information.

[BibT_eX]

[DOI]

Cristian Assaiante

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Evaluating Dynamic Binary Instrumentation Systems for Conspicuous Features and Artifacts.

[BibT_eX]

[DOI]

DTRAP, 2022

Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection.

[BibT_eX]

[DOI]

Giacomo Priamo

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

The Use of Likely Invariants as Feedback for Fuzzers.

[BibT_eX]

[DOI]

Andrea Fioraldi

Davide Balzarotti

Proceedings of the 30th USENIX Security Symposium, 2021

Rope: Covert Multi-process Malware Execution with Return-Oriented Programming.

[BibT_eX]

[DOI]

Lorenzo Invidia

Proceedings of the Computer Security - ESORICS 2021, 2021

Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation.

[BibT_eX]

[DOI]

Pietro Borrello

Emilio Coppa

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

On the Dissection of Evasive Malware.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2020

Fuzzing Binaries for Memory Safety Errors with QASan.

[BibT_eX]

[DOI]

Andrea Fioraldi

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

WEIZZ: automatic grey-box fuzzing for structured binary formats.

[BibT_eX]

[DOI]

Andrea Fioraldi

Emilio Coppa

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Memory models in symbolic execution: key ideas and new thoughts.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2019

SymNav: Visually Assisting Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security, VizSec 2019, 2019

The ROP needle: hiding trigger-based injection vectors via code reuse.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Static Analysis of ROP Code.

[BibT_eX]

[DOI]

Proceedings of the 12th European Workshop on Systems Security, 2019

Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2019

SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed).

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

2018

A Survey of Symbolic Execution Techniques.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2018

ROPMate: Visually Assisting the Creation of ROP-based Exploits.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

On-stack replacement, distilled.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

New techniques for adaptive program optimization.

[BibT_eX]

[DOI]

PhD thesis, 2017

On-Stack Replacement à la Carte.

[BibT_eX]

[DOI]

CoRR, 2017

Rethinking pointer reasoning in symbolic execution.

[BibT_eX]

[DOI]

Emilio Coppa

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Assisting Malware Analysis with Symbolic Execution: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

2016

Mining hot calling contexts in small space.

[BibT_eX]

[DOI]

Irene Finocchi

Softw. Pract. Exp., 2016

Flexible on-stack replacement in LLVM.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

2013

Ball-Larus Path Profiling Across Multiple Loop iterations

[BibT_eX]

[DOI]

Irene Finocchi

CoRR, 2013

Ball-Larus path profiling across multiple loop iterations.

[BibT_eX]

[DOI]