50 citations · 64 across the 14 of their papers we have counts for
14 papers
A Methodology to Support Automatic Cyber Risk Assessment Review
Marco Angelini, Silvia Bonomi, Alessandro Palma
Cyber risk assessment is a fundamental activity for enhancing the protection of an organization, identifying and evaluating the exposure to cyber threats. Currently, this activity…
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez +1
This paper revisits the ubiquitous problem of achieving state machine replication in blockchains based on repeated consensus, like Tendermint. To achieve state machine replication…
Practical Byzantine Reliable Broadcast on Partially Connected Networks (Extended version)
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina +2
In this paper, we consider the Byzantine reliable broadcast problem on authenticated and partially connected networks. The state-of-the-art method to solve this problem consists in…
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…
Multi-hop Byzantine Reliable Broadcast with Honest Dealer Made Practical
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
We revisit Byzantine tolerant reliable broadcast with honest dealer algorithms in multi-hop networks. To tolerate Byzantine faulty nodes arbitrarily spread over the network, previo…
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Ensuring reliable communication despite possibly malicious participants is a primary objective in any distributed system or network. In this paper, we investigate the possibility o…
Building an Emulation Environment for Cyber Security Analyses of Complex Networked Systems
Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi +2
Computer networks are undergoing a phenomenal growth, driven by the rapidly increasing number of nodes constituting the networks. At the same time, the number of security threats o…
B-CoC: A Blockchain-based Chain of Custody for Evidences Management in Digital Forensics
Silvia Bonomi, Marco Casini, Claudio Ciccotelli
One of the main issues in digital forensics is the management of evidences. From the time of evidence collection until the time of their exploitation in a legal court, evidences ma…
Optimal Storage under Unsynchrononized Mobile Byzantine Faults
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru +1
In this paper we prove lower and matching upper bounds for the number of servers required to implement a regular shared register that tolerates unsynchronized Mobile Byzantine fail…
Building Regular Registers with Rational Malicious Servers and Anonymous Clients -- Extended Version
Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti +1
The paper addresses the problem of emulating a regular register in a synchronous distributed system where clients invoking and operations are anonymo…
Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru +1
This paper proposes the first implementation of a self-stabilizing regular register emulated by servers that is tolerant to both mobile Byzantine agents, and \emph{transient fa…
Approximate Agreement under Mobile Byzantine Faults
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru +1
In this paper we address Approximate Agreement problem in the Mobile Byzantine faults model. Our contribution is threefold. First, we propose the the first mapping from the existin…
Tight Mobile Byzantine Tolerant Atomic Storage
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
This paper proposes the first implementation of an atomic storage tolerant to mobile Byzantine agents. Our implementation is designed for the round-based synchronous model where th…
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru +1
A stabilizing Byzantine single-writer single-reader (SWSR) regular register, which stabilizes after the first invoked write operation, is first presented. Then, new/old ordering in…