activity
20132022
most citedWhere Did My Variable Go? Poking Holes in Incomplete Debug Information

1 citations · 1 across the 2 of their papers we have counts for

collaborators

6 papers

cs.PL20221 cited

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…

cs.CR2021

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…

cs.CR2020

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…

cs.CR2019

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…

cs.PL2017

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…

cs.PL2013

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,…