Silvia Bonomi

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 51

Top Topics

Dynamic Networks

Extended Abstract

Automatically Generate

Top Venues

Publications

Alessandro Palma, Giacomo Acitelli, Andrea Marrella, Silvia Bonomi, Marco Angelini
A compliance assessment system for Incident Management process. Comput. Secur. 146 (2024)
Claudia Ruggiero, Pietro Mazzini, Emilio Coppa, Simone Lenti, Silvia Bonomi
SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies. ARES (2024)
Alessandro Palma, Silvia Bonomi
A Workflow for Distributed and Resilient Attack Graph Generation. DSN-S (2023)
Silvia Bonomi, Stefano Cappai, Emilio Coppa
On the Efficacy of Smart Contract Analysis Tools. ISSREW (2023)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. Theor. Comput. Sci. 942 (2023)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Reliable Broadcast despite Mobile Byzantine Faults. CoRR (2023)
Silvia Bonomi, Marco Cuoci, Simone Lenti
A Semi-automatic Approach for Enhancing the Quality of Automatically Generated Inventories. CSR (2023)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Reliable Broadcast Despite Mobile Byzantine Faults. OPODIS (2023)
Floris Ciprian Dinu, Silvia Bonomi
A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster). FAB (2022)
Silvia Bonomi, Giuseppe Antonio Di Luna, Othon Michail, Leonardo Querzoni
Special issue on Algorithmic Theory of Dynamic Networks and Its Applications - Preface. J. Comput. Syst. Sci. 123 (2022)
Marco Angelini, Silvia Bonomi, Alessandro Palma
A Methodology to Support Automatic Cyber Risk Assessment Review. CoRR (2022)
Giacomo Acitelli, Marco Angelini, Silvia Bonomi, Fabrizio Maria Maggi, Andrea Marrella, Alessandro Palma
Context-Aware Trace Alignment with Automated Planning. ICPM (2022)
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
Practical Byzantine Reliable Broadcast on Partially Connected Networks. ICDCS (2021)
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus. CoRR (2021)
Marco Angelini, Graziano Blasilli, Silvia Bonomi, Simone Lenti, Alessia Palleschi, Giuseppe Santucci, Emiliano De Paoli
BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS. VizSec (2021)
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
Practical Byzantine Reliable Broadcast on Partially Connected Networks. CoRR (2021)
Emmanouil G. Spanakis, Stelios Sfakianakis, Silvia Bonomi, Claudio Ciccotelli, Sabina Magalini, Vangelis Sakkalis
Emerging and Established Trends to Support Secure Health Information Exchange. Frontiers Digit. Health 3 (2021)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. SSS (2020)
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni
Synchronous Byzantine Lattice Agreement in O(log(f) Rounds. ICDCS (2020)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. NETYS (2020)
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni
Synchronous Byzantine Lattice Agreement in O(log(f)) Rounds. CoRR (2020)
Marco Angelini, Silvia Bonomi, Claudio Ciccotelli, Alessandro Palma
Toward a Context-Aware Methodology for Information Security Governance Assessment Validation. CPS4CIP (2020)
Emmanouil G. Spanakis, Silvia Bonomi, Stelios Sfakianakis, Giuseppe Santucci, Simone Lenti, Mara Sorella, Florin Dragos Tanasache, Alessia Palleschi, Claudio Ciccotelli, Vangelis Sakkalis, Sabina Magalini
Cyber-attacks and threats for healthcare - a multi-layer thread analysis. EMBC (2020)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Multi-hop Byzantine Reliable Broadcast Made Practical. CoRR (2019)
Marco Angelini, Silvia Bonomi, Simone Lenti, Giuseppe Santucci, S. Taggi
MAD: A visual analytics solution for Multi-step cyber Attacks Detection. J. Comput. Lang. 52 (2019)
Silvia Bonomi, Marco Casini, Claudio Ciccotelli
B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics. Tokenomics (2019)
Federico Lombardi, Andrea Muti, Leonardo Aniello, Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni
PASCAL: An architecture for proactive auto-scaling of distributed services. Future Gener. Comput. Syst. 98 (2019)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Multi-hop Byzantine reliable broadcast with honest dealer made practical. J. Braz. Comput. Soc. 25 (1) (2019)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Approximate Agreement under Mobile Byzantine Faults. Theor. Comput. Sci. 758 (2019)
Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi, Raniero Rapone, Davide Meacci
Building an emulation environment for cyber security analyses of complex networked systems. ICDCN (2019)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. SSS (2018)
Silvia Bonomi, Marco Casini, Claudio Ciccotelli
B-CoC: A Blockchain-based Chain of Custody for Evidences Management in Digital Forensics. CoRR (2018)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Multi-hop Byzantine Reliable Broadcast Made Practical. LADC (2018)
Marco Angelini, Silvia Bonomi, Emanuele Borzi, Antonella Del Pozzo, Simone Lenti, Giuseppe Santucci
An Attack Graph-based On-line Multi-step Attack Detector. ICDCN (2018)
Florin Dragos Tanasache, Mara Sorella, Silvia Bonomi, Raniero Rapone, Davide Meacci
Building an Emulation Environment for Cyber Security Analyses of Complex Networked Systems. CoRR (2018)
Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni
Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). SSS (2018)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register. Theor. Comput. Sci. 709 (2018)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. SSS (2018)
Federico Lombardi, Leonardo Aniello, Silvia Bonomi, Leonardo Querzoni
Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems. IEEE Trans. Parallel Distributed Syst. 29 (3) (2018)
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. CoRR (2018)
Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version. CoRR (2017)
Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni
Building Regular Registers with Rational Malicious Servers and Anonymous Clients. CSCML (2017)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Optimal Storage under Unsynchronized Mobile Byzantine Faults. SRDS (2017)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Optimal Storage under Unsynchrononized Mobile Byzantine Faults. CoRR (2017)
Silvia Bonomi, Ilaria Matteucci
Introduction to ReSA4CI 2016. DSN Workshops (2016)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp. CoRR (2016)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Approximate Agreement under Mobile Byzantine Faults. CoRR (2016)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Implementing set objects in dynamic distributed systems. J. Comput. Syst. Sci. 82 (5) (2016)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Approximate Agreement under Mobile Byzantine Faults. ICDCS (2016)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
Tight self-stabilizing mobile byzantine-tolerant atomic register. ICDCN (2016)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract. PODC (2016)
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil
Stabilizing Byzantine-Fault Tolerant Storage. IPDPS (2015)
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. PODC (2015)
Roberto Baldoni, Silvia Bonomi, Marco Platania, Leonardo Querzoni
Efficient Notification Ordering for Geo-Distributed Pub/Sub Systems. IEEE Trans. Computers 64 (10) (2015)
Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal
Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems. CoRR (2015)
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru
Tight Mobile Byzantine Tolerant Atomic Storage. CoRR (2015)
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
Counting in Anonymous Dynamic Networks under Worst-Case Adversary. ICDCS (2014)
Silvia Bonomi, Ilaria Matteucci
Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014). SAFECOMP Workshops (2014)
Leonardo Aniello, Silvia Bonomi, Federico Lombardi, Alessandro Zelli, Roberto Baldoni
An Architecture for Automatic Scaling of Replicated Services. NETYS (2014)
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
Conscious and Unconscious Counting on Anonymous Dynamic Networks. ICDCN (2014)
Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
Fault-tolerant oblivious assignment with m slots in synchronous systems. J. Parallel Distributed Comput. 74 (7) (2014)
Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna, Luca Montanari, Mara Sorella
Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness. EWDC (2013)
Leonardo Aniello, Silvia Bonomi, Marta Breno, Roberto Baldoni
Assessing data availability of Cassandra in the presence of non-accurate membership. DISCCO@SRDS (2013)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
A protocol for implementing byzantine storage in churn-prone distributed systems. Theor. Comput. Sci. 512 (2013)
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems. J. Parallel Distributed Comput. 73 (8) (2013)
Viktoriya Degeler, Luis Ignacio Lopera Gonzalez, Mariano Leva, Paul Shrubsole, Silvia Bonomi, Oliver Amft, Alexander Lazovik
Service-Oriented Architecture for Smart Environments (Short Paper). SOCA (2013)
Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis
Counting the Number of Homonyms in Dynamic Networks. SSS (2013)
Giuseppe Antonio Di Luna, Silvia Bonomi, Ioannis Chatzigiannakis, Roberto Baldoni
Counting in Anonymous Dynamic Networks: An Experimental Perspective. ALGOSENSORS (2013)
Giuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna
Oblivious Assignment with m Slots. SSS (2012)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn. IEEE Trans. Parallel Distributed Syst. 23 (1) (2012)
Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers. OPODIS (2012)
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
Virtual Tree: A Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems. ICDCN (2012)
Roberto Baldoni, Silvia Bonomi, Marco Platania, Leonardo Querzoni
Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems. IPDPS (2012)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn. SSS (2011)
Roberto Baldoni, Silvia Bonomi, Giorgia Lodi, Marco Platania, Leonardo Querzoni
Data Dissemination Supporting Complex Event Pattern Detection. Int. J. Next Gener. Comput. 2 (3) (2011)
Silvia Bonomi, Amir Soltani Nezhad
Multi-writer regular registers in dynamic distributed systems with byzantine failures. TADDS (2011)
Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad
Validity bound of regular registers with churn and byzantine processes. PODC (2011)
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
The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge. J. Intell. Inf. Syst. 36 (2) (2011)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses. EWDC (2011)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. Euro-Par (1) (2010)
Roberto Baldoni, Silvia Bonomi, Adriano Cerocchi, Leonardo Querzoni
Improving validity of query answering in dynamic systems. WRAS (2010)
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
Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach. World Wide Web 13 (1-2) (2010)
Roberto Baldoni, Silvia Bonomi, Giorgia Lodi, Leonardo Querzoni
Data Dissemination supporting collaborative complex event processing: characteristics and open issues. DD4LCCI@EDCC (2010)
Silvia Bonomi, Yann Busnel, Roberto Baldoni, Ravi Prakash
FAROES: Fairness And Reliability using Overlay Expenseless Set-out for Duty-cycle Optimization in WSN. PDCCS (2009)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. SEUS (2009)
Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal
Implementing a Register in a Dynamic Distributed System. ICDCS (2009)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
Investigating the existence and the regularity of Logarithmic Harary Graphs. Theor. Comput. Sci. 410 (21-23) (2009)
Roberto Baldoni, Silvia Bonomi, Michel Raynal
Regular Register: An Implementation in a Churn Prone Environment. SIROCCO (2009)
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
Geo-registers: An Abstraction for Spatial-Based Distributed Computing. OPODIS (2008)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
Investigating the Existence and the Regularity of Logarithmic Harary Graphs. SRDS (2008)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Adriano Rippa, Sara Tucci Piergiovanni, Antonino Virgillito
Fighting Erosion in Dynamic Large-Scale Overlay Networks. AINA (2007)
Roberto Baldoni, Silvia Bonomi, Adriano Rippa, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito
Evaluation of Unstructured Overlay Maintenance Protocols under Churn. ICDCS Workshops (2006)