Design and Validation of Scalable, Byzantine Fault-Tolerant Consensus Algorithms for Blockchains
A project funded by the DFG