Silvia Bonomi

110 papers A* 3A 7B 12C 13Misc 8Journal 42Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
SoK: Harmonizing Attack Graphs and Intrusion Detection Systems.
CoRR
Andrea Agiollo, Enkeleda Bardhi, Alessandro Palma, Riccardo Lazzeretti, Silvia Bonomi, Fernando Kuipers
2026 C ed.
Stabilization, Safety, and Security of Distributed Systems - 27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
SSS
Silvia Bonomi, Partha Sarathi Mandal, Peter Robinson, Gokarna Sharma, Sébastien Tixeuil
2025 B ed.
28th International Conference on Principles of Distributed Systems, OPODIS 2024, Lucca, Italy, December 11-13, 2024
OPODIS
Silvia Bonomi, Letterio Galletta, Etienne Rivière, Valerio Schiavoni
2025 J jnl
A New Probabilistic Mobile Byzantine Failure Model for Self-Protecting Systems.
CoRR
Silvia Bonomi, Giovanni Farina, Roy Friedman, Eviatar B. Procaccia, Sébastien Tixeuil
2025 B conf
A Review of Requirements and Threats in Blockchain-Based Cyber Threat Intelligence Sharing.
SRDS
Claudia Ruggiero, Silvia Bonomi
2025 J jnl
Behind the scenes of attack graphs: Vulnerable network generator for in-depth experimental evaluation of attack graph scalability.
Comput. Secur.
Alessandro Palma, Silvia Bonomi
2025 J jnl
Beyond the Surface: An NLP-based Methodology to Automatically Estimate CVE Relevance for CAPEC Attack Patterns.
CoRR
Silvia Bonomi, Andrea Ciavotta, Simone Lenti, Alessandro Palma
2025 J jnl
How to assess measurement capabilities of a security monitoring infrastructure and plan investment through a graph-based approach.
Expert Syst. Appl.
Alessandro Palma, Andrea Sorrentino, Silvia Bonomi
2025 J jnl
On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2025 Misc conf
Position Paper: Toward a (Semi-)Automatic Framework for Smart Contract Security Audit.
EDCC
Silvia Bonomi, Emilio Coppa, Simone Lenti, Claudia Ruggiero
2024 C conf
A Study on NLP-Based Semi-automated Mapping of Cybersecurity Controls on Vulnerabilities.
CRiSIS
Maria Patrizia Carello, Silvia Bonomi, Leonardo Querzoni
2024 Misc conf
A Version-Based Algorithm for Quality Enhancement of Automatically Generated Vulnerability Inventories.
CSR
Silvia Bonomi, Marco Cuoci, Simone Lenti
2024 J jnl
A compliance assessment system for Incident Management process.
Comput. Secur.
Alessandro Palma, Giacomo Acitelli, Andrea Marrella, Silvia Bonomi, Marco Angelini
2024 B conf
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools.
SAFECOMP
Silvia Bonomi, Stefano Cappai, Emilio Coppa
2024 C conf
Improving Attack Graph-Based Self-protecting Systems: A Computational Pipeline for Accuracy-Scalability Trade-off.
CRiSIS
Silvia Bonomi, Marco Cuoci, Simone Lenti, Alessandro Palma
2024 — conf
Interoperable Traceability in Supply Chains: A Use Case in Agritech.
INTSYS
Giovanni Farina, Gianluca Brunori, Stefano Chessa, Alexander Kocian, Maria Bonaria Lai, Daniele Nardi, Claudio Schifanella, Susanna Bonura, Nicola Masi, Fiorenzo Ambrosino, Angelo Mariano, Lucio Colizzi, Giovanna Maria Dimitri, Marco Gori, Franco Scarselli, Silvia Bonomi
2024 J jnl
Reliable communication in dynamic networks with locally bounded byzantine faults.
J. Parallel Distributed Comput.
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2024 — conf
SoK on DLT Solutions for Agri-food Traceability.
BCCA
Fabio Scanu, Giovanni Farina, Silvia Bonomi
2024 B conf
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies.
ARES
Claudia Ruggiero, Pietro Mazzini, Emilio Coppa, Simone Lenti, Silvia Bonomi
2023 Misc conf
A Semi-automatic Approach for Enhancing the Quality of Automatically Generated Inventories.
CSR
Silvia Bonomi, Marco Cuoci, Simone Lenti
2023 — conf
A Workflow for Distributed and Resilient Attack Graph Generation.
DSN-S
Alessandro Palma, Silvia Bonomi
2023 — conf
On the Efficacy of Smart Contract Analysis Tools.
ISSREW
Silvia Bonomi, Stefano Cappai, Emilio Coppa
2023 J jnl
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2023 B conf
Reliable Broadcast Despite Mobile Byzantine Faults.
OPODIS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2023 J jnl
Reliable Broadcast despite Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2022 J jnl
A Methodology to Support Automatic Cyber Risk Assessment Review.
CoRR
Marco Angelini, Silvia Bonomi, Alessandro Palma
2022 — conf
A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster).
FAB
Floris Ciprian Dinu, Silvia Bonomi
2022 B conf
Context-Aware Trace Alignment with Automated Planning.
ICPM
Giacomo Acitelli, Marco Angelini, Silvia Bonomi, Fabrizio Maria Maggi, Andrea Marrella, Alessandro Palma
2022 J jnl
Special issue on Algorithmic Theory of Dynamic Networks and Its Applications - Preface.
J. Comput. Syst. Sci.
Silvia Bonomi, Giuseppe Antonio Di Luna, Othon Michail, Leonardo Querzoni
2021 C conf
BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS.
VizSec
Marco Angelini, Graziano Blasilli, Silvia Bonomi, Simone Lenti, Alessia Palleschi, Giuseppe Santucci, Emiliano De Paoli
2021 J jnl
Emerging and Established Trends to Support Secure Health Information Exchange.
Frontiers Digit. Health
Emmanouil G. Spanakis, Stelios Sfakianakis, Silvia Bonomi, Claudio Ciccotelli, Sabina Magalini, Vangelis Sakkalis
2021 A conf
Practical Byzantine Reliable Broadcast on Partially Connected Networks.
ICDCS
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2021 J jnl
Practical Byzantine Reliable Broadcast on Partially Connected Networks.
CoRR
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2021 J jnl
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni
2020 C conf
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication.
SSS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2020 — conf
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults.
NETYS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2020 — conf
Cyber-attacks and threats for healthcare - a multi-layer thread analysis.
EMBC
Emmanouil G. Spanakis, Silvia Bonomi, Stelios Sfakianakis, Giuseppe Santucci, Simone Lenti, Mara Sorella, Florin Dragos Tanasache, Alessia Palleschi, Claudio Ciccotelli, Vangelis Sakkalis, Sabina Magalini
2020 A conf
Synchronous Byzantine Lattice Agreement in O(log(f) Rounds.
ICDCS
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni
2020 J jnl
Synchronous Byzantine Lattice Agreement in O(log(f)) Rounds.
CoRR
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni
2020 — conf
Toward a Context-Aware Methodology for Information Security Governance Assessment Validation.
CPS4CIP
Marco Angelini, Silvia Bonomi, Claudio Ciccotelli, Alessandro Palma
2019 J jnl
Approximate Agreement under Mobile Byzantine Faults.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2019 — conf
B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics.
Tokenomics
Silvia Bonomi, Marco Casini, Claudio Ciccotelli
2019 Misc conf
Building an emulation environment for cyber security analyses of complex networked systems.
ICDCN
Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi, Raniero Rapone, Davide Meacci
2019 J jnl
MAD: A visual analytics solution for Multi-step cyber Attacks Detection.
J. Comput. Lang.
Marco Angelini, Silvia Bonomi, Simone Lenti, Giuseppe Santucci, S. Taggi
2019 J jnl
Multi-hop Byzantine Reliable Broadcast Made Practical.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2019 J jnl
Multi-hop Byzantine reliable broadcast with honest dealer made practical.
J. Braz. Comput. Soc.
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2019 J jnl
PASCAL: An architecture for proactive auto-scaling of distributed services.
Future Gener. Comput. Syst.
Federico Lombardi, Andrea Muti, Leonardo Aniello, Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni
2018 Misc conf
An Attack Graph-based On-line Multi-step Attack Detector.
ICDCN
Marco Angelini, Silvia Bonomi, Emanuele Borzi, Antonella Del Pozzo, Simone Lenti, Giuseppe Santucci
2018 J jnl
B-CoC: A Blockchain-based Chain of Custody for Evidences Management in Digital Forensics.
CoRR
Silvia Bonomi, Marco Casini, Claudio Ciccotelli
2018 C conf
Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract).
SSS
Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni
2018 C conf
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.
SSS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2018 J jnl
Building an Emulation Environment for Cyber Security Analyses of Complex Networked Systems.
CoRR
Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi, Raniero Rapone, Davide Meacci
2018 C ed.
Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
DAIS
Silvia Bonomi, Etienne Rivière
2018 J jnl
Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems.
IEEE Trans. Parallel Distributed Syst.
Federico Lombardi, Leonardo Aniello, Silvia Bonomi, Leonardo Querzoni
2018 — conf
Multi-hop Byzantine Reliable Broadcast Made Practical.
LADC
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2018 J jnl
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2018 C conf
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.
SSS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2018 J jnl
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2017 J jnl
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version.
CoRR
Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni
2017 — conf
Building Regular Registers with Rational Malicious Servers and Anonymous Clients.
CSCML
Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni
2017 B conf
Optimal Storage under Unsynchronized Mobile Byzantine Faults.
SRDS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 A conf
Approximate Agreement under Mobile Byzantine Faults.
ICDCS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Approximate Agreement under Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Implementing set objects in dynamic distributed systems.
J. Comput. Syst. Sci.
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2016 — conf
Introduction to ReSA4CI 2016.
DSN Workshops
Silvia Bonomi, Ilaria Matteucci
2016 A* conf
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
PODC
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 Misc conf
Tight self-stabilizing mobile byzantine-tolerant atomic register.
ICDCN
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2015 J jnl
Efficient Notification Ordering for Geo-Distributed Pub/Sub Systems.
IEEE Trans. Computers
Roberto Baldoni, Silvia Bonomi, Marco Platania, Leonardo Querzoni
2015 A conf
Stabilizing Byzantine-Fault Tolerant Storage.
IPDPS
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil
2015 J jnl
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2015 A* conf
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
PODC
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
2015 J jnl
Tight Mobile Byzantine Tolerant Atomic Storage.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
2014 — conf
An Architecture for Automatic Scaling of Replicated Services.
NETYS
Leonardo Aniello, Silvia Bonomi, Federico Lombardi, Alessandro Zelli, Roberto Baldoni
2014 Misc conf
Conscious and Unconscious Counting on Anonymous Dynamic Networks.
ICDCN
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
2014 A conf
Counting in Anonymous Dynamic Networks under Worst-Case Adversary.
ICDCS
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
2014 J jnl
Fault-tolerant oblivious assignment with m slots in synchronous systems.
J. Parallel Distributed Comput.
Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
2014 — conf
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014).
SAFECOMP Workshops
Silvia Bonomi, Ilaria Matteucci
2013 J jnl
A protocol for implementing byzantine storage in churn-prone distributed systems.
Theor. Comput. Sci.
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
2013 — conf
Assessing data availability of Cassandra in the presence of non-accurate membership.
DISCCO@SRDS
Leonardo Aniello, Silvia Bonomi, Marta Breno, Roberto Baldoni
2013 C conf
Counting in Anonymous Dynamic Networks: An Experimental Perspective.
ALGOSENSORS
Giuseppe Antonio Di Luna, Silvia Bonomi, Ioannis Chatzigiannakis, Roberto Baldoni
2013 C conf
Counting the Number of Homonyms in Dynamic Networks.
SSS
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
2013 — conf
Service-Oriented Architecture for Smart Environments (Short Paper).
SOCA
Viktoriya Degeler, Luis Ignacio Lopera Gonzalez, Mariano Leva, Paul Shrubsole, Silvia Bonomi, Oliver Amft, Alexander Lazovik
2013 — conf
Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness.
EWDC
Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna, Luca Montanari, Mara Sorella
2013 J jnl
Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems.
J. Parallel Distributed Comput.
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
2012 A conf
Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems.
IPDPS
Roberto Baldoni, Silvia Bonomi, Marco Platania, Leonardo Querzoni
2012 J jnl
Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn.
IEEE Trans. Parallel Distributed Syst.
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2012 C conf
Oblivious Assignment with m Slots.
SSS
Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
2012 B conf
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers.
OPODIS
Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2012 Misc conf
Virtual Tree: A Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems.
ICDCN
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
2011 C conf
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.
SSS
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
2011 J jnl
Data Dissemination Supporting Complex Event Pattern Detection.
Int. J. Next Gener. Comput.
Roberto Baldoni, Silvia Bonomi, Giorgia Lodi, Marco Platania, Leonardo Querzoni
2011 — conf
Multi-writer regular registers in dynamic distributed systems with byzantine failures.
TADDS
Silvia Bonomi, Amir Soltani Nezhad
2011 J jnl
The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge.
J. Intell. Inf. Syst.
Stefano Montanelli, Devis Bianchini, Carola Aiello, Roberto Baldoni, Cristiana Bolchini, Silvia Bonomi, Silvana Castano, Tiziana Catarci, Valeria De Antonellis, Alfio Ferrara, Michele Melchiori, Elisa Quintarelli, Monica Scannapieco, Fabio Alberto Schreiber, Letizia Tanca
2011 A* conf
Validity bound of regular registers with churn and byzantine processes.
PODC
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
2011 — conf
k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses.
EWDC
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2010 — conf
Data Dissemination supporting collaborative complex event processing: characteristics and open issues.
DD4LCCI@EDCC
Roberto Baldoni, Silvia Bonomi, Giorgia Lodi, Leonardo Querzoni
2010 J jnl
Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach.
World Wide Web
Devis Bianchini, Stefano Montanelli, Carola Aiello, Roberto Baldoni, Cristiana Bolchini, Silvia Bonomi, Silvana Castano, Tiziana Catarci, Valeria De Antonellis, Alfio Ferrara, Michele Melchiori, Elisa Quintarelli, Monica Scannapieco, Fabio Alberto Schreiber, Letizia Tanca
2010 — conf
Improving validity of query answering in dynamic systems.
WRAS
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
2010 — conf
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.
Euro-Par (1)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2009 — conf
FAROES: Fairness And Reliability using Overlay Expenseless Set-out for Duty-cycle Optimization in WSN.
PDCCS
Silvia Bonomi, Yann Busnel, Roberto Baldoni, Ravi Prakash
2009 A conf
Implementing a Register in a Dynamic Distributed System.
ICDCS
Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal
2009 J jnl
Investigating the existence and the regularity of Logarithmic Harary Graphs.
Theor. Comput. Sci.
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
2009 — conf
Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.
SEUS
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2009 B conf
Regular Register: An Implementation in a Churn Prone Environment.
SIROCCO
Roberto Baldoni, Silvia Bonomi, Michel Raynal
2008 B conf
Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
OPODIS
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
2008 B conf
Investigating the Existence and the Regularity of Logarithmic Harary Graphs.
SRDS
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
2007 B conf
Fighting Erosion in Dynamic Large-Scale Overlay Networks.
AINA
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Adriano Rippa, Sara Tucci Piergiovanni, Antonino Virgillito
2006 — conf
Evaluation of Unstructured Overlay Maintenance Protocols under Churn.
ICDCS Workshops
Roberto Baldoni, Silvia Bonomi, Adriano Rippa, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito