46 citations · 85 across the 13 of their papers we have counts for
15 papers
A Systematization of Cybersecurity Regulations, Standards and Guidelines for the Healthcare Sector
Maria Patrizia Carello, Alberto Marchetti Spaccamela, Leonardo Querzoni +1
The growing adoption of IT solutions in the healthcare sector is leading to a steady increase in the number of cybersecurity incidents. As a result, organizations worldwide have in…
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…
BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer
Fiorella Artuso, Marco Mormando, Giuseppe A. Di Luna +1
A recent trend in binary code analysis promotes the use of neural solutions based on instruction embedding models. An instruction embedding model is a neural network that transform…
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…
Peel the onion: Recognition of Android apps behind the Tor Network
Emanuele Petagna, Giuseppe Laurenza, Claudio Ciccotelli +1
In this work we show that Tor is vulnerable to app deanonymization attacks on Android devices through network traffic analysis. For this purpose, we describe a general methodology…
Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks
Roberto Baldoni, Giuseppe Antonio Di Luna, Luca Massarelli +2
In this paper we consider the binary similarity problem that consists in determining if two binary functions are similar only considering their compiled form. This problem is know…
SAFE: Self-Attentive Function Embeddings for Binary Similarity
Luca Massarelli, Giuseppe Antonio Di Luna, Fabio Petroni +2
The binary similarity problem consists in determining if two functions are similar by only considering their compiled form. Advanced techniques for binary similarity recently gaine…
Android Malware Family Classification Based on Resource Consumption over Time
Luca Massarelli, Leonardo Aniello, Claudio Ciccotelli +3
The vast majority of today's mobile malware targets Android devices. This has pushed the research effort in Android malware analysis in the last years. An important task of malware…
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities
L. Aniello, A. Bondavalli, A. Ceccarelli +8
Critical Infrastructures (CIs), such as smart power grids, transport systems, and financial infrastructures, are more and more vulnerable to cyber threats, due to the adoption of c…