Silvia Bonomi

Stefano Cappai

Emilio Coppa

Proceedings of the Computer Safety, Reliability, and Security, 2024

SoK: A Unified Data Model for Smart Contract Vulnerability Taxonomies.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

Reliable Broadcast Despite Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

On the Efficacy of Smart Contract Analysis Tools.

[BibT_eX]

[DOI]

Stefano Cappai

Emilio Coppa

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

A Workflow for Distributed and Resilient Attack Graph Generation.

[BibT_eX]

[DOI]

Alessandro Palma

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.

[BibT_eX]

[DOI]

Marco Cuoci

Simone Lenti

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.

[BibT_eX]

[DOI]

Othon Michail

Leonardo Querzoni

J. Comput. Syst. Sci., 2022

A Methodology to Support Automatic Cyber Risk Assessment Review.

[BibT_eX]

[DOI]

Marco Angelini

Alessandro Palma

CoRR, 2022

Context-Aware Trace Alignment with Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Process Mining, 2022

A Modular Approach for the Analysis of Blockchain Consensus Protocol Under Churn (Poster).

[BibT_eX]

[DOI]

Floris Ciprian Dinu

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.

[BibT_eX]

[DOI]

Emmanouil G. Spanakis

Frontiers Digit. Health, 2021

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

[BibT_eX]

[DOI]

Álvaro García-Pérez

CoRR, 2021

BUCEPHALUS: a BUsiness CEntric cybersecurity Platform for proActive anaLysis Using visual analyticS.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2021

Practical Byzantine Reliable Broadcast on Partially Connected Networks.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

2020

Boosting the Efficiency of Byzantine-Tolerant Reliable Communication.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020

Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Synchronous Byzantine Lattice Agreement in O(log(f) Rounds.

[BibT_eX]

[DOI]

Emmanuelle Anceaume

Leonardo Querzoni

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Cyber-attacks and threats for healthcare - a multi-layer thread analysis.

[BibT_eX]

[DOI]

Emmanouil G. Spanakis

Florin Dragos Tanasache

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.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Security for Critical Infrastructures Protection, 2020

2019

MAD: A visual analytics solution for Multi-step cyber Attacks Detection.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Approximate Agreement under Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Multi-hop Byzantine reliable broadcast with honest dealer made practical.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2019

PASCAL: An architecture for proactive auto-scaling of distributed services.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

B-CoC: A Blockchain-Based Chain of Custody for Evidences Management in Digital Forensics.

[BibT_eX]

[DOI]

Marco Casini

Claudio Ciccotelli

Proceedings of the International Conference on Blockchain Economics, 2019

Building an emulation environment for cyber security analyses of complex networked systems.

[BibT_eX]

[DOI]

Florin Dragos Tanasache

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

Elastic Symbiotic Scaling of Operators and Resources in Stream Processing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Multi-hop Byzantine Reliable Broadcast Made Practical.

[BibT_eX]

[DOI]

Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

An Attack Graph-based On-line Multi-step Attack Detector.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2017

Optimal Storage under Unsynchrononized Mobile Byzantine Faults.

[BibT_eX]

[DOI]

CoRR, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Building Regular Registers with Rational Malicious Servers and Anonymous Clients.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

2016

Implementing set objects in dynamic distributed systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Introduction to ReSA4CI 2016.

[BibT_eX]

[DOI]

Ilaria Matteucci

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.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Tight Mobile Byzantine Tolerant Atomic Storage.

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Stabilizing Byzantine-Fault Tolerant Storage.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014

Fault-tolerant oblivious assignment with m slots in synchronous systems.

[BibT_eX]

[DOI]

Giuseppe Ateniese

J. Parallel Distributed Comput., 2014

Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014).

[BibT_eX]

[DOI]

Ilaria Matteucci

Proceedings of the Computer Safety, Reliability, and Security, 2014

An Architecture for Automatic Scaling of Replicated Services.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Second International Conference, 2014

Counting in Anonymous Dynamic Networks under Worst-Case Adversary.

[BibT_eX]

[DOI]

Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

Conscious and Unconscious Counting on Anonymous Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

A protocol for implementing byzantine storage in churn-prone distributed systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2013

Counting the Number of Homonyms in Dynamic Networks.

[BibT_eX]

[DOI]

Luis Ignacio Lopera Gonzalez

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Assessing data availability of Cassandra in the presence of non-accurate membership.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013

Service-Oriented Architecture for Smart Environments (Short Paper).

[BibT_eX]

[DOI]

Viktoriya Degeler

Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness.

[BibT_eX]

[DOI]

Luca Montanari

Mara Sorella

Proceedings of the Dependable Computing - 14th European Workshop, 2013

Counting in Anonymous Dynamic Networks: An Experimental Perspective.

[BibT_eX]

[DOI]

Proceedings of the Algorithms for Sensor Systems, 2013

2012

Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Oblivious Assignment with m Slots.

[BibT_eX]

[DOI]

Giuseppe Ateniese

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011

The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge.

[BibT_eX]

[DOI]

Valeria De Antonellis

Fabio Alberto Schreiber

Letizia Tanca

J. Intell. Inf. Syst., 2011

Data Dissemination Supporting Complex Event Pattern Detection.

[BibT_eX]

[DOI]

Int. J. Next Gener. Comput., 2011

Multi-writer regular registers in dynamic distributed systems with byzantine failures.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Validity bound of regular registers with churn and byzantine processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th European Workshop on Dependable Computing, 2011

2010

Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach.

[BibT_eX]

[DOI]

Valeria De Antonellis

Fabio Alberto Schreiber

Letizia Tanca

World Wide Web, 2010

Improving validity of query answering in dynamic systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Leonardo Querzoni

Theor. Comput. Sci., 2009

Regular Register: An Implementation in a Churn Prone Environment.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2009

Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Implementing a Register in a Dynamic Distributed System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Marc-Olivier Killijian

David Powell

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007

Fighting Erosion in Dynamic Large-Scale Overlay Networks.

[BibT_eX]

[DOI]

Antonino Virgillito

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Evaluation of Unstructured Overlay Maintenance Protocols under Churn.

[BibT_eX]

[DOI]