Silvia Bonomi

Orcid: 0000-0001-9928-5357

According to our database1, Silvia Bonomi authored at least 82 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A compliance assessment system for Incident Management process.
Comput. Secur., 2024

SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies.
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
Theor. Comput. Sci., 2023

Reliable Broadcast Despite Mobile Byzantine Faults.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

On the Efficacy of Smart Contract Analysis Tools.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

A Workflow for Distributed and Resilient Attack Graph Generation.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

A Semi-automatic Approach for Enhancing the Quality of Automatically Generated Inventories.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2022
Special issue on Algorithmic Theory of Dynamic Networks and Its Applications - Preface.
J. Comput. Syst. Sci., 2022

A Methodology to Support Automatic Cyber Risk Assessment Review.
CoRR, 2022

Context-Aware Trace Alignment with Automated Planning.
Proceedings of the 4th International Conference on Process Mining, 2022

A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster).
Proceedings of the 5th International Symposium on Foundations and Applications of Blockchain 2022, 2022

2021
Emerging and Established Trends to Support Secure Health Information Exchange.
Frontiers Digit. Health, 2021

SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus.
CoRR, 2021

BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS.
Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2021

Practical Byzantine Reliable Broadcast on Partially Connected Networks.
Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

2020
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020

Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults.
Proceedings of the Networked Systems - 8th International Conference, 2020

Synchronous Byzantine Lattice Agreement in O(log(f) Rounds.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Cyber-attacks and threats for healthcare - a multi-layer thread analysis.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

Toward a Context-Aware Methodology for Information Security Governance Assessment Validation.
Proceedings of the Cyber-Physical Security for Critical Infrastructures Protection, 2020

2019
MAD: A visual analytics solution for Multi-step cyber Attacks Detection.
J. Comput. Lang., 2019

Approximate Agreement under Mobile Byzantine Faults.
Theor. Comput. Sci., 2019

Multi-hop Byzantine reliable broadcast with honest dealer made practical.
J. Braz. Comput. Soc., 2019

PASCAL: An architecture for proactive auto-scaling of distributed services.
Future Gener. Comput. Syst., 2019

B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics.
Proceedings of the International Conference on Blockchain Economics, 2019

Building an emulation environment for cyber security analyses of complex networked systems.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018
Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems.
IEEE Trans. Parallel Distributed Syst., 2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.
Theor. Comput. Sci., 2018

Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract).
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Multi-hop Byzantine Reliable Broadcast Made Practical.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

An Attack Graph-based On-line Multi-step Attack Detector.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version.
CoRR, 2017

Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Building Regular Registers with Rational Malicious Servers and Anonymous Clients.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

2016
Implementing set objects in dynamic distributed systems.
J. Comput. Syst. Sci., 2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Introduction to ReSA4CI 2016.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015
Efficient Notification Ordering for Geo-Distributed Pub/Sub Systems.
IEEE Trans. Computers, 2015

Tight Mobile Byzantine Tolerant Atomic Storage.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Stabilizing Byzantine-Fault Tolerant Storage.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014
Fault-tolerant oblivious assignment with m slots in synchronous systems.
J. Parallel Distributed Comput., 2014

Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014).
Proceedings of the Computer Safety, Reliability, and Security, 2014

An Architecture for Automatic Scaling of Replicated Services.
Proceedings of the Networked Systems - Second International Conference, 2014

Counting in Anonymous Dynamic Networks under Worst-Case Adversary.
Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

Conscious and Unconscious Counting on Anonymous Dynamic Networks.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013
A protocol for implementing byzantine storage in churn-prone distributed systems.
Theor. Comput. Sci., 2013

Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems.
J. Parallel Distributed Comput., 2013

Counting the Number of Homonyms in Dynamic Networks.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Assessing data availability of Cassandra in the presence of non-accurate membership.
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013

Service-Oriented Architecture for Smart Environments (Short Paper).
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness.
Proceedings of the Dependable Computing - 14th European Workshop, 2013

Counting in Anonymous Dynamic Networks: An Experimental Perspective.
Proceedings of the Algorithms for Sensor Systems, 2013

2012
Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn.
IEEE Trans. Parallel Distributed Syst., 2012

Oblivious Assignment with m Slots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Virtual Tree: A Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011
The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge.
J. Intell. Inf. Syst., 2011

Data Dissemination Supporting Complex Event Pattern Detection.
Int. J. Next Gener. Comput., 2011

Multi-writer regular registers in dynamic distributed systems with byzantine failures.
Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Validity bound of regular registers with churn and byzantine processes.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

2010
Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach.
World Wide Web, 2010

Improving validity of query answering in dynamic systems.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Data Dissemination supporting collaborative complex event processing: characteristics and open issues.
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, 2010

2009
Investigating the existence and the regularity of Logarithmic Harary Graphs.
Theor. Comput. Sci., 2009

Regular Register: An Implementation in a Churn Prone Environment.
Proceedings of the Structural Information and Communication Complexity, 2009

Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Implementing a Register in a Dynamic Distributed System.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

FAROES: Fairness And Reliability using Overlay Expenseless Set-out for Duty-cycle Optimization in WSN.
Proceedings of the 22nd International Conference on Parallel and Distributed Computing and Communication Systems, 2009

2008
Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007
Fighting Erosion in Dynamic Large-Scale Overlay Networks.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Evaluation of Unstructured Overlay Maintenance Protocols under Churn.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006


  Loading...