most citedTowards a Formal Verification of Secure Vehicle Software Updates

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2026

From Bracha to Coded MBRB: Benchmarking Byzantine Reliable Broadcast Implementations

Yenan Wang, Jesper Kullberg, Fabian Paglianno Persson +2

Byzantine Reliable Broadcast (BRB) and Message-Adversary-Tolerant Byzantine Reliable Broadcast (MBRB) are reliable-dissemination abstractions for fault-tolerant distributed systems…