MiCA: A Compositional Architecture for Gossip Protocols
Abstract elided by the publisher.
Related papers
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- Compositional Analysis of Authentication Protocols ESOP 2004
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets CAV 1990
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- Implementability of Global Distributed Protocols Modulo Network Architectures PLDI 2026
- Composing Interfering Abstract Protocols ECOOP 2016
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019