Daniele Cono D'Elia

Giuseppe Antonio Di Luna

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

Giuseppe Antonio Di Luna

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]