Publication | Closed Access

Modular construction of a Byzantine agreement protocol with optimal message bit complexity

BlockchainByzantine Agreement ProtocolBlockchain Consensus ProtocolEngineeringInteraction ProtocolByzantine FaultModular ConstructionFormal MethodsComputer ScienceCryptographic ProtocolFormal VerificationSecure ProtocolData SecurityCryptography