Search Results

Documents authored by Bonomi, Silvia

Document
DOI: 10.4230/LIPIcs.OPODIS.2023.18
Reliable Broadcast Despite Mobile Byzantine Faults

Authors: Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil

Published in: LIPIcs, Volume 286, 27th International Conference on Principles of Distributed Systems (OPODIS 2023)

Abstract
We investigate the solvability of the Byzantine Reliable Broadcast and Byzantine Broadcast Channel problems in distributed systems affected by Mobile Byzantine Faults. We show that both problems are not solvable even in one of the most constrained system models for mobile Byzantine faults defined so far. By endowing processes with an additional local failure oracle, we provide a solution to the Byzantine Broadcast Channel problem.
Cite as

Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil. Reliable Broadcast Despite Mobile Byzantine Faults. In 27th International Conference on Principles of Distributed Systems (OPODIS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 286, pp. 18:1-18:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{bonomi_et_al:LIPIcs.OPODIS.2023.18,
  author =	{Bonomi, Silvia and Farina, Giovanni and Tixeuil, S\'{e}bastien},
  title =	{{Reliable Broadcast Despite Mobile Byzantine Faults}},
  booktitle =	{27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
  pages =	{18:1--18:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-308-9},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{286},
  editor =	{Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.18},
  URN =		{urn:nbn:de:0030-drops-195083},
  doi =		{10.4230/LIPIcs.OPODIS.2023.18},
  annote =	{Keywords: Byzantine fault-tolerance, Reliable Broadcast, Mobile Byzantine Faults}
}
Document
Poster
DOI: 10.4230/OASIcs.FAB.2022.8
A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster)

Authors: Floris Ciprian Dinu and Silvia Bonomi

Published in: OASIcs, Volume 101, 5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022)

Abstract
Blockchain is an emerging technology that gained a lot of attention in the last years. Many different consensus protocols have been proposed to improve both the scalability and the resilience of existing blockchain. However, all these solutions have been defined for rather static settings. We propose a modular approach for analysing and comparing different consensus protocols used in blockchain under churn.
Cite as

Floris Ciprian Dinu and Silvia Bonomi. A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster). In 5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022). Open Access Series in Informatics (OASIcs), Volume 101, pp. 8:1-8:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{dinu_et_al:OASIcs.FAB.2022.8,
  author =	{Dinu, Floris Ciprian and Bonomi, Silvia},
  title =	{{A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn}},
  booktitle =	{5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022)},
  pages =	{8:1--8:2},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-248-8},
  ISSN =	{2190-6807},
  year =	{2022},
  volume =	{101},
  editor =	{Tucci-Piergiovanni, Sara and Crooks, Natacha},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FAB.2022.8},
  URN =		{urn:nbn:de:0030-drops-162754},
  doi =		{10.4230/OASIcs.FAB.2022.8},
  annote =	{Keywords: Blockchain Dependability, Dynamic Distributed Systems, Simulation}
}
Document
DOI: 10.4230/OASIcs.Tokenomics.2019.12
B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics

Authors: Silvia Bonomi, Marco Casini, and Claudio Ciccotelli

Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)

Abstract
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 may be accessed by multiple parties involved in the investigation that take temporary their ownership. This process, called Chain of Custody (CoC), must ensure that evidences are not altered during the investigation, despite multiple entities owned them, in order to be admissible in a legal court. Currently digital evidences CoC is managed entirely manually with entities involved in the chain required to fill in documents accompanying the evidence. In this paper, we propose a Blockchain-based Chain of Custody (B-CoC) to dematerialize the CoC process guaranteeing auditable integrity of the collected evidences and traceability of owners. We developed a prototype of B-CoC based on Ethereum and we evaluated its performance.
Cite as

Silvia Bonomi, Marco Casini, and Claudio Ciccotelli. B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 12:1-12:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{bonomi_et_al:OASIcs.Tokenomics.2019.12,
  author =	{Bonomi, Silvia and Casini, Marco and Ciccotelli, Claudio},
  title =	{{B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics}},
  booktitle =	{International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)},
  pages =	{12:1--12:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-108-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{71},
  editor =	{Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.12},
  URN =		{urn:nbn:de:0030-drops-119767},
  doi =		{10.4230/OASIcs.Tokenomics.2019.12},
  annote =	{Keywords: Digital Forensics, Chain of Custody, Digital Evidence, Private Blockchain, Ethereum}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact