Theoretical Computer Science · 2015 · 37 citations · 12 references
Blockchain Consensus ProtocolPopulation ProtocolEngineeringInformation SecurityInformation Theoretic SecurityFormal MethodsCommunication ComplexityComputer ScienceCryptographic ProtocolOblivious Message AdversariesFormal VerificationData SecurityCryptography
12
Mathematical Social Sciences · 1994 · 3.6K citations
Reaching Agreement in the Presence of Faults
Marshall C. Pease, Robert E. Shostak, Leslie Lamport · Journal of the ACM · 1980 · 2.4K citations · Full text
Distributed computation in dynamic networks
Fabian Kühn, Nancy Lynch, Rotem Oshman · 2010 · 390 citations