1 citations · 2 across the 3 of their papers we have counts for
10 papers
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…
Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli +3
Despite the advancements in software testing, bugs still plague deployed software and result in crashes in production. When debugging issues -- sometimes caused by "heisenbugs" --…
Synchronous Byzantine Lattice Agreement in Rounds
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi +1
In the Lattice Agreement (LA) problem, originally proposed by Attiya et al. \cite{Attiya:1995}, a set of processes has to decide on a chain of a lattice. More precisely, each corre…
In Nomine Function: Naming Functions in Stripped Binaries with Neural Networks
Fiorella Artuso, Giuseppe Antonio Di Luna, Luca Massarelli +1
In this paper we investigate the problem of automatically naming pieces of assembly code. Where by naming we mean assigning to an assembly function a string of words that would lik…
Byzantine Generalized Lattice Agreement
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Leonardo Querzoni
The paper investigates the Lattice Agreement (LA) problem in asynchronous systems. In LA each process proposes an element from a predetermined lattice, and has to decide on an…
Micro-accounting for optimizing and saving energy in smart buildings
Daniele Sora, Massimo Meceella, Francesco Leotta +5
Energy management, and in particular its optimization, is one of the hot trends in the current days, both at the enterprise level (optimization of whole corporate/government buildi…