EDBT 2026 Demo / reviewers in the wild / expert
Valeria Bonagura
dblp:351/2638
· DBLP profile ↗
7ranked-venue papers
3as first author
7since 2021 · last 2026
0009-0009-4346-2233ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 1 first-author · 4 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Game-Theoretic Analysis of Multi-Source Information Freshness Under False Data InjectionabstractThis paper investigates equilibrium strategies in networked control systems subject to false data injection (FDI) attacks, employing a game-theoretic approach. Our framework characterizes the dynamics that revolves around the freshness of the data from multiple sensors using the age of incorrect information (AoII) metric. The interaction between legitimate transmitters, aiming to minimize the system AoII and their transmission costs, and a malicious adversary, aiming to maximize AoII while managing FDI costs, is modeled as a non-cooperative game. We analytically demonstrate the existence and uniqueness of a Nash equilibrium (NE) and derive explicit conditions characterizing equilibrium resource allocation strategies. We also present examples of applications related to secure healthcare and automotive control. The numerical results validate our theoretical findings, highlighting the strategic impact of the system parameters, including drift rates, FDI and transmission costs, and resource constraints. Our analysis yields actionable guidelines for enhancing sensor security through parameter tuning and resource allocation. Chiara Foglietta, Valeria Bonagura, Stefano Panzieri, Federica Pascucci, Leonardo Badia |
IEEE Trans. Inf. Forensics Secur. | 2 |
| 2025 | Controlling Age of Incorrect Information Violation Under Data Drift and Strategic AttacksabstractWe study a control system where sensor measurements are transmitted to a remote station. Information may become outdated due to system drift or compromised by malicious false data injection. To quantify the impact of staleness and inaccuracy in the information at the receiver’s side, we use Age of Incorrect Information (AoII). In particular, we consider the Excess AoII above a certain threshold as our key objective to minimize, which we argue to be a sensible goal for many real-time control systems. We adopt a game-theoretic framework to model the strategic interaction between a transmitter, which aims to minimize both Excess AoII and transmission costs, and a malicious agent, which seeks to maximize the same Excess AoII metric while minimizing its own costs. Our analysis reveals the existence of a Nash equilibrium for this game, and we investigate how the system parameters influence the adversary’s decision to attack, identifying the conditions under which an attack becomes advantageous or not. Valeria Bonagura, Leonardo Badia, Chiara Foglietta, Federica Pascucci, Stefano Panzieri |
CoDIT | 1 |
| 2025 | Ambiguous Data Injection Impacting Age of Incorrect Information: A Bayesian Game AnalysisabstractWe use Bayesian game theory to investigate the interaction between a system controller and an additional unknown agent in a cyber-physical system. The system controller performs some monitoring for real-time operation management, with the aim of minimizing the age of incorrect information (AoII). The additional agent reports some extra information, which ideally can serve to aid the controller and meet the same objective of decreasing AoII, but it is uncertain whether these actions are useful or correspond to (possibly international) false data injection in the system. The controller only has information in terms of probability of the legitimacy of this extra agent through a common prior, and also knows that, in case it is malicious, it will try to increase AoII instead. Our analysis reveals that, under rational behavior, an adversary can effectively masquerading as a sensor injecting legitimate data, as the controller can hardly distinguish the behavior of a true helper from that of an attacker. However, under variable data drift, the strategic behavior of the external agent can give away their type. Leonardo Badia, Valeria Bonagura, Chiara Foglietta, Erjol Sulku |
PIMRC | 2 |
| 2025 | Security-by-Design with Cost-constrained Opacity Enforcement for Modbus TCP based Industrial Control SystemsabstractIn the era of Industry 5.0, securing Industrial Control Systems (ICS) is increasingly vital, especially when relying on legacy communication protocols like Modbus TCP that may lack built-in protection mechanisms. This paper addresses the challenge of preserving the confidentiality of internal system states from potential cyber adversaries through a security-by-design framework. We propose a novel approach that leverages Discrete Event Systems (DES) theory to model communication flows and applies probabilistic opacity to quantify the risk of state disclosure. Central to our method is the concept of selective encryption: instead of encrypting all messages, we strategically encrypt only those events that could reveal sensitive information. This gives rise to a budget-constrained optimization problem, where the goal is to enforce opacity under resource limitations. To solve this efficiently, we develop a greedy algorithm that maximizes security by allocating encryption effort to the most critical events. The proposed method is validated using a representative example featuring two distinct query types, demonstrating its capability to limit information leakage while keeping low the computational overhead. Valeria Bonagura, Graziana Cavone, Federica Pascucci |
SMC | 1 |
| 2024 | Machine Learning Techniques for Anomaly Detection in the Hydra Testbed: A Data-Driven Defense Strategy
Valeria Bonagura, Jacopo Pisani, Alessio Ferrato, Chiara Foglietta, Graziana Cavone, Federica Pascucci |
CRITIS | 1 |
| 2024 | Improving Impact Assessment Using Fuzzy Sets in CISIApro 2.0 Model
Chiara Foglietta, Valeria Bonagura, Stefano Panzieri, Luisa Franchina |
CRITIS | 2 |
| 2023 | Managing Uncertainty Using CISIApro 2.0 Model
Chiara Foglietta, Valeria Bonagura, Stefano Panzieri, Federica Pascucci |
critis | 2 |