Christian Berger

PatchyBFT: Automating Diversification of Fault-Tolerant Systems using LLMs

Fault-tolerant agreement protocols fail if replicas share a common flaw that simultaneously affects more replicas than the tolerable threshold. Therefore replicas should ideally fail independently, which can be achieved through diversification. However, in practice, often the same protocol implementation is shared by a...