69 citations · 132 across the 8 of their papers we have counts for
10 papers
On the Lack of Robustness of Binary Function Similarity Systems
Gianluca Capozzi, Tong Tang, Jie Wan +5
Binary function similarity, which often relies on learning-based algorithms to identify what functions in a pool are most similar to a given query function, is a sought-after topic…
Adversarial Attacks against Binary Similarity Systems
Gianluca Capozzi, Daniele Cono D'Elia, Giuseppe Antonio Di Luna +1
In recent years, binary analysis gained traction as a fundamental approach to inspect software and guarantee its security. Due to the exponential increase of devices running softwa…
Where Did My Variable Go? Poking Holes in Incomplete Debug Information
Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna +1
The availability of debug information for optimized executables can largely ease crucial tasks such as crash analysis. Source-level debuggers use this information to display progra…
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization
Pietro Borrello, Daniele Cono D'Elia, Leonardo Querzoni +1
In the era of microarchitectural side channels, vendors scramble to deploy mitigations for transient execution attacks, but leave traditional side-channel attacks against sensitive…
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
Largely known for attack scenarios, code reuse techniques at a closer look reveal properties that are appealing also for program obfuscation. We explore the popular return-oriented…
Designing Robust API Monitoring Solutions
Daniele Cono D'Elia, Simone Nicchi, Matteo Mariani +2
Tracing the sequence of library and system calls that a program makes is very helpful in the characterization of its interactions with the surrounding environment and ultimately of…
WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are how…
On-Stack Replacement à la Carte
Daniele Cono D'Elia, Camil Demetrescu
On-stack replacement (OSR) dynamically transfers execution between different code versions. This mechanism is used in mainstream runtime systems to support adaptive and speculative…
A Survey of Symbolic Execution Techniques
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2
Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying…
Ball-Larus Path Profiling Across Multiple Loop iterations
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology,…