| 2026 | ICDCS | Byzantine Reliable Broadcast on Partially Connected Networks Under Message Adversaries. | Silvia Bonomi, Lorenzo di Filippo, Sbastien Tixeuil |
| 2026 | SIROCCO | On the Solvability of Byzantine-Tolerant Reliable Communication in Dynamic Networks. | Silvia Bonomi, Giovanni Farina, Sbastien Tixeuil |
| 2025 | EDCC | Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit. | Silvia Bonomi, Emilio Coppa, Simone Lenti, Claudia Ruggiero |
| 2025 | SRDS | A Review of Requirements and Threats in Blockchain-Based Cyber Threat Intelligence Sharing. | Claudia Ruggiero, Silvia Bonomi |
| 2024 | CRiSIS | Improving Attack Graph-Based Self-protecting Systems: A Computational Pipeline for Accuracy-Scalability Trade-off. | Silvia Bonomi, Marco Cuoci, Simone Lenti, Alessandro Palma |
| 2024 | CRiSIS | A Study on NLP-Based Semi-automated Mapping of Cybersecurity Controls on Vulnerabilities. | Maria Patrizia Carello, Silvia Bonomi, Leonardo Querzoni |
| 2024 | SAFECOMP | Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools. | Silvia Bonomi, Stefano Cappai, Emilio Coppa |
| 2023 | DSN | A Workflow for Distributed and Resilient Attack Graph Generation. | Alessandro Palma, Silvia Bonomi |
| 2023 | ISSRE | On the Efficacy of Smart Contract Analysis Tools. | Silvia Bonomi, Stefano Cappai, Emilio Coppa |
| 2023 | OPODIS | Reliable Broadcast Despite Mobile Byzantine Faults. | Silvia Bonomi, Giovanni Farina, Sbastien Tixeuil |
| 2022 | ICPM | Context-Aware Trace Alignment with Automated Planning. | Giacomo Acitelli, Marco Angelini, Silvia Bonomi, Fabrizio Maria Maggi, Andrea Marrella, Alessandro Palma |
| 2021 | ICDCS | Practical Byzantine Reliable Broadcast on Partially Connected Networks. | Silvia Bonomi, Jrmie Decouchant, Giovanni Farina, Vincent Rahli, Sbastien Tixeuil |
| 2021 | VizSec | BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS. | Marco Angelini, Graziano Blasilli, Silvia Bonomi, Simone Lenti, Alessia Palleschi, Giuseppe Santucci, Emiliano De Paoli |
| 2020 | ICDCS | Synchronous Byzantine Lattice Agreement in O(log(f) Rounds. | Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni |
| 2020 | SSS | Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. | Silvia Bonomi, Giovanni Farina, Sbastien Tixeuil |
| 2019 | ICDCN | Building an emulation environment for cyber security analyses of complex networked systems. | Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi, Raniero Rapone, Davide Meacci |
| 2018 | ICDCN | An Attack Graph-based On-line Multi-step Attack Detector. | Marco Angelini, Silvia Bonomi, Emanuele Borzi, Antonella Del Pozzo, Simone Lenti, Giuseppe Santucci |
| 2018 | SSS | Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. | Silvia Bonomi, Giovanni Farina, Sbastien Tixeuil |
| 2018 | SSS | Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2018 | SSS | Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). | Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni |
| 2017 | SRDS | Optimal Storage under Unsynchronized Mobile Byzantine Faults. | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2016 | DSN | Introduction to ReSA4CI 2016. | Silvia Bonomi, Ilaria Matteucci |
| 2016 | ICDCN | Tight self-stabilizing mobile byzantine-tolerant atomic register. | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru |
| 2016 | ICDCS | Approximate Agreement under Mobile Byzantine Faults. | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2016 | PODC | Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract. | Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2015 | PODC | Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. | Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal |
| 2014 | ICDCN | Conscious and Unconscious Counting on Anonymous Dynamic Networks. | Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
| 2014 | ICDCS | Counting in Anonymous Dynamic Networks under Worst-Case Adversary. | Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
| 2014 | SAFECOMP | Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). | Silvia Bonomi, Ilaria Matteucci |
| 2013 | Algosensors | Counting in Anonymous Dynamic Networks: An Experimental Perspective. | Giuseppe Antonio Di Luna, Silvia Bonomi, Ioannis Chatzigiannakis, Roberto Baldoni |
| 2013 | SRDS | Assessing data availability of Cassandra in the presence of non-accurate membership. | Leonardo Aniello, Silvia Bonomi, Marta Breno, Roberto Baldoni |
| 2013 | SSS | Counting the Number of Homonyms in Dynamic Networks. | Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis |
| 2012 | ICDCN | Virtual Tree: A Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems. | Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni |
| 2012 | OPODIS | Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers. | Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
| 2012 | SSS | Oblivious Assignment with m Slots. | Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna |
| 2011 | PODC | Validity bound of regular registers with churn and byzantine processes. | Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad |
| 2011 | SSS | An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn. | Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad |
| 2010 | EDCC | Data Dissemination supporting collaborative complex event processing: characteristics and open issues. | Roberto Baldoni, Silvia Bonomi, Giorgia Lodi, Leonardo Querzoni |
| 2010 | EuroPar | Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. | Roberto Baldoni, Silvia Bonomi, Michel Raynal |
| 2010 | PODC | Improving validity of query answering in dynamic systems. | Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni |
| 2009 | ICDCS | Implementing a Register in a Dynamic Distributed System. | Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal |
| 2009 | SIROCCO | Regular Register: An Implementation in a Churn Prone Environment. | Roberto Baldoni, Silvia Bonomi, Michel Raynal |
| 2008 | OPODIS | Geo-registers: An Abstraction for Spatial-Based Distributed Computing. | Matthieu Roy, Franois Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell |
| 2008 | SRDS | Investigating the Existence and the Regularity of Logarithmic Harary Graphs. | Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni |
| 2007 | AINA | Fighting Erosion in Dynamic Large-Scale Overlay Networks. | Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Adriano Rippa, Sara Tucci Piergiovanni, Antonino Virgillito |